2362 search results - page 59 / 473 » Programming in Standard ML |
158
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
122
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: A key challenge in systems biology is the reconstruction of an organism's metabolic network from its genome sequence. One strategy for addressing this problem is ...
136
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
125
Voted
LISP
2002
15 years 3 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
134
Voted
LFP
1994
15 years 4 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...