CEFP
2009
Springer
13 years 9 months ago
2009
Springer
CEFP
2009
Springer
13 years 9 months ago
2009
Springer
CEFP
2009
Springer
13 years 9 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
CEFP
2009
Springer
13 years 9 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...