2233 search results - page 20 / 447 » Modular type classes |
173
Voted
SCAM
2008
IEEE
16 years 23 days 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...
150
click to vote
FLOPS
2001
Springer
15 years 11 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 ...
164
Voted
TOOLS
2008
IEEE
16 years 22 days ago
2008
IEEE
136
Voted
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
