2362 search results - page 153 / 473 » Programming in Standard ML |
205
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
137
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
150
Voted
TLDI
2009
ACM
16 years 25 days ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
143
click to vote
ITNG
2010
IEEE
15 years 9 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
195
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...