4716 search results - page 67 / 944 » Tangible functional programming |
IV
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents the first prototype of an interactive visualisation framework specifically designed for presenting geographical information in both indoor and outdoor environm...
INTERACT
2003
13 years 11 months ago
2003
: Digital computation is a powerful source of functional support. However, it has been confined to the augmentation of single objects only. In this article, we are interested in th...
AMC
2006
13 years 10 months ago
2006
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
IPL
2007
13 years 10 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...