Media type: Report; E-Book Title: Axioms for strict and lazy functional programs Contributor: Stärk, Robert F. [Author] Published: ETH, Eidgenössische Technische Hochschule Zürich, Computer Science Department, 2003 Published in: Technical Report / ETH Zurich, Department of Computer Science, 417 Language: English DOI: https://doi.org/20.500.11850/68772; https://doi.org/10.3929/ethz-a-006714609 Keywords: APPLIKATIVE PROGRAMMIERUNG + FUNKTIONALE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ; Data processing ; computer science ; APPLICATIVE PROGRAMMING + FUNCTIONAL PROGRAMMING (PROGRAMMING METHODS) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted