tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Publish slides 01a and 01b. Links from README.

Browse source
This commit is contained in:
François Pottier 2017-09-21 21:29:24 +02:00
parent 845312be45
commit 86c981fb99
3 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
README.md
View file

@ -64,8 +64,15 @@ We also show the limits of dependently-typed functional programming.
### Functional Programming: Under the Hood ### Functional Programming: Under the Hood
* (22/09/2017) From a small-step operational semantics... * (22/09/2017)
* (29/09/2017) ... to an efficient interpreter. (2 weeks.) Introduction ([slides 00](slides/fpottier-00.pdf)).
Syntax and operational semantics, on paper and on a machine
([slides 01a](slides/fpottier-01a.pdf))
([slides 01b](slides/fpottier-01b.pdf))
([Coq demo](coq/DemoSyntaxReduction.v)).
* (29/09/2017)
From a small-step semantics down to an efficient interpreter,
in several stages.
* (06/10/2017) Compiling away first-class functions: closure conversion, defunctionalization. * (06/10/2017) Compiling away first-class functions: closure conversion, defunctionalization.
* (13/10/2017) Compiling away the call stack: the CPS transformation. * (13/10/2017) Compiling away the call stack: the CPS transformation.
* (20/10/2017) Equational reasoning and program optimizations. * (20/10/2017) Equational reasoning and program optimizations.

BIN
slides/fpottier-01a.pdf Normal file
View file

Binary file not shown.

BIN
slides/fpottier-01b.pdf Normal file
View file

Binary file not shown.