Skip to content

Releases: liesnikov/extensible-elaborator

IFL 2023

24 Apr 11:58
@liesnikov liesnikov
ifl-2023-final
24e52ee
Compare
Choose a tag to compare
IFL 2023 Latest
Latest

Camera-ready version of the paper.

Assets 4
Loading

ifl draft

28 Aug 14:06
@liesnikov liesnikov
ifl-draft-feedback
48ce3f0
Compare
Choose a tag to compare
ifl draft Pre-release
Pre-release

slides are from 4fbe641

Loading

Slides for the utrecht people visit on 22.11

24 Nov 11:04
@liesnikov liesnikov
utrecht-gig-slides-22-11
2f96be8
Compare
Choose a tag to compare
Slides for the utrecht people visit on 22.11 Pre-release
Pre-release 
utrecht-gig-slides-22-11

fix typos, add diagram
Loading

Seminar slides for a talk on 21-09

23 Sep 09:56
@liesnikov liesnikov
seminar-slides-21-09
4755bcc
Compare
Choose a tag to compare
Seminar slides for a talk on 21-09 Pre-release
Pre-release 
seminar-slides-21-09

fix gitignore and tiny touch to the slides
Loading