5863 search results - page 50 / 1173 » Calculating Functional Programs |
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
IFL
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
ERSHOV
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...