3256 search results - page 214 / 652 » Mixin-Based Programming in C |
136
click to vote
SIGADA
1997
Springer
15 years 8 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
143
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
76
Voted
POS
1989
Springer
15 years 8 months ago
1989
Springer
ro, D.S. “The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0)”. Universities of St Andrews and Adelaide (1994).
111
click to vote
ICFP
2007
ACM
15 years 7 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
119
click to vote
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
Intuitively, Braess's paradox states that destroying a part of a network may improve the common latency of selfish flows at Nash equilibrium. Such a paradox is a pervasive phe...