Sciweavers

9595 search results - page 192 / 1919
» Functional programming in C
Sort
View
SPLST
2003
15 years 6 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...
CACM
2010
122views more  CACM 2010»
15 years 5 months ago
Functional logic programming
Sergio Antoy, Michael Hanus