1828 search results - page 36 / 366 » First-Class Type Classes |
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
183
click to vote
POPL
2007
ACM
16 years 2 days ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
111
click to vote
FLOPS
1999
Springer
15 years 4 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
106
click to vote
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
We present aspect-oriented programming in Jiazzi. Jiazzi enhances Java with separately compiled, externally-linked code modules called units. Besides making programming in Java ge...