Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl (2001)

Cached

Download Links

by Tim Sheard
Citations:14 - 1 self

Documents Related by Co-Citation

137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
153 Type classes with functional dependencies – Mark P. Jones - 2000
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
12 A Formal Specification for the Haskell 98 Module System – Iavor S. Diatchki, Mark P. Jones, Thomas Hallgrenogi, School Science - 2002
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
51 Typing Haskell in Haskell – Mark P. Jones - 1999
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
3 Structured type theory. www.cs.chalmers.se/~coquand/STT.ps.Z – Thierry Coquand - 1999
3 A Lexer for Haskell in Haskell. www.cse.ogi.edu/~hallgren/Talks/LHiH – Thomas Hallgren - 2002
3 et al. The hssource library. Distributed with GHC [8 – Simon Marlow
3 et al. Refactoring Functional Programs. www.cs.kent.ac.uk/projects/refactor-fp – Simon Thompson, Claus Reinke - 2003
38 Modelling General Recursion in Type Theory – Ana Bove, Venanzio Capretta - 2002
12 foetus – Termination Checker for Simple Functional Programs – Andreas Abel - 1998
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
14 A framework for polytypic programming on terms, with an application to rewriting – Patrik Jansson, Johan Jeuring - 2000
19 Polytypic unification – P Jansson, J Jeuring - 1998
59 Scrap More Boilerplate: Reflection, Zips, and Generalised Casts – Ralf Lämmel, Simon Peyton Jones - 2004
387 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
3 Initial algebra semantics is enough! Typed Lambda Calculi and Applications – P Johann, N Ghani - 2007