2362 search results - page 14 / 473 » Programming in Standard ML |
FPCA
1991
14 years 3 days ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
ENTCS
2008
13 years 8 months ago
2008
Although programs convey an unambiguous meaning, the grammars used in practice to describe their syntax are often ambiguous, and completed with disambiguation rules. Whether these...
PLDI
1996
ACM
14 years 22 days ago
1996
ACM
CADE
1999
Springer
14 years 26 days ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
APLAS
2003
ACM
14 years 7 days ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...