5415 search results - page 303 / 1083 » The Implementation of Functional Programming Languages |
155
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
328
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
214
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
212
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
246
click to vote
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...