TyDe Index

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

Click this for a summary of the talks and their times

Opening

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

Sunday 18th 0915-0935 AM (TyDe 2016)

APLicative programming with Naperian Functors

Written by yomimono (Mindy Preston) ()

Sunday 18th 0935-0955 AM (TyDe 2016)

TyDe 2016: Choose your own derivative

Written by yomimono ()

Sunday 18th 0955-1015 AM (TyDe 2016)

Generic diff3 for algebraic datatypes

Written by OlivierNicole (Olivier Nicole) ()

Sunday 18th 1045-1115 AM (TyDe 2016)

Programming assistance for type-directed programming

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

Sunday 18th 1115-1135 AM (TyDe 2016)

Generic partially-static data

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

Sunday 18th 1135-1155 AM (TyDe 2016)

Bidirectional transformations are proof-relevant bisimulations

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

Sunday 18th 1155-1215 AM (TyDe 2016)

Applications of applicative proof search

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

Sunday 18th 1400-1430 PM (TyDe 2016)

Liberating effects with rows and handlers

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

Sunday 18th 1430-1500 PM (TyDe 2016)

Programming with monadic CSP-style processes in dependent type theory

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

Sunday 18th 1530-1600 PM (TyDe 2016)

Generic lookup and update for infinitary inductive-recursive types

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

Sunday 18th 1600-1630 PM (TyDe 2016)

Parameterized extensible effects and session types

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

Sunday 18th 1700-1720 PM (TyDe 2016)

An Agda formalisation of the transitive closure of block matrices

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

Sunday 18th 1720-1740 PM (TyDe 2016)