For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Jürgensen, Claus
A Formalization of Hylomorphism Based Deforestation with an Application to an Extended Typed λ-Calculus
Typ der Veröffentlichung
Technischer Bericht
Veröffentlicht in
TUD-FI00-13
Schlagwörter
-
Jahrgang/Erscheinungsjahr
2000
Institution
TU Dresden, Fakultät Informatik
Referiert
Nein
Open Access
Ja
ISSN
1430-211X
Berichtsjahr
2000
Export
Stand: 20.06.2018 09:00 Uhr