Volume 3; Issue ICFP

6

Fairness in responsive parallelism

Year:
2019
Language:
english
File:
PDF, 590 KB
english, 2019
8

Closure conversion is safe for space

Year:
2019
Language:
english
File:
PDF, 347 KB
english, 2019
11

Simple noninterference from parametricity

Year:
2019
Language:
english
File:
PDF, 358 KB
english, 2019
12

Selective applicative functors

Year:
2019
Language:
english
File:
PDF, 437 KB
english, 2019
16

Synthesizing differentially private programs

Year:
2019
Language:
english
File:
PDF, 648 KB
english, 2019
24

Implementing a modal dependent type theory

Year:
2019
Language:
english
File:
PDF, 516 KB
english, 2019
29

Call-by-need is clairvoyant call-by-value

Year:
2019
Language:
english
File:
PDF, 466 KB
english, 2019
37

Lambda: the ultimate sublanguage (experience report)

Year:
2019
Language:
english
File:
PDF, 353 KB
english, 2019