1895 search results - page 179 / 379 » Modular Functional Descriptions |
95
Voted
LISP
2007
15 years 2 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
113
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...
200
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
112
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...