176 search results - page 7 / 36 » Full Abstraction for Functional Languages with Control |
88
Voted
IFL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
83
Voted
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
AOSD
2008
ACM
14 years 11 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
VL
1995
IEEE
15 years 1 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
80
Voted
HYBRID
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...