![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| constructor-unboxing-jfla.pdf | 2023-02-05 22:32 | 473K | |
| constructor-unboxing-ml-workshop-2021-talk.mkv | 2023-02-05 22:32 | 43M | |
| constructor-unboxing-ml-workshop-2021-talk.pdf | 2023-02-05 22:32 | 358K | |
| constructor-unboxing-ml-workshop-2021.pdf | 2023-02-05 22:32 | 419K | |
| constructor-unboxing-popl-2024-with-appendices.pdf | 2023-11-16 12:42 | 739K | |
| constructor-unboxing-popl-2024.pdf | 2023-11-16 12:42 | 657K | |