Sciweavers

2643 search results - page 46 / 529
» Higher order messaging
Sort
View
APLAS
2004
ACM
14 years 4 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
14 years 4 months ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
DAGM
2004
Springer
14 years 4 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...