From 521f29c442ecc2e15ab9412a4ecf37f7811d3a85 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= Date: Thu, 12 Oct 2017 15:47:05 +0200 Subject: [PATCH] README. --- README.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index aafe38e..d3940d3 100644 --- a/README.md +++ b/README.md @@ -82,7 +82,15 @@ We also show the limits of dependently-typed functional programming. closure conversion, defunctionalization ([slides 03](slides/fpottier-03.pdf)) ([Coq repo](coq/)). -* (13/10/2017) Compiling away the call stack: the CPS transformation. +* (13/10/2017) Making the stack explicit: the CPS transformation + ([slides 04](slides/fpottier-04.pdf)) + ([Coq repo](coq/)). + Transforming a call-by-value interpreter + ([exercise](ocaml/EvalCBVExercise.ml), [solution](ocaml/EvalCBVCPS.ml)). + Transforming a call-by-name interpreter + ([solution](ocaml/EvalCBNCPS.ml)). + Transforming a graph traversal + ([solution](ocaml/Graph.ml)). * (20/10/2017) Equational reasoning and program optimizations. ### Metatheory of Typed Programming Languages