SICSA M&A: Workshop on Type Inference and Automated Proving

Date(s) - 12/05/2015
12:00 pm - 6:00 pm

School of Computing Science, University of Dundee

School of Computing, University of Dundee, Tuesday the 12th of May 2015, 12 PM – 6 PM

Full details and Registration here.

Invited speakers
Tom Schrijvers: GADTs Meet Their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness
Bob Atkey: An Algebraic Approach to Typechecking and Elaboration
Edwin Brady: Implementing a Dependently Typed Programming Language
Peng Fu: Nontermination Analysis for Evidence Construction in Type Class Inference
Adam Gundry: A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell
Katya Komendantskaya: Structural Resolution and Universal Productivity Checker
Connor McBride: Type Inference needs Revolution
J. Garrett Morris: Substructural Types with Class


This entry was posted in .