Sciweavers

4895 search results - page 57 / 979
» Functional Quantum Programming
Sort
View
APLAS
2007
ACM
14 years 26 days ago
On a Tighter Integration of Functional and Logic Programming
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
Bernd Braßel, Frank Huch

Book
313views
15 years 7 months ago
A Functional Pattern System for Object-Oriented Design
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
Thomas Kühne
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
14 years 13 days ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
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...
Olaf Chitil, Colin Runciman, Malcolm Wallace
ESOP
2000
Springer
14 years 14 days ago
Functional Nets
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...
Martin Odersky