JFP 2018
22 papers
- 1ML - Core and modules united
- A programming model and foundation for lineage-based distributed computation
- A tutorial on computational classical logic and the sequent calculus
- Abstract allocation as a unified approach to polyvariance in control-flow analyses
- An extended account of contract monitoring strategies as patterns of communication
- Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization
- Batcher's odd-even merging network revealed
- Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)
- Editorial for the Special Issue on Parallel and Concurrent Functional Programming
- Foundations of dependent interoperability
- Ghostbuster: A tool for simplifying and converting GADTs
- Infusing an HtDP-based CS1 with distributed programming using functional video games
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- On constructing 2-3 trees
- Parberry's pairwise sorting network revealed
- PhD Abstracts
- Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
- Push versus pull-based loop fusion in query engines
- Size-based termination of higher-order rewriting
- Special Issue on Programming Languages for Big Data Editorial
- Systematic identification and communication of type errors
- The adequacy of Launchbury's natural semantics for lazy evaluation