Workshop on Type Inference and Automated Proving
********************************************************************* WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING Tuesday the 12th of May, 12PM to 6PM School Of Computing, University of Dundee http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ ********************************************************************* Refreshments will be available from 12:00, with talks beginning at 12:45. For the detailed programme please see the above website. Talks: Tom Schrijvers (Katholieke Universiteit Leuven) GADTs Meet Their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness Bob Atkey (University of Strathclyde) An Algebraic Approach to Typechecking and Elaboration Edwin Brady (University of St Andrews) Implementing a Dependently Typed Programming Language Peng Fu (University if Dundee) Nontermination Analysis for Evidence Construction in Type Class Inference Adam Gundry (Well-Typed LLP) A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell Katya Komendantskaya (University of Dundee) Structural Resolution and Universal Productivity Checker J. Garrett Morris (University of Edinburgh) Substructural Types with Class After the talks we plan to continue the discussion at the nearby Duke's Corner bar and then go for dinner, place is yet to be announced but in the walking distance from both Seagate bus station and Dundee railway station. Please let us know if you are coming by either replying to this email, or by contacting me at ffarka@dundee.ac.uk If possible please indicate whether you wish to join us for dinner. With regards, František Farka
Hello everyone, some of the people here on the list asked whether there will be recordings of the workshop. Now I can announce that we were able to record the whole event and talks are accesible here: http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ Also, all the speakers were kind enough to provide their slides. Best regards, Frantisek Farka On Wed, 15 Apr 2015 22:28:51 +0100 Frantisek Farka <frantisek@farka.eu> wrote:
*********************************************************************
WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING
Tuesday the 12th of May, 12PM to 6PM School Of Computing, University of Dundee
http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/
*********************************************************************
Refreshments will be available from 12:00, with talks beginning at 12:45. For the detailed programme please see the above website.
Talks:
Tom Schrijvers (Katholieke Universiteit Leuven) GADTs Meet Their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness
Bob Atkey (University of Strathclyde) An Algebraic Approach to Typechecking and Elaboration
Edwin Brady (University of St Andrews) Implementing a Dependently Typed Programming Language
Peng Fu (University if Dundee) Nontermination Analysis for Evidence Construction in Type Class Inference
Adam Gundry (Well-Typed LLP) A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell
Katya Komendantskaya (University of Dundee) Structural Resolution and Universal Productivity Checker
J. Garrett Morris (University of Edinburgh) Substructural Types with Class
After the talks we plan to continue the discussion at the nearby Duke's Corner bar and then go for dinner, place is yet to be announced but in the walking distance from both Seagate bus station and Dundee railway station.
Please let us know if you are coming by either replying to this email, or by contacting me at ffarka@dundee.ac.uk If possible please indicate whether you wish to join us for dinner.
With regards, František Farka _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
participants (1)
-
Frantisek Farka