Skip to main content

and
  1. Chapter and Conference Paper

    Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style

    Regions are a useful tool for the safe and automatic management of resources. Due to their scarcity, resources are often limited in their lifetime which is associated with a certain scope. When control flow le...

    Philipp Schuster, Jonathan Immanuel Brachthäuser in Programming Languages and Systems (2022)

  2. Chapter and Conference Paper

    Incremental \(\lambda \) -Calculus in Cache-Transfer Style

    Incremental computation requires propagating changes and reusing intermediate results of base computations. Derivatives, as produced by static differentiation [7], propagate changes but do not reuse intermediate ...

    Paolo G. Giarrusso, Yann Régis-Gianas in Programming Languages and Systems (2019)