Marko van Eekelen

Functional Programming and Parallel Graph Rewriting (International Computer Science Series)

1993 · ENGLISH · PDF

View details →

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

2012 · ENGLISH · PDF

View details →

Functional Programming and Parallel Graph Rewriting

1993 · ENGLISH · PDF

View details →

Functional Programming in Clean [Draft]

2002 · ENGLISH · PDF

View details →

Clean Language Report 2.2

2011 · ENGLISH · PDF

View details →

Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2016 · ENGLISH · PDF

View details →

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

2012 · ENGLISH · PDF

View details →

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

2010 · ENGLISH · PDF

View details →

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

2011 · ENGLISH · PDF

View details →

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

2010 · ENGLISH · PDF

View details →

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

2011 · ENGLISH · PDF

View details →