Sciweavers

1686 search results - page 49 / 338
» Higher Order Deforestation
Sort
View
APLAS
2004
ACM
15 years 10 months ago
Automatic Generation of Editors for Higher-Order Data Structures
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
AISC
2004
Springer
15 years 10 months ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
15 years 10 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
DAGM
2004
Springer
15 years 10 months ago
A Higher Order MRF-Model for Stereo-Reconstruction
Abstract. We consider the task of stereo-reconstruction under the following fairly broad assumptions. A single and continuously shaped object is captured by two uncalibrated camera...
Dmitrij Schlesinger, Boris Flach, Alexander Shekho...