4190 search results - page 102 / 838 » Type Class Directives |
140
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
142
Voted
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
136
Voted
NJC
2000
15 years 2 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
117
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
112
click to vote
JSYML
2008
15 years 2 months ago
2008
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...