H ? « »

Language peer sets for Epigram:
United Kingdom
United Kingdom/1999
Designed 1999
1990s languages
New internationlism


dependently typed functional programming language 

alternate simple view
Country: United Kingdom
Designed 1999
Published: 2002

dependently typed functional programming language

  • McBride,Conor (1999) McBride,Conor "Dependently Typed Functional Programs and their Proofs" PhD thesis, University of Edinburgh, 1999 Online copy
  • McBride, Conor (2001) McBride, Conor "The Derivative of a Regular Type is its Type of One-Hole Contexts", 2001 ps
  • McBride, Conor (2002) McBride, Conor "Elimination with a Motive" In Paul Callaghan, Zhaohui Luo, James McKinna, and Robert Pollack, editors, Types for Proofs and Programs (Proceedings of the International Work-TYPES'OO), volume 2277 of LNCS. Springer-Verlag, 2002.
  • McBride, Conor (2002) McBride, Conor "Faking It (Simulating Dependent Types in Haskell)" Journal of Functional Programming, 12(4& 5):375-392, 2002. Special Issue on Haskell
  • McBride, Conor (2003) McBride, Conor "First-Order Unification by Structural Recursion" Journal of Functional Programming, 13(6), 2003
  • McBride, Conor (2004) McBride, Conor "Epigram - Practical programmign with dependant types" AFP 2004 5th International Summer School on Advanced Functional Programming Tartu, Estonia 14-21 August, 2004
  • McBride, Conor and McKinna, James (2004) McBride, Conor and McKinna, James "The view from the left" JFP 14(1)
  • McBride, Conor (2005) McBride, Conor "The Epigram Prototype: a nod and two winks" April 23, 2005 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder