Sciweavers

4895 search results - page 94 / 979
» Functional Quantum Programming
Sort
View
ALP
1997
Springer
15 years 5 months ago
Parallelizing Functional Programs by Generalization
Alfons Geser, Sergei Gorlatch
PEPM
1997
ACM
15 years 5 months ago
Specialization of Lazy Functional Logic Programs
María Alpuente, Moreno Falaschi, Pascual Ju...
SPLST
2003
15 years 3 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...