[Haskell] Haskell-related PhD Studentship at Kent

2016-03-22 Thread Meng Wang
Dear Haskellers, I am seeking a PhD student on Haskell-related projects, particularly in the area of bidirectional programming (lenses), property-based testing (QuickCheck) and refactoring. This would be a good opportunity for someone who is interested in applying Haskell ideas to real

[Haskell] [TFPIE 2016] 2nd call for papers

2016-03-22 Thread Peter Achten
Trends in Functional Programming in Education (TFPIE 2016) 2nd Call for papers https://wiki.science.ru.nl/tfpie/TFPIE2016 The 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, will be held on June 7, 2016 at the

[Haskell] CFP: Workshop on Type-driven Development (TyDe '16)

2016-03-22 Thread Wouter Swierstra
CALL FOR PAPERS 1st Type-Driven Development (TyDe '16) A Workshop on Dependently Typed and Generic Programming