1ML – Core and modules united.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000205
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2018 AND VI 28
Results: 22
1
2
Parberry's pairwise sorting network revealed.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000199
- By:
- Publication type:
- Article
3
A tutorial on computational classical logic and the sequent calculus.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000023
- By:
- Publication type:
- Article
4
PhD Abstracts.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
5
On constructing 2-3 trees.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000187
- By:
- Publication type:
- Article
6
Batcher's odd-even merging network revealed.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000163
- By:
- Publication type:
- Article
7
Infusing an HtDP-based CS1 with distributed programming using functional video games.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000059
- By:
- Publication type:
- Article
8
An extended account of contract monitoring strategies as patterns of communication.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000047
- By:
- Publication type:
- Article
9
A programming model and foundation for lineage-based distributed computation.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000035
- By:
- Publication type:
- Article
10
Iris from the ground up: A modular foundation for higher-order concurrent separation logic.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000151
- By:
- Publication type:
- Article
11
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S095679681800014X
- By:
- Publication type:
- Article
12
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000126
- By:
- Publication type:
- Article
13
Abstract allocation as a unified approach to polyvariance in control-flow analyses.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000138
- By:
- Publication type:
- Article
14
Ghostbuster: A tool for simplifying and converting GADTs.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000114
- By:
- Publication type:
- Article
15
Push versus pull-based loop fusion in query engines.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000102
- By:
- Publication type:
- Article
16
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000096
- By:
- Publication type:
- Article
17
Special Issue on Programming Languages for Big Data Editorial.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
18
Size-based termination of higher-order rewriting.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000072
- By:
- Publication type:
- Article
19
Editorial for the Special Issue on Parallel and Concurrent Functional Programming.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
20
Foundations of dependent interoperability.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000011
- By:
- Publication type:
- Article
21
Systematic identification and communication of type errors*.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S095679681700020X
- By:
- Publication type:
- Article
22
The adequacy of Launchbury's natural semantics for lazy evaluation*.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796817000144
- By:
- Publication type:
- Article