108
Voted
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
107
Voted
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
195
Voted
CEFP
2009
Springer
15 years 2 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...
132
Voted
CEFP
2009
Springer
15 years 2 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. ...