Matches in SemOpenAlex for { <https://semopenalex.org/work/W1979858465> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1979858465 abstract "Abstract Approaches to typing logic programs often exclude various features of Standard Prolog. The system “Typical for annotated Prolog” (TaP) is a pragmatic approach to type checking programs written in Prolog without restricting the scope of the language. TaP checks Prolog programs that are extended with type declarations that support parametric polymorphism and subtyping. The purpose of this paper is to present an approach that extends Typical by meta-types for handling Prolog meta-programming techniques." @default.
- W1979858465 created "2016-06-24" @default.
- W1979858465 creator A5002320735 @default.
- W1979858465 creator A5019531913 @default.
- W1979858465 creator A5057440727 @default.
- W1979858465 date "1999-01-01" @default.
- W1979858465 modified "2023-09-24" @default.
- W1979858465 title "A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming1 1Part of the research reported here was supported by the Deutsche Forschungsgemeinschaft (DFG) under grant Be 1700/3-1." @default.
- W1979858465 cites W130711549 @default.
- W1979858465 cites W137633024 @default.
- W1979858465 cites W14971117 @default.
- W1979858465 cites W1504949952 @default.
- W1979858465 cites W152230367 @default.
- W1979858465 cites W1525585019 @default.
- W1979858465 cites W1556018967 @default.
- W1979858465 cites W167307437 @default.
- W1979858465 cites W180456421 @default.
- W1979858465 cites W2004587039 @default.
- W1979858465 cites W2038037493 @default.
- W1979858465 cites W2157874580 @default.
- W1979858465 cites W2403892066 @default.
- W1979858465 cites W68738721 @default.
- W1979858465 doi "https://doi.org/10.1016/s1571-0661(04)00111-2" @default.
- W1979858465 hasPublicationYear "1999" @default.
- W1979858465 type Work @default.
- W1979858465 sameAs 1979858465 @default.
- W1979858465 citedByCount "1" @default.
- W1979858465 countsByYear W19798584652014 @default.
- W1979858465 crossrefType "journal-article" @default.
- W1979858465 hasAuthorship W1979858465A5002320735 @default.
- W1979858465 hasAuthorship W1979858465A5019531913 @default.
- W1979858465 hasAuthorship W1979858465A5057440727 @default.
- W1979858465 hasBestOaLocation W19798584651 @default.
- W1979858465 hasConcept C128838566 @default.
- W1979858465 hasConcept C154945302 @default.
- W1979858465 hasConcept C198370458 @default.
- W1979858465 hasConcept C199360897 @default.
- W1979858465 hasConcept C2776214188 @default.
- W1979858465 hasConcept C2778012447 @default.
- W1979858465 hasConcept C41008148 @default.
- W1979858465 hasConcept C80444323 @default.
- W1979858465 hasConcept C81721847 @default.
- W1979858465 hasConcept C83852419 @default.
- W1979858465 hasConceptScore W1979858465C128838566 @default.
- W1979858465 hasConceptScore W1979858465C154945302 @default.
- W1979858465 hasConceptScore W1979858465C198370458 @default.
- W1979858465 hasConceptScore W1979858465C199360897 @default.
- W1979858465 hasConceptScore W1979858465C2776214188 @default.
- W1979858465 hasConceptScore W1979858465C2778012447 @default.
- W1979858465 hasConceptScore W1979858465C41008148 @default.
- W1979858465 hasConceptScore W1979858465C80444323 @default.
- W1979858465 hasConceptScore W1979858465C81721847 @default.
- W1979858465 hasConceptScore W1979858465C83852419 @default.
- W1979858465 hasLocation W19798584651 @default.
- W1979858465 hasOpenAccess W1979858465 @default.
- W1979858465 hasPrimaryLocation W19798584651 @default.
- W1979858465 hasRelatedWork W136973496 @default.
- W1979858465 hasRelatedWork W1488560674 @default.
- W1979858465 hasRelatedWork W1513061173 @default.
- W1979858465 hasRelatedWork W1519069519 @default.
- W1979858465 hasRelatedWork W1558779675 @default.
- W1979858465 hasRelatedWork W1560895966 @default.
- W1979858465 hasRelatedWork W1571653586 @default.
- W1979858465 hasRelatedWork W1588059267 @default.
- W1979858465 hasRelatedWork W178589107 @default.
- W1979858465 hasRelatedWork W1834674993 @default.
- W1979858465 hasRelatedWork W2053366395 @default.
- W1979858465 hasRelatedWork W2154291817 @default.
- W1979858465 hasRelatedWork W2387967401 @default.
- W1979858465 hasRelatedWork W2472135664 @default.
- W1979858465 hasRelatedWork W3009891130 @default.
- W1979858465 hasRelatedWork W3014755503 @default.
- W1979858465 hasRelatedWork W575493863 @default.
- W1979858465 hasRelatedWork W1713414949 @default.
- W1979858465 hasRelatedWork W2293877964 @default.
- W1979858465 hasRelatedWork W2590615004 @default.
- W1979858465 isParatext "false" @default.
- W1979858465 isRetracted "false" @default.
- W1979858465 magId "1979858465" @default.
- W1979858465 workType "article" @default.