Sciweavers

4757 search results - page 81 / 952
» Monads for Functional Programming
Sort
View
SPLST
2003
15 years 3 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...