research
∙
05/13/2023
Automatic Differentiation in Prolog
Automatic differentiation (AD) is a range of algorithms to compute the n...
share
research
∙
04/19/2023
A Calculus for Scoped Effects Handlers
Algebraic effects handlers have become a standard approach for side-...
research
∙
02/02/2023
A Framework for Higher-Order Effects Handlers
Algebraic effects handlers are a modular approach for modeling side-...
research
∙
12/21/2022
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?
Automatic differentiation (AD) has been a topic of interest for research...
research
∙
06/18/2022
Fusing Industry and Academia at GitHub (Experience Report)
GitHub hosts hundreds of millions of code repositories written in hundre...
research
∙
01/25/2022
Structured Handling of Scoped Effects: Extended Version
Algebraic effects offer a versatile framework that covers a wide variety...
research
∙
08/25/2021
Latent Effects for Reusable Language Components: Extended Version
The development of programming languages can be quite complicated and co...
research
∙
10/13/2020
Resolution as Intersection Subtyping via Modus Ponens
Resolution and subtyping are two common mechanisms in programming langua...
research
∙
09/10/2020
Disjunctive Delimited Control
Delimited control is a powerful mechanism for programming language exten...
research
∙
05/28/2020
Explicit Effect Subtyping
As popularity of algebraic effects and handlers increases, so does a dem...
research
∙
02/06/2020
PaSe: An Extensible and Inspectable DSL for Micro-Animations
This paper presents PaSe, an extensible and inspectable DSL embedded in ...
research
∙
07/26/2019
Lazy Stream Programming in Prolog
In recent years, stream processing has become a prominent approach for i...
research
∙
07/01/2019
Coherence of Type Class Resolution
Elaboration-based type class resolution, as found in languages like Hask...
research
∙
06/28/2019
Bidirectional Type Class Instances (Extended Version)
GADTs were introduced in Haskell's eco-system more than a decade ago, bu...
research
∙
03/06/2012