Type Classes With More Higher-Order Polymorphism (2002)

Cached

Download Links

by Matthias Neubauer , Peter Thiemann
Venue:In ACM SIGPLAN International Conference on Functional Programming
Citations:5 - 1 self

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
62 WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms – Peter Thiemann - 2002
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
702 Types and programming languages – Benjamin C Pierce - 2002
3 authoring system in Haskell – Web - 2001
4 Higher-order uni and matching – Gilles Dowek - 2001
3 A typed representation for HTML and XML – Peter Thiemann - 2001
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
14 Type Classes and Constraint Handling Rules – Kevin Glynn, Peter J. Stuckey, Martin Sulzmann - 2000
14 A Functional Notation for Functional Dependencies – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2001
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
70 98 - A non-strict, purely functional language. Available from http://www. haskell.org/definition – Haskell - 1999
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
121 Implementing Type Classes – John Peterson, Mark Jones
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
2 Co: The Scala Language Specification (version 2.0). http://scala.epfl.ch/docu/files/ScalaReference.pdf – M Odersky - 2006
1 The Coq proof assistant reference manual (version 8.0). http://coq.inria.fr – T C D T L - 2004