Tom Schrijvers

Available identifiers

zbMath Open schrijvers.tomMaRDI QIDQ487656

List of research outcomes

Publication	Date of Publication	Type
Distributive disjoint polymorphism for compositional programming	2023-11-24	Paper
Structured handling of scoped effects	2023-08-03	Paper
Breadth-first traversal via staging	2023-06-30	Paper
Disjunctive delimited control	2023-05-08	Paper
A functional account of probabilistic programming with possible worlds. Declarative pearl	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020559	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5014449	2021-12-02	Paper
State will do	2021-07-01	Paper
Quantitative Information Flow with Monads in Haskell	2021-02-16	Paper
Syntax and Semantics for Operations with Scopes	2021-01-20	Paper
Explicit effect subtyping	2020-09-09	Paper
Handling local state with global state	2020-05-05	Paper
COCHIS: Stable and coherent implicits	2019-11-22	Paper
Explicit effect subtyping	2019-09-13	Paper
Formalization of a polymorphic subtyping algorithm	2018-10-04	Paper
Tabling as a library with delimited control	2017-11-09	Paper
Efficient algebraic effect handlers for Prolog	2017-11-09	Paper
Tabling with Sound Answer Subsumption	2017-11-09	Paper
Proof Relevant Corecursive Resolution	2016-04-04	Paper
Fusion for Free	2015-08-27	Paper
Modular monadic meta-theory	2015-03-30	Paper
Type checking with open type functions	2015-03-16	Paper
Monads, zippers and views	2015-03-05	Paper
Search combinators	2015-01-22	Paper
Complete and decidable type inference for GADTs	2015-01-06	Paper
Meta-theory à la carte	2014-11-27	Paper
\textsc{Tor}: modular search with hookable disjunction	2014-03-25	Paper
Delimited continuations for prolog	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2863874	2013-12-04	Paper
An Introduction to Search Combinators	2013-09-13	Paper
MRI: Modular reasoning about interference in incremental programming	2013-06-28	Paper
<scp>OutsideIn(X)</scp>Modular type inference with local assumptions	2013-04-24	Paper
SWI-Prolog	2012-06-25	Paper
Strictness Meets Data Flow	2010-10-01	Paper
A Transformational Approach for Proving Properties of the CHR Constraint Store	2010-05-04	Paper
Towards a Framework for Constraint-Based Test Case Generation	2010-05-04	Paper
Haskell Type Constraints Unleashed	2010-05-04	Paper
As time goes by: Constraint Handling Rules	2010-01-28	Paper
Monadic constraint programming	2009-11-25	Paper
Attributed Data for CHR Indexing	2009-07-24	Paper
A Flexible Search Framework for CHR	2009-03-26	Paper
CHR for Imperative Host Languages	2009-03-26	Paper
Guard Reasoning in the Refined Operational Semantics of CHR	2009-03-26	Paper
Automatic Generation of Test Inputs for Mercury	2009-03-24	Paper
From Monomorphic to Polymorphic Well-Typings and Beyond	2009-03-24	Paper
The Correspondence Between the Logical Algorithms Language and CHR	2009-03-05	Paper
Transactions in Constraint Handling Rules	2009-01-22	Paper
Towards Typed Prolog	2009-01-22	Paper
TCHR: a framework for tabled CLP	2008-07-23	Paper
Principal Type Inference for GHC-Style Multi-parameter Type Classes	2008-05-06	Paper
Improving Prolog programs: Refactoring for Prolog	2008-03-27	Paper
Memory Reuse for CHR	2008-03-11	Paper
Optimal union-find in Constraint Handling Rules	2007-03-08	Paper
Improving PARMA trailing	2007-02-13	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2005-08-26	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4809154	2004-08-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tom Schrijvers