Name | Date modified | File size |
|
|---|---|---|---|
constructor-unboxing-ml-workshop-2021.pdf Shared | Jan 3, 2022 | 419 KB | |
Coqlex.pptx Shared | Jan 3, 2022 | 4.2 MB | |
Demo_Paper.pdf Shared | Jan 3, 2022 | 212 KB | |
Experience Report - Domain Modeling with Fsharp.pdf Shared | Jan 3, 2022 | 1.3 MB | |
extraction-coq-to-ml-slides.pdf Shared | Jan 3, 2022 | 434 KB | |
hanneli-ml21-submission.pdf Shared | Jan 3, 2022 | 268 KB | |
main.pdf Shared | Jan 3, 2022 | 353 KB | |
main(1).pdf Shared | Jan 3, 2022 | 303 KB | |
ML-family.pdf Shared | Jan 3, 2022 | 425 KB | |
ml21-hanneli.pdf Shared | Jan 3, 2022 | 1.3 MB | |
ml21-paper32.pdf Shared | Jan 3, 2022 | 265 KB | |
ml21.pdf Shared | Jan 3, 2022 | 204 KB | |
ML2021 Experience Report - Domain Modeling with Fsharp - Final.pdf Shared | Jan 3, 2022 | 346 KB | |
ml2021-slides.pdf Shared | Jan 3, 2022 | 1.2 MB | |
ml2021-submitted.pdf Shared | Jan 3, 2022 | 416 KB | |
ml2021.pdf Shared | Jan 3, 2022 | 419 KB | |
mlw.pdf Shared | Jan 3, 2022 | 615 KB | |
mlworkshop.pdf Shared | Jan 3, 2022 | 122 KB | |
presentation(1).pdf Shared | Jan 3, 2022 | 938 KB | |
short-abstract.pdf Shared | Jan 3, 2022 | 400 KB | |
talk.pdf Shared | Jan 3, 2022 | 1.2 MB | |
talk(1).pdf Shared | Jan 3, 2022 | 368 KB | |
unix-ml2021.pdf Shared | Jan 3, 2022 | 455 KB |