Hochschulschrift | Online-Publikation
Type inference based deforestation of functional programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2000
- Schlagwort
-
Funktionale Programmierung
Deforestation
Typinferenz
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-1144urn:nbn:de:hbz:82-20010268
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Type inference based deforestation of functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
A descriptive Mode Inference for Logic Programs
Optimizing chain datalog programs and their inference procedures
An inference engine for function free logic programs
Optimizing chain datalog programs and their inference procedures
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Monadic fusion of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Type inference based deforestation of functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
A descriptive Mode Inference for Logic Programs
Optimizing chain datalog programs and their inference procedures
An inference engine for function free logic programs
Optimizing chain datalog programs and their inference procedures
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Monadic fusion of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Type inference based deforestation of functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
A descriptive Mode Inference for Logic Programs
Optimizing chain datalog programs and their inference procedures
An inference engine for function free logic programs
Optimizing chain datalog programs and their inference procedures
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Monadic fusion of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs