[Haskell] PhD position

2015-01-14 Thread Neil Ghani
** *** PhD Position *** *** Categories, Coalgebras and Types *** *** Mathematically Structured Programming Group *** University of Strathclyde *** ***

[Haskell] TYPES 2015 call for contributions

2015-01-14 Thread Tarmo Uustalu
CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to p