Sciweavers

4959 search results - page 109 / 992
» Imperative Functional Programming
Sort
View
SPLST
2003
15 years 3 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...
CACM
2010
122views more  CACM 2010»
15 years 2 months ago
Functional logic programming
Sergio Antoy, Michael Hanus