Tom Schrijvers | DeepAI

AI Chat

Featured Co-authors

Peter J. Stuckey
46 publications
Fabrizio Riguzzi
19 publications
Horst Samulowitz
17 publications
Paul Tarau
12 publications
Nicolas Wu
8 publications
Wenhao Tang
8 publications
Guido Tack
7 publications
Matija Pretnar
6 publications
Birthe van den Berg
6 publications
Ningning Xie
5 publications
Jan Wielemaker
5 publications

∙ 05/13/2023

Automatic Differentiation in Prolog

Automatic differentiation (AD) is a range of algorithms to compute the n...

0 Tom Schrijvers, et al. ∙

∙ 04/19/2023

A Calculus for Scoped Effects Handlers

Algebraic effects handlers have become a standard approach for side-...

0 Roger Bosman, et al. ∙

∙ 02/02/2023

A Framework for Higher-Order Effects Handlers

Algebraic effects handlers are a modular approach for modeling side-...

0 Birthe van den Berg, et al. ∙

∙ 12/21/2022

Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?

Automatic differentiation (AD) has been a topic of interest for research...

0 Birthe van den Berg, et al. ∙

∙ 06/18/2022

Fusing Industry and Academia at GitHub (Experience Report)

GitHub hosts hundreds of millions of code repositories written in hundre...

0 Patrick Thomson, et al. ∙

∙ 01/25/2022

Structured Handling of Scoped Effects: Extended Version

Algebraic effects offer a versatile framework that covers a wide variety...

0 Zhixuan Yang, et al. ∙

∙ 08/25/2021

Latent Effects for Reusable Language Components: Extended Version

The development of programming languages can be quite complicated and co...

0 Birthe van den Berg, et al. ∙

∙ 10/13/2020

Resolution as Intersection Subtyping via Modus Ponens

Resolution and subtyping are two common mechanisms in programming langua...

0 Koar Marntirosian, et al. ∙

∙ 09/10/2020

Disjunctive Delimited Control

Delimited control is a powerful mechanism for programming language exten...

0 Alexander Vandenbroucke, et al. ∙

∙ 05/28/2020

Explicit Effect Subtyping

As popularity of algebraic effects and handlers increases, so does a dem...

0 Georgios Karachalias, et al. ∙

∙ 02/06/2020

PaSe: An Extensible and Inspectable DSL for Micro-Animations

This paper presents PaSe, an extensible and inspectable DSL embedded in ...

0 Ruben P. Pieters, et al. ∙

∙ 07/26/2019

Lazy Stream Programming in Prolog

In recent years, stream processing has become a prominent approach for i...

0 Paul Tarau, et al. ∙

∙ 07/01/2019

Coherence of Type Class Resolution

Elaboration-based type class resolution, as found in languages like Hask...

0 Gert-Jan Bottu, et al. ∙

∙ 06/28/2019

Bidirectional Type Class Instances (Extended Version)

GADTs were introduced in Haskell's eco-system more than a decade ago, bu...

0 Koen Pauwels, et al. ∙

∙ 03/06/2012

Search Combinators

The ability to model search in a constraint solver can be an essential a...

0 Tom Schrijvers, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world