First Sentence:
Safe Languages. Most programmers probably agree that language safety is a good thing.
Read the first page
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
intensional type analysis, empty trie, eqa eqb, refinement morphism, pattern functor, generic programmer, architectural connectors, binary relator, synchronisation sets, generic equality, applicative structure, pointwise closure, two datatypes, polymorphic lambda calculus, design formalisms, generic programming, arbitrary data types, polymorphic recursion, cons true, constructor case, polymorphic function, data type declarations, selected subtree, typed lambda calculus, write frame
Key Phrases - Capitalized Phrases (CAPs):
(learn more)
Generic Haskell, Computer Science, Johan Jeuring, International Conference, Ralf Hinze, Software Architectures, Cons False, Cambridge University Press, Simon Peyton Jones, Computer Society Press, Glasgow Haskell Compiler, Inl Unit, Journal of Functional Programming, Dave Clarke, Doaitse Swierstra, General Systems Theory, Springer-Verlag Berlin Heidelberg, European Symposium, International Summer School, Model of Syntax, Philip Wadler, Principles of Programming Languages, Science of Computer Programming, Unit Unit, Utrecht University
New!
Books on Related Topics |
Concordance
|
Text Stats
Browse Sample Pages:
Front Cover |
Table of Contents |
First Pages |
Index |
Back Cover |
Surprise Me!