Sciweavers

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