2233 search results - page 63 / 447 » Modular 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...
184
click to vote
POPL
2007
ACM
16 years 5 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 ...
113
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...
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper shows how parallelism has been integrated into SCOOP, a C++ class library for solving optimisation problems. After a description of the modeling and the optimisation par...