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 |