1742 search results - page 2 / 349 » An Applicative Module Calculus |
TLDI
2010
ACM
14 years 2 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
POPL
1990
ACM
13 years 9 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
SAS
2001
Springer
13 years 10 months ago
2001
Springer
CIS
2004
Springer
13 years 11 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...