Sciweavers

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