2362 search results - page 83 / 473 » Programming in Standard ML |
122
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
148
Voted
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
145
click to vote
JFP
2006
15 years 3 months ago
2006
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...
131
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
104
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl