Sexy types in action
- 1 May 2004
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 39 (5) , 15-22
- https://doi.org/10.1145/997140.997142
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Red-black trees with typesJournal of Functional Programming, 2001
- Monadic encapsulation of effects: a revised approach (extended version)Journal of Functional Programming, 2001
- Manufacturing datatypesJournal of Functional Programming, 2001
- Deriving backtracking monad transformersACM SIGPLAN Notices, 2000
- From fast exponentiation to square matricesACM SIGPLAN Notices, 1999
- Typability and type checking in System F are equivalent and undecidableAnnals of Pure and Applied Logic, 1999
- State in HaskellHigher-Order and Symbolic Computation, 1995
- Lazy functional state threadsACM SIGPLAN Notices, 1994
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988