MPC 2019: 13TH INTERNATIONAL CONFERENCE ON MATHEMATICS OF PROGRAM CONSTRUCTION

A
Affeldt, Reynald	A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
Altenkirch, Thorsten	Setoid Type Theory --- A Syntactic Translation
B
Backhouse, Roland	An Analysis of Repeated Graph Search
Bird, Richard	How to Calculate with Nondeterministic Functions
Bonsangue, Marcello	Completeness and Incompleteness of Synchronous Kleene Algebra
Boulier, Simon	Setoid Type Theory --- A Syntactic Translation
C
Chapman, James	System F in Agda, for Fun and Profit
Cheney, James	Verified Self-Explaining Computation
D
Dongol, Brijesh	Cylindric Kleene Lattices for Program Construction
G
Gibbons, Jeremy	Coding with Asymmetric Numeral Systems
Gkoumas, Vasilis	Unraveling Recursion: Compiling an IR with Recursion to System F
H
Hayes, Ian J.	Cylindric Kleene Lattices for Program Construction
Hinze, Ralf	Self-Certifying Railroad Diagrams, or: How to Teach Nondeterministic Finite Automata
Hoare, Tony	A Calculus for Concurrent and Sequential Programming
K
Kaarsgaard, Robin	En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
Kaposi, Ambrus	Shallow Embedding of Type Theory Is Morally Correct Setoid Type Theory --- A Syntactic Translation
Kappé, Tobias	Completeness and Incompleteness of Synchronous Kleene Algebra
Kireev, Roman	Unraveling Recursion: Compiling an IR with Recursion to System F System F in Agda, for Fun and Profit
Kovács, András	Shallow Embedding of Type Theory Is Morally Correct
Kraus, Nicolai	Shallow Embedding of Type Theory Is Morally Correct
Krishnamurthi, Shriram	The Human in Formal Methods
L
Larchey-Wendling, Dominique	Certification of Breadth-First Algorithms by Extraction
M
MacKenzie, Kenneth	Unraveling Recursion: Compiling an IR with Recursion to System F
Mahboubi, Assia	Verified Computations in Mathematical Proofs
Matthes, Ralph	Certification of Breadth-First Algorithms by Extraction
McIver, Annabelle	Experiments in Information Flow Analysis
Meinicke, Larissa	Cylindric Kleene Lattices for Program Construction
Mu, Shin-Cheng	Handling Local State with Global State
N
Nester, Chad	System F in Agda, for Fun and Profit
Nester, Chad	Unraveling Recursion: Compiling an IR with Recursion to System F
Nowak, David	A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
P
Pauwels, Koen	Handling Local State with Global State
Peyton Jones, Michael	Unraveling Recursion: Compiling an IR with Recursion to System F
R
Rabe, Florian	How to Calculate with Nondeterministic Functions
Rot, Jurriaan	Completeness and Incompleteness of Synchronous Kleene Algebra
S
Saikawa, Takafumi	A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
Schrijvers, Tom	Handling Local State with Global State
Silva, Alexandra	Completeness and Incompleteness of Synchronous Kleene Algebra
Stolarek, Jan	Verified Self-Explaining Computation
Struth, Georg	Cylindric Kleene Lattices for Program Construction
T
Tabareau, Nicolas	Setoid Type Theory --- A Syntactic Translation
V
Veltri, Niccolò	En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
W
Wadler, Philip	Unraveling Recursion: Compiling an IR with Recursion to System F System F in Agda, for Fun and Profit
Wagemaker, Jana	Completeness and Incompleteness of Synchronous Kleene Algebra

Disclaimer | Powered by EasyChair Smart Program