2233 search results - page 20 / 447 » Modular type classes |
122
Voted
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
110
click to vote
FLOPS
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
116
Voted
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
89
Voted
PADL
2005
Springer
15 years 7 months ago
2005
Springer
