Volume 30

Journal of Functional Programming

Volume 30

1

PhD Abstracts

Journal:

Journal of Functional Programming

Year:

2020

Language:

english

File:

PDF, 78 KB

english, 2020

2

Review of âThinking with Typesâ* by Sandy Maguire, LeanPub, 2019

Journal:

Journal of Functional Programming

Year:

2020

Language:

english

File:

PDF, 40 KB

english, 2020

3

Effect handlers via generalised continuations

HILLERSTRÃM, DANIEL, LINDLEY, SAM, ATKEY, ROBERT

Journal:

Journal of Functional Programming

Year:

2020

Language:

english

File:

PDF, 2.05 MB

english, 2020

4

Doo bee doo bee doo

CONVENT, LUKAS, LINDLEY, SAM, MCBRIDE, CONOR, MCLAUGHLIN, CRAIG

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1.64 MB

2020

5

Review of âThe Little Proverâ by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 64 KB

2020

6

Many more predecessors: A representation workout

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 198 KB

2020

7

Fault-tolerant functional reactive programming (extended version)

PEREZ, IVAN, GOODLOE, ALWYN E.

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 759 KB

2020

8

Local algebraic effect theories

LUKÅ IÄ, Å½IGA, PRETNAR, MATIJA

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1.14 MB

2020

9

Tight typings and split bounds, fully developed

ACCATTOLI, BENIAMINO, GRAHAM-LENGRAND, STÃPHANE, KESNER, DELIA

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 946 KB

2020

10

Type-Driven Development with Idris

DE MUIJNCK-HUGHES, JAN

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 50 KB

2020

11

Explicit effect subtyping

KARACHALIAS, GEORGIOS, PRETNAR, MATIJA, SALEH, AMR HANY, VANDERHALLEN, STIEN, SCHRIJVERS, TOM

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 637 KB

2020

12

Leibniz equality is isomorphic to Martin-LÃ¶f identity, parametrically

ABEL, ANDREAS, COCKX, JESPER, DEVRIESE, DOMINIQUE, TIMANY, AMIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 195 KB

2020

13

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

BRACHTHÃUSER, JONATHAN IMMANUEL, SCHUSTER, PHILIPP, OSTERMANN, KLAUS

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1.70 MB

2020

14

Heterogeneous binary random-access lists

SWIERSTRA, WOUTER

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 260 KB

2020

15

Review of âAlgorithms for Functional Programmingâ by John David Stone, Springer-Verlag, 2018

RAGDE, PRABHAKAR

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 41 KB

2020

16

Build systems Ã la carte: Theory and practice

MOKHOV, ANDREY, MITCHELL, NEIL, PEYTON JONES, SIMON

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 3.01 MB

2020

17

Review of âFunctional and Reactive Domain Modelingâ by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8

SPERBER, MICHAEL

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 50 KB

2020

18

Generalized monoidal effects and handlers

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

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 554 KB

2020

19

Faster coroutine pipelines: A reconstruction

PIETERS, RUBEN P, SCHRIJVERS, TOM

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1010 KB

2020

20

A focused solution to the avoidance problem

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1.67 MB

2020

21

Calculating correct compilers II: Return of the register machines

BAHR, PATRICK, HUTTON, GRAHAM

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 366 KB

2020

22

Runtime verification and validation of functional reactive systems

PEREZ, IVAN, NILSSON, HENRIK

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 758 KB

2020

23

Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays

MCCUTCHEN, MATT, BORGHOUTS, JUDITH, GORDON, ANDREW D., PEYTON JONES, SIMON, SARKAR, ADVAIT

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1.52 MB

2020

24

Typed dataspace actors

CALDWELL, SAM, GARNOCK-JONES, TONY, FELLEISEN, MATTHIAS

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 1.64 MB

2020

25

Review of âAlgorithm Design with Haskellâ by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020.

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 52 KB

2020

26

PhD Abstracts

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 66 KB

2020