( en | de | ru )

 

Disambiguation of "Ostermann, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation.

, , , and . CoRR, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Klaus Ostermann

Klaus Ostermann

Egbert Ostermann

Kurt Ostermann

Erhard Ostermann

 

Other publications of authors with the same name

Data-Codata Symmetry and its Interaction with Evaluation Order., , , and . CoRR, (2022)Structural refinement types., , , and . TyDe@ICFP, page 15-27. ACM, (2022)Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala., , and . J. Funct. Program., (2020)A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation., , , and . CoRR, (2013)Back to Direct Style: Typed and Tight., , , and . Proc. ACM Program. Lang., 7 (OOPSLA1): 848-875 (April 2023)From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers., , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 941-970 (October 2023)Introduction and elimination, left and right., , , , and . Proc. ACM Program. Lang., 6 (ICFP): 438-465 (2022)Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices., , , and . CoRR, (2024)A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation., , , and . PLDI, page 145-155. ACM, (2014)Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming., , , , , , and . WiPSCE, page 26:1-26:9. ACM, (2019)