5 search results - page 1 / 1 » plpv 2009 |
PLPV
2009
ACM
15 years 7 months ago
2009
ACM
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
132
click to vote
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
120
Voted
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...