Relevant Links
# | Episode Title | Description | People | Date | |
---|---|---|---|---|---|
1 | Creative Commons | How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation | Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. | Makoto Hamana | 18 Dec 2017 |