Sciweavers

4716 search results - page 61 / 944
» Tangible functional programming
Sort
View
SPLST
2003
13 years 11 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...