Relevant Links
| # | Episode Title | Description | People | Date | |
|---|---|---|---|---|---|
| 1 | Creative Commons | Verified Low-Level Programming Embedded in F | Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. | Jonathan Protzen | 18 Dec 2017 |