Analytical Inductive Functional Programming
Kitzelmann, Emanuel (2008): Analytical Inductive Functional Programming, in: Michael Hanus, Michael Hanus, und Michael Hanus (Hrsg.), Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) ; Valencia, Spain July, 2008, Kiel, S. 166–180.
Faculty/Chair:
Author:
Title of the compilation:
Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) ; Valencia, Spain July, 2008
Editors:
Hanus, Michael
Conference:
18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), July, 2008 ; Valencia, Spain
Publisher Information:
Year of publication:
2008
Pages:
Language:
English
URL:
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/18256