2233 search results - page 132 / 447 » Modular type classes |
123
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
89
Voted
CIE
2006
Springer
15 years 6 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
118
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
151
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
101
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...