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 <franti...@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 ffa...@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 > _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
