Search Results - "SCHRIJVERS, TOM"

A CALCULUS FOR SCOPED EFFECTS & HANDLERS.

Authors: BOSMAN, ROGER VAN DEN BERG, BIRTHE WENHAO TANG et al.

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p17:1-17:50, 50p

Disjunctive Delimited Control.

Authors: VANDENBROUCKE, ALEXANDER SCHRIJVERS, TOM

Source: Theory & Practice of Logic Programming. Jan2024, Vol. 24 Issue 1, p110-131. 22p.

Consistent Subtyping for All.

Authors: NINGNING XIE XUAN BI OLIVEIRA, BRUNO C. D. S. et al.

Source: ACM Transactions on Programming Languages & Systems; Jan2020, Vol. 42 Issue 1, p1-79, 79p

COCHIS: Stable and coherent implicits.

Authors: SCHRIJVERS, TOM OLIVEIRA, BRUNO C.D.S. WADLER, PHILIP et al.

Source: Journal of Functional Programming. 2019, Vol. 29, p1-82. 82p.

Introduction to the 30th International Conference on Logic Programming Special Issue.

Authors: LEUSCHEL, MICHAEL SCHRIJVERS, TOM Leuschel, Michael et al.

Source: Theory & Practice of Logic Programming. Jul2014, Vol. 14 Issue 4/5, p401-414. 14p.

Efficient algebraic effect handlers for Prolog.

Authors: SALEH, AMR HANY SCHRIJVERS, TOM Carro, Manuel et al.

Source: Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p884-898. 15p.

The Computational Power and Complexity of Constraint Handling Rules.

Authors: Sneyers, Jon Schrijvers, Tom Demoen, Bart

Source: ACM Transactions on Programming Languages & Systems; February 2009, Vol. 31 Issue 2, p4-1-42

Delimited continuations for prolog.

Authors: SCHRIJVERS, TOM DEMOEN, BART DESOUTER, BENOIT et al.

Source: Theory & Practice of Logic Programming. Jul2013, Vol. 13 Issue 4/5, p533-546. 14p.

MRI: Modular reasoning about interference in incremental programming.

Authors: OLIVEIRA, BRUNO C. D. S. SCHRIJVERS, TOM COOK, WILLIAM R.

Source: Journal of Functional Programming. Nov2012, Vol. 22 Issue 6, p797-852. 56p.

SWI-Prolog.

Authors: WIELEMAKER, JAN SCHRIJVERS, TOM TRISKA, MARKUS et al.

Source: Theory & Practice of Logic Programming. Jan2012, Vol. 12 Issue 1/2, p67-96. 30p.

Monadic constraint programming.

Authors: Schrijvers, Tom Stuckey, Peter Wadler, Philip

Source: Journal of Functional Programming. Nov2009, Vol. 19 Issue 6, p663-697. 35p. 14 Diagrams, 4 Charts.

Explicit effect subtyping.

Authors: KARACHALIAS, GEORGIOS PRETNAR, MATIJA SALEH, AMR HANY et al.

Source: Journal of Functional Programming; 2020, Vol. 30, p1-57, 57p

Generalized monoidal effects and handlers.

Authors: PIETERS, RUBEN P. RIVAS, EXEQUIEL SCHRIJVERS, TOM

Source: Journal of Functional Programming; 2020, Vol. 30, p1-55, 55p

A framework for higher-order effects & handlers.

Authors: van den Berg, Birthe Schrijvers, Tom

Source: Science of Computer Programming. May2024, Vol. 234, pN.PAG-N.PAG. 1p.

Subjects: Authorship in literature, Syntax (Grammar), Semantics

Forward- or reverse-mode automatic differentiation: What's the difference?

Authors: van den Berg, Birthe Schrijvers, Tom McKinna, James et al.

Source: Science of Computer Programming. Jan2024, Vol. 231, pN.PAG-N.PAG. 1p.

Subjects: Automatic differentiation, Kronecker delta

A unified view of monadic and applicative non-determinism.

Authors: Rivas, Exequiel Jaskelioff, Mauro Schrijvers, Tom

Source: Science of Computer Programming; Jan2018, Vol. 152, p70-98, 29p

Tabling with Sound Answer Subsumption.

Authors: VANDENBROUCKE, ALEXANDER PIRÓG, MACIEJ DESOUTER, BENOIT et al.

Source: Theory & Practice of Logic Programming; Sep2016, Vol. 16 Issue 5/6, p933-949, 17p

Tor: Modular search with hookable disjunction.

Authors: Schrijvers, Tom Demoen, Bart Triska, Markus et al.

Source: Science of Computer Programming. May2014, Vol. 84, p101-120. 20p.

Subjects: Search algorithms, Computer software, Denotational semantics, Program transformation, Computer systems, Control theory (Engineering)

Tabling as a library with delimited control.

Authors: DESOUTER, BENOIT VAN DOOREN, MARKO SCHRIJVERS, TOM et al.

Source: Theory & Practice of Logic Programming; Jul2015, Vol. 15 Issue 4/5, p419-433, 15p

Efficient Computation of the Well-Founded Semantics over Big Data.

Authors: TACHMAZIDIS, ILIAS ANTONIOU, GRIGORIS FABER, WOLFGANG et al.

Source: Theory & Practice of Logic Programming; Jul2014, Vol. 14 Issue 4/5, p445-459, 15p