E-LIB Suche - Ergebnisse für: SCHRIJVERS, TOM

1

Forward- or reverse-mode automatic differentiation: What's ..:

van den Berg, Birthe ; Schrijvers, Tom ; McKinna, James.
Science of Computer Programming. 231 (2024) - p. 103010 , 2024

Link: https://doi.org/10.1016/..

2

Declarative Pearl: Rigged Contracts:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Vandenbroucke, Alexander ; Schrijvers, Tom - p. 99-114 , 2024

Link: https://doi.org/10.1007/..

3

A framework for higher-order effects & handlers:

van den Berg, Birthe ; Schrijvers, Tom
Science of Computer Programming. 234 (2024) - p. 103086 , 2024

Link: https://doi.org/10.1016/..

4

Disjunctive Delimited Control:

VANDENBROUCKE, ALEXANDER ; SCHRIJVERS, TOM
Theory and Practice of Logic Programming. 24 (2023) 1 - p. 110-131 , 2023

Link: https://doi.org/10.1017/..

5

eTeacher: A Pilot in Flemish Secondary Education:

, In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2,

Hoobergs, Jesse ; van den Berg, Birthe ; Schrijvers, Tom - p. 593-594 , 2023

Link: https://dl.acm.org/doi/1..

6

Phases in Software Architecture:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture,

Gibbons, Jeremy ; Kidney, Donnacha Oisín ; Schrijvers, Tom. - p. 29-33 , 2023

Link: https://dl.acm.org/doi/1..

7

$$\textsf {Fluo}$$: A Domain-Specific Language for Experime..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

van den Berg, Birthe ; Schrijvers, Tom ; Dedecker, Peter - p. 73-82 , 2023

Link: https://doi.org/10.1007/..

8

Automatic Differentiation in Prolog:

SCHRIJVERS, TOM ; VAN DEN BERG, BIRTHE ; RIGUZZI, FABRIZIO
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 900-917 , 2023

Link: https://doi.org/10.1017/..

9

Structured Handling of Scoped Effects:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Yang, Zhixuan ; Paviotti, Marco ; Wu, Nicolas.. - p. 462-491 , 2022

Link: https://doi.org/10.1007/..

10

A Functional Account of Probabilistic Programming with Poss..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

van den Berg, Birthe ; Schrijvers, Tom - p. 186-204 , 2022

Link: https://doi.org/10.1007/..

11

Oregano: staging regular expressions with Moore Cayley fusi..:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,

Willis, Jamie ; Wu, Nicolas ; Schrijvers, Tom - p. 66-80 , 2022

Link: https://dl.acm.org/doi/1..

12

Disjunctive Delimited Control:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Vandenbroucke, Alexander ; Schrijvers, Tom - p. 75-91 , 2022

Link: https://doi.org/10.1007/..

13

Fusing industry and academia at GitHub (experience report):

Thomson, Patrick ; Rix, Rob ; Wu, Nicolas.
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 496-511 , 2022

Link: https://doi.org/10.1145/..

14

Breadth-First Traversal via Staging:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Gibbons, Jeremy ; Kidney, Donnacha Oisín ; Schrijvers, Tom. - p. 1-33 , 2022

Link: https://doi.org/10.1007/..

15

Latent Effects for Reusable Language Components:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

van den Berg, Birthe ; Schrijvers, Tom ; Poulsen, Casper Bach. - p. 182-201 , 2021

Link: https://doi.org/10.1007/..