Matches in SemOpenAlex for { <https://semopenalex.org/work/W1760139041> ?p ?o ?g. }
- W1760139041 abstract "Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design – the absence of ill-defined programs – follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical." @default.
- W1760139041 created "2016-06-24" @default.
- W1760139041 creator A5028720578 @default.
- W1760139041 date "2012-12-17" @default.
- W1760139041 modified "2023-09-23" @default.
- W1760139041 title "Practical Foundations for Programming Languages" @default.
- W1760139041 cites W1134781054 @default.
- W1760139041 cites W129463497 @default.
- W1760139041 cites W1482532876 @default.
- W1760139041 cites W1483568252 @default.
- W1760139041 cites W1495087637 @default.
- W1760139041 cites W1500215838 @default.
- W1760139041 cites W1511133369 @default.
- W1760139041 cites W1519382205 @default.
- W1760139041 cites W1525064220 @default.
- W1760139041 cites W1530632793 @default.
- W1760139041 cites W1533525390 @default.
- W1760139041 cites W1544564247 @default.
- W1760139041 cites W1544633123 @default.
- W1760139041 cites W1544662935 @default.
- W1760139041 cites W1546727036 @default.
- W1760139041 cites W1547562281 @default.
- W1760139041 cites W1553136405 @default.
- W1760139041 cites W1557561422 @default.
- W1760139041 cites W1561824685 @default.
- W1760139041 cites W1567525491 @default.
- W1760139041 cites W1575949168 @default.
- W1760139041 cites W1581498582 @default.
- W1760139041 cites W1585299317 @default.
- W1760139041 cites W1585676614 @default.
- W1760139041 cites W1587799979 @default.
- W1760139041 cites W1589690886 @default.
- W1760139041 cites W1594912681 @default.
- W1760139041 cites W1595372275 @default.
- W1760139041 cites W1595465781 @default.
- W1760139041 cites W159715351 @default.
- W1760139041 cites W1601555688 @default.
- W1760139041 cites W1602067282 @default.
- W1760139041 cites W1602419232 @default.
- W1760139041 cites W1603799276 @default.
- W1760139041 cites W165446927 @default.
- W1760139041 cites W174270456 @default.
- W1760139041 cites W1758353222 @default.
- W1760139041 cites W1815958522 @default.
- W1760139041 cites W1843718812 @default.
- W1760139041 cites W1918168505 @default.
- W1760139041 cites W1919687110 @default.
- W1760139041 cites W1965297988 @default.
- W1760139041 cites W1968738492 @default.
- W1760139041 cites W1969093922 @default.
- W1760139041 cites W1969456304 @default.
- W1760139041 cites W1969682671 @default.
- W1760139041 cites W1971933951 @default.
- W1760139041 cites W1973054120 @default.
- W1760139041 cites W1973739282 @default.
- W1760139041 cites W1974190112 @default.
- W1760139041 cites W1977189131 @default.
- W1760139041 cites W1979366339 @default.
- W1760139041 cites W1980939032 @default.
- W1760139041 cites W1983587324 @default.
- W1760139041 cites W1983705661 @default.
- W1760139041 cites W1987755707 @default.
- W1760139041 cites W1988824860 @default.
- W1760139041 cites W1990195720 @default.
- W1760139041 cites W1990970057 @default.
- W1760139041 cites W1995008247 @default.
- W1760139041 cites W1999662942 @default.
- W1760139041 cites W2003298503 @default.
- W1760139041 cites W2007270285 @default.
- W1760139041 cites W2007809070 @default.
- W1760139041 cites W2011043790 @default.
- W1760139041 cites W2023181724 @default.
- W1760139041 cites W2024873396 @default.
- W1760139041 cites W2024929322 @default.
- W1760139041 cites W2028250722 @default.
- W1760139041 cites W2044758536 @default.
- W1760139041 cites W2048223797 @default.
- W1760139041 cites W2048569219 @default.
- W1760139041 cites W2053198071 @default.
- W1760139041 cites W2056714230 @default.
- W1760139041 cites W2057292961 @default.
- W1760139041 cites W2058193465 @default.
- W1760139041 cites W2064819162 @default.
- W1760139041 cites W2070324762 @default.
- W1760139041 cites W2080801189 @default.
- W1760139041 cites W2084788336 @default.
- W1760139041 cites W2091941856 @default.
- W1760139041 cites W2093541252 @default.
- W1760139041 cites W2094945667 @default.
- W1760139041 cites W2097321941 @default.
- W1760139041 cites W2104204098 @default.
- W1760139041 cites W2106718208 @default.
- W1760139041 cites W2110424720 @default.
- W1760139041 cites W2110425399 @default.
- W1760139041 cites W2112022010 @default.
- W1760139041 cites W2112708371 @default.
- W1760139041 cites W2113547509 @default.
- W1760139041 cites W2114958714 @default.
- W1760139041 cites W2118229393 @default.
- W1760139041 cites W2118371092 @default.