Scheme Index

Written by Gemma Gordon, Anil Madhavapeddy, Gabriel Scherer ()

Click this for a summary of the talks and their times

Opening remarks

Written by your-uid-here (your-name-here) ()

Sunday 18th 0915-0925 AM (Scheme 2016)

A verified Lisp implementation for a verified theorem prover

Written by your-uid-here (your-name-here) ()

Sunday 18th 0925-1015 AM (Scheme 2016)

miniAdapton: A minimal implementation of incremental computation in Scheme

Written by your-uid-here (your-name-here) ()

Sunday 18th 1045-1115 AM (Scheme 2016)

Nash: a tracing JIT for extension language

Written by your-uid-here (your-name-here) ()

Sunday 18th 1115-1145 AM (Scheme 2016)

Ghosts in the machine

Written by your-uid-here (your-name-here) ()

Sunday 18th 1145-1215 AM (Scheme 2016)

R7RS update

Written by your-uid-here (your-name-here) ()

Sunday 18th 1400-1500 PM (Scheme 2016)

GNU Guix: the functional GNU/Linux distro that's a Scheme library

Written by your-uid-here (your-name-here) ()

Sunday 18th 1420-1500 PM (Scheme 2016)

Function compose, type cut and the algebra of logic

Written by your-uid-here (your-name-here) ()

Sunday 18th 1530-1600 PM (Scheme 2016)

Deriving pure, functional one-pass operations for processing tail-aligned lists

Written by your-uid-here (your-name-here) ()

Sunday 18th 1600-1630 PM (Scheme 2016)

A Scheme concurrency library

Written by your-uid-here (your-name-here) ()

Sunday 18th 1700-1730 PM (Scheme 2016)

A multi-purpose web framework design based on websocket over HTTP gateway

Written by your-uid-here (your-name-here) ()

Sunday 18th 1730-1800 PM (Scheme 2016)