Relevant Links
| # | Episode Title | Description | People | Date | |
|---|---|---|---|---|---|
| 1 | Creative Commons | Local Refinement Typing | Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. | Benjamin Cosman | 16 Jan 2018 |