Type-directed operational semantics for gradual typing.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000078
- Publication type:
- Article
Works matching IS 09567968 AND DT 2024 AND VI 34
Results: 16
1
2
Static Blame for gradual typing.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000029
- Publication type:
- Article
3
Sparcl: A language for partially invertible computation.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796823000126
- Publication type:
- Article
4
Signature restriction for polymorphic algebraic effects.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000054
- Publication type:
- Article
5
Review of "Real World OCaml: Functional Programming for the Masses" Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023.
- Published in:
- 2024
- Publication type:
- Book Review
6
Programming and reasoning about actors that share state.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000091
- Publication type:
- Article
7
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000108
- Publication type:
- Article
8
Knuth–Morris–Pratt illustrated.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000017
- Publication type:
- Article
9
From high to low: Simulating nondeterminism and state with state.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000133
- Publication type:
- Article
10
A simple blame calculus for explicit nulls.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000121
- Publication type:
- Article
11
Asymptotic speedup via effect handlers.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000030
- Publication type:
- Article
12
An example of goal-directed, calculational proof.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S095679682400011X
- Publication type:
- Article
13
Alice or Bob?: Process polymorphism in choreographies.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796823000114
- Publication type:
- Article
14
Algebraic effects and handlers for arrows.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000066
- Publication type:
- Article
15
Bottom-up computation using trees of sublists.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000145
- Publication type:
- Article
16
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020).
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000042
- Publication type:
- Article