Sciweavers

2362 search results - page 6 / 473
» Programming in Standard ML
Sort
View
118
Voted
ICFP
1999
ACM
15 years 1 months ago
Interlanguage Working Without Tears: Blending SML with Java
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
Nick Benton, Andrew Kennedy
56
Voted
POPL
2010
ACM
15 years 4 months ago
Efficient parallel programming in Poly/ML and Isabelle/ML
David C. J. Matthews, Makarius Wenzel
PLILP
1994
Springer
15 years 1 months ago
Hand-Writing Program Generator Generators
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
Lars Birkedal, Morten Welinder
JFP
2010
107views more  JFP 2010»
14 years 8 months ago
Lightweight checkpointing for concurrent ML
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Suresh Jagannathan
70
Voted
ICFP
2001
ACM
15 years 9 months ago
Contification Using Dominators
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
Matthew Fluet, Stephen Weeks