Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076334673> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2076334673 endingPage "42" @default.
- W2076334673 startingPage "33" @default.
- W2076334673 abstract "Abstract We propose to extend the standard algebraic specification framework by incorporating user-defined type constructors that accept types and data as arguments. Together with the concept of term construction, this enhancement provides a powerful type system that includes parametric polymorphism and dependent types. Typing restrictions are specified by a small set of axioms and deduction rules. A type-checking algorithm is developed and proven to be sound with respect to the typing rules. This work has been developed in the framework of the specification language SEGRAS." @default.
- W2076334673 created "2016-06-24" @default.
- W2076334673 creator A5028988439 @default.
- W2076334673 date "1991-04-01" @default.
- W2076334673 modified "2023-09-25" @default.
- W2076334673 title "A sort of parametric polymorphism for algebraic specifications" @default.
- W2076334673 cites W113596279 @default.
- W2076334673 cites W1603788080 @default.
- W2076334673 cites W2006941708 @default.
- W2076334673 cites W2010152469 @default.
- W2076334673 cites W2027657506 @default.
- W2076334673 cites W204371327 @default.
- W2076334673 cites W2077592849 @default.
- W2076334673 cites W2084539379 @default.
- W2076334673 cites W2133472914 @default.
- W2076334673 cites W2151384546 @default.
- W2076334673 cites W2151520617 @default.
- W2076334673 cites W2166822586 @default.
- W2076334673 cites W2968743833 @default.
- W2076334673 cites W326743114 @default.
- W2076334673 cites W143366885 @default.
- W2076334673 doi "https://doi.org/10.1016/0164-1212(91)90075-h" @default.
- W2076334673 hasPublicationYear "1991" @default.
- W2076334673 type Work @default.
- W2076334673 sameAs 2076334673 @default.
- W2076334673 citedByCount "4" @default.
- W2076334673 crossrefType "journal-article" @default.
- W2076334673 hasAuthorship W2076334673A5028988439 @default.
- W2076334673 hasConcept C105795698 @default.
- W2076334673 hasConcept C117251300 @default.
- W2076334673 hasConcept C134306372 @default.
- W2076334673 hasConcept C136119220 @default.
- W2076334673 hasConcept C202444582 @default.
- W2076334673 hasConcept C33923547 @default.
- W2076334673 hasConcept C41008148 @default.
- W2076334673 hasConcept C88548561 @default.
- W2076334673 hasConcept C9376300 @default.
- W2076334673 hasConcept C94375191 @default.
- W2076334673 hasConceptScore W2076334673C105795698 @default.
- W2076334673 hasConceptScore W2076334673C117251300 @default.
- W2076334673 hasConceptScore W2076334673C134306372 @default.
- W2076334673 hasConceptScore W2076334673C136119220 @default.
- W2076334673 hasConceptScore W2076334673C202444582 @default.
- W2076334673 hasConceptScore W2076334673C33923547 @default.
- W2076334673 hasConceptScore W2076334673C41008148 @default.
- W2076334673 hasConceptScore W2076334673C88548561 @default.
- W2076334673 hasConceptScore W2076334673C9376300 @default.
- W2076334673 hasConceptScore W2076334673C94375191 @default.
- W2076334673 hasIssue "1" @default.
- W2076334673 hasLocation W20763346731 @default.
- W2076334673 hasOpenAccess W2076334673 @default.
- W2076334673 hasPrimaryLocation W20763346731 @default.
- W2076334673 hasRelatedWork W1989920940 @default.
- W2076334673 hasRelatedWork W2038106543 @default.
- W2076334673 hasRelatedWork W2063334809 @default.
- W2076334673 hasRelatedWork W2096753949 @default.
- W2076334673 hasRelatedWork W2156697727 @default.
- W2076334673 hasRelatedWork W2375201043 @default.
- W2076334673 hasRelatedWork W2382290278 @default.
- W2076334673 hasRelatedWork W283664946 @default.
- W2076334673 hasRelatedWork W2885964212 @default.
- W2076334673 hasRelatedWork W4249580765 @default.
- W2076334673 hasVolume "15" @default.
- W2076334673 isParatext "false" @default.
- W2076334673 isRetracted "false" @default.
- W2076334673 magId "2076334673" @default.
- W2076334673 workType "article" @default.