Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579672261> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1579672261 abstract "Part 1 A semantics for typed logic programmes, P.M. Hill and R.W. Topor: type languages first-order typed languages and theories a semantics for typed theories typed logic programmes and goals. Part 2 Polymorphically typed logic programmes, Eyal Yardeni, et al: syntax semantics well-typing and type checking extensions of the type language. Part 3 Logic programming with type specifications, Michael Hanus: overview and examples logic programmes with type specifications semantics of typed logic programmes deduction and initial models unifications resolution applications. Part 4 Semantic types for logic programmes, Nevin Heintze and Joxan Jaffar: preliminaries set formulas fixpoint operators main results. Part 5 A regular type language for logic programmes, Philip W. Dart and Justin Zobel: regular types identification of regular types operations on regular types type unification parametric type rules related work. Part 6 Types and intended meaning, Lee Naish: the standard semantics specification = programme specification does not equal programme specification = programme + types programme correctness verification implications for declarative debugging type analysis for detecting programming errors. Part 7 A pragmatic view of types for logic programmes, Dean Jacobs: moded logic programmes preventing mode violations application to types. Part 8 Moded type systems to support abstraction, Joseph L. Zachary and Katherine A. Yelick: approach properties of moded resolution syntactic issues. Part 9 Types in higher-order logic programming, Gopalan Nadathur and Frank Pfenning: the language prologue the role of types in the system approaches to type reconstruction. Part 10 Dependent types in logic programming, Frank Pfenning: simple and dependent types the methodology of the LF logical framework the programming language Elf. Part 11 The type system of LML, Bruno Bertolino, et al: an overview of LML the type system." @default.
- W1579672261 created "2016-06-24" @default.
- W1579672261 creator A5021476649 @default.
- W1579672261 date "1992-06-12" @default.
- W1579672261 modified "2023-09-27" @default.
- W1579672261 title "Types in Logic Programming" @default.
- W1579672261 hasPublicationYear "1992" @default.
- W1579672261 type Work @default.
- W1579672261 sameAs 1579672261 @default.
- W1579672261 citedByCount "34" @default.
- W1579672261 countsByYear W15796722612013 @default.
- W1579672261 countsByYear W15796722612015 @default.
- W1579672261 countsByYear W15796722612020 @default.
- W1579672261 countsByYear W15796722612021 @default.
- W1579672261 crossrefType "book" @default.
- W1579672261 hasAuthorship W1579672261A5021476649 @default.
- W1579672261 hasConcept C128838566 @default.
- W1579672261 hasConcept C138958017 @default.
- W1579672261 hasConcept C156325763 @default.
- W1579672261 hasConcept C184337299 @default.
- W1579672261 hasConcept C18903297 @default.
- W1579672261 hasConcept C199360897 @default.
- W1579672261 hasConcept C20528804 @default.
- W1579672261 hasConcept C2777299769 @default.
- W1579672261 hasConcept C41008148 @default.
- W1579672261 hasConcept C55439883 @default.
- W1579672261 hasConcept C62073222 @default.
- W1579672261 hasConcept C86803240 @default.
- W1579672261 hasConcept C93682546 @default.
- W1579672261 hasConceptScore W1579672261C128838566 @default.
- W1579672261 hasConceptScore W1579672261C138958017 @default.
- W1579672261 hasConceptScore W1579672261C156325763 @default.
- W1579672261 hasConceptScore W1579672261C184337299 @default.
- W1579672261 hasConceptScore W1579672261C18903297 @default.
- W1579672261 hasConceptScore W1579672261C199360897 @default.
- W1579672261 hasConceptScore W1579672261C20528804 @default.
- W1579672261 hasConceptScore W1579672261C2777299769 @default.
- W1579672261 hasConceptScore W1579672261C41008148 @default.
- W1579672261 hasConceptScore W1579672261C55439883 @default.
- W1579672261 hasConceptScore W1579672261C62073222 @default.
- W1579672261 hasConceptScore W1579672261C86803240 @default.
- W1579672261 hasConceptScore W1579672261C93682546 @default.
- W1579672261 hasLocation W15796722611 @default.
- W1579672261 hasOpenAccess W1579672261 @default.
- W1579672261 hasPrimaryLocation W15796722611 @default.
- W1579672261 hasRelatedWork W14971117 @default.
- W1579672261 hasRelatedWork W1504949952 @default.
- W1579672261 hasRelatedWork W1530717542 @default.
- W1579672261 hasRelatedWork W1541434994 @default.
- W1579672261 hasRelatedWork W159226319 @default.
- W1579672261 hasRelatedWork W1597918680 @default.
- W1579672261 hasRelatedWork W171682210 @default.
- W1579672261 hasRelatedWork W1982243747 @default.
- W1579672261 hasRelatedWork W2023578426 @default.
- W1579672261 hasRelatedWork W2037439718 @default.
- W1579672261 hasRelatedWork W2038037493 @default.
- W1579672261 hasRelatedWork W2043100293 @default.
- W1579672261 hasRelatedWork W2069076448 @default.
- W1579672261 hasRelatedWork W207722629 @default.
- W1579672261 hasRelatedWork W2115656500 @default.
- W1579672261 hasRelatedWork W2123396057 @default.
- W1579672261 hasRelatedWork W2166822586 @default.
- W1579672261 hasRelatedWork W2612793397 @default.
- W1579672261 hasRelatedWork W31561947 @default.
- W1579672261 hasRelatedWork W68738721 @default.
- W1579672261 isParatext "false" @default.
- W1579672261 isRetracted "false" @default.
- W1579672261 magId "1579672261" @default.
- W1579672261 workType "book" @default.