Sciweavers

4895 search results - page 94 / 979
» Functional Quantum Programming
Sort
View
PEPM
1997
ACM
14 years 15 days ago
Specialization of Lazy Functional Logic Programs
María Alpuente, Moreno Falaschi, Pascual Ju...
SPLST
2003
13 years 10 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...