FP-Syd, May 22 2019
Details
As usual, two talks:
Erik de Castro Lopo : Recent Developments at IOHK
Mark Hopkins : Dependent Types Made Difficult
Abstracts available at https://groups.google.com/forum/#!topic/fp-syd/81EKg5PKp-U
As usual, two talks:
Erik de Castro Lopo : Recent Developments at IOHK
Mark Hopkins : Dependent Types Made Difficult
Abstracts available at https://groups.google.com/forum/#!topic/fp-syd/81EKg5PKp-U