1932 search results - page 22 / 387 » A Functional Quantum Programming Language |
270
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
122
Voted
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
138
Voted
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
104
Voted
CP
2005
Springer
15 years 12 months ago
2005
Springer
113
Voted
ICALP
2004
Springer
15 years 11 months ago
2004
Springer