H ?
«
‹
←
→
›
»
Language peer sets for Epigram:
United Kingdom↑
United Kingdom/1999↑
Designed 1999 ↑
1990s languages ↑
Internet↑
New internationlism↑
Epigram(ID:8173/)
dependently typed functional programming language
alternate simple view
Country: United Kingdom
Designed 1999
Published: 2002
dependently typed functional programming language
References:
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
Resources
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|