Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073202004> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2073202004 abstract "This paper begins by presenting arguments for including data abstraction and compile time type checking in functional programming languages, and discussing in general terms the mechanisms required to provide support for these features. It then goes on to present brief introductions to the algebraic style of formally specifying abstract data types and to the FP style of writing functional programs. The middle section describes a version of FP that includes type checking and data abstraction. The key to this is the development of a framework for describing the FP type system in terms of the already existing algebra of FP programs. The paper concludes with an example program illustrating the style of FP programming made possible by our extensions." @default.
- W2073202004 created "2016-06-24" @default.
- W2073202004 creator A5004032879 @default.
- W2073202004 creator A5007282049 @default.
- W2073202004 creator A5077411331 @default.
- W2073202004 date "1981-01-01" @default.
- W2073202004 modified "2023-10-17" @default.
- W2073202004 title "FP with data abstraction and strong typing" @default.
- W2073202004 cites W1580284702 @default.
- W2073202004 cites W1968386045 @default.
- W2073202004 cites W1995384620 @default.
- W2073202004 cites W2015477722 @default.
- W2073202004 cites W2015874281 @default.
- W2073202004 cites W2073544767 @default.
- W2073202004 cites W2087828835 @default.
- W2073202004 cites W2094945667 @default.
- W2073202004 cites W2109576922 @default.
- W2073202004 cites W2134112335 @default.
- W2073202004 cites W2146998551 @default.
- W2073202004 cites W2148620491 @default.
- W2073202004 cites W2172307690 @default.
- W2073202004 cites W2762094 @default.
- W2073202004 doi "https://doi.org/10.1145/800223.806758" @default.
- W2073202004 hasPublicationYear "1981" @default.
- W2073202004 type Work @default.
- W2073202004 sameAs 2073202004 @default.
- W2073202004 citedByCount "19" @default.
- W2073202004 crossrefType "proceedings-article" @default.
- W2073202004 hasAuthorship W2073202004A5004032879 @default.
- W2073202004 hasAuthorship W2073202004A5007282049 @default.
- W2073202004 hasAuthorship W2073202004A5077411331 @default.
- W2073202004 hasBestOaLocation W20732020041 @default.
- W2073202004 hasConcept C110251889 @default.
- W2073202004 hasConcept C111472728 @default.
- W2073202004 hasConcept C124304363 @default.
- W2073202004 hasConcept C138885662 @default.
- W2073202004 hasConcept C138958017 @default.
- W2073202004 hasConcept C169590947 @default.
- W2073202004 hasConcept C175971053 @default.
- W2073202004 hasConcept C18903297 @default.
- W2073202004 hasConcept C199360897 @default.
- W2073202004 hasConcept C26517878 @default.
- W2073202004 hasConcept C2777299769 @default.
- W2073202004 hasConcept C30888246 @default.
- W2073202004 hasConcept C38652104 @default.
- W2073202004 hasConcept C41008148 @default.
- W2073202004 hasConcept C42383842 @default.
- W2073202004 hasConcept C80444323 @default.
- W2073202004 hasConcept C86803240 @default.
- W2073202004 hasConcept C93682546 @default.
- W2073202004 hasConceptScore W2073202004C110251889 @default.
- W2073202004 hasConceptScore W2073202004C111472728 @default.
- W2073202004 hasConceptScore W2073202004C124304363 @default.
- W2073202004 hasConceptScore W2073202004C138885662 @default.
- W2073202004 hasConceptScore W2073202004C138958017 @default.
- W2073202004 hasConceptScore W2073202004C169590947 @default.
- W2073202004 hasConceptScore W2073202004C175971053 @default.
- W2073202004 hasConceptScore W2073202004C18903297 @default.
- W2073202004 hasConceptScore W2073202004C199360897 @default.
- W2073202004 hasConceptScore W2073202004C26517878 @default.
- W2073202004 hasConceptScore W2073202004C2777299769 @default.
- W2073202004 hasConceptScore W2073202004C30888246 @default.
- W2073202004 hasConceptScore W2073202004C38652104 @default.
- W2073202004 hasConceptScore W2073202004C41008148 @default.
- W2073202004 hasConceptScore W2073202004C42383842 @default.
- W2073202004 hasConceptScore W2073202004C80444323 @default.
- W2073202004 hasConceptScore W2073202004C86803240 @default.
- W2073202004 hasConceptScore W2073202004C93682546 @default.
- W2073202004 hasLocation W20732020041 @default.
- W2073202004 hasOpenAccess W2073202004 @default.
- W2073202004 hasPrimaryLocation W20732020041 @default.
- W2073202004 hasRelatedWork W1573380057 @default.
- W2073202004 hasRelatedWork W1992184515 @default.
- W2073202004 hasRelatedWork W2003959877 @default.
- W2073202004 hasRelatedWork W2073202004 @default.
- W2073202004 hasRelatedWork W2105941113 @default.
- W2073202004 hasRelatedWork W2139102157 @default.
- W2073202004 hasRelatedWork W2154822190 @default.
- W2073202004 hasRelatedWork W2246637612 @default.
- W2073202004 hasRelatedWork W2332368292 @default.
- W2073202004 hasRelatedWork W4233387348 @default.
- W2073202004 isParatext "false" @default.
- W2073202004 isRetracted "false" @default.
- W2073202004 magId "2073202004" @default.
- W2073202004 workType "article" @default.