Relevant Links
# | Episode Title | Description | People | Date | |
---|---|---|---|---|---|
1 | Creative Commons | Automating Sized-Type Inference for Complexity Analysis | Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. | Martin Avanzini | 23 Jan 2018 |