4 search results - page 1 / 1 » cefp 2009 |
93
Voted
CEFP
2009
Springer
15 years 1 months ago
2009
Springer
94
Voted
CEFP
2009
Springer
15 years 1 months ago
2009
Springer
122
Voted
CEFP
2009
Springer
15 years 1 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. ...
178
Voted
CEFP
2009
Springer
15 years 1 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...