I’ve been trying to stretch GHC’s type system again and somehow managed to get
myself into a position where GHC warns about a non-exhaustive pattern where
adding the (according to GHC) missing pattern results in a type error (as
intended by me). It seems that even with closed type families GHC
Hello,
Please, find below the third call for papers for IFL 2014.
The submission page is now open. The submission date has been
delayed to Sep. 8 2014 anywhere on the world.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
**
CALL FOR PAPERS: ETAPS 2015
18th European Joint Conferences on Theory And Practice of Software
London, UK, 11-18 April 2015
http://www.etaps.org/2015