Static complexity analysis of higher order programs

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

James Emil Avery, Lars Kristiansen, Jean-Yves Moyen

Original languageEnglish
Title of host publicationFoundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
EditorsMarko van Eekelen, Olha Shkaravska
Number of pages16
PublisherSpringer
Publication date2010
Pages84-99
ISBN (Print)978-3-642-15330-3
ISBN (Electronic)978-3-642-15331-0
DOIs
Publication statusPublished - 2010
Event1st International Workshop on Foundational and Practical Aspects of Resource Analysis - Eindhoven, Netherlands
Duration: 6 Nov 20096 Nov 2009
Conference number: 1

Conference

Conference1st International Workshop on Foundational and Practical Aspects of Resource Analysis
Nummer1
LandNetherlands
ByEindhoven
Periode06/11/200906/11/2009
SeriesLecture notes in computer science
Volume6324
ISSN0302-9743

ID: 168251778