[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
San Diego, USA
http://popl.mpi-sws.org/2014/
The submission webpage is now open:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION
FroCoS 2013
9th International Symposium on Frontiers of Combining Systems
Nancy, France
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Logic, Semantics, and Programming Languages Group, University of
Cambridge presents:
Dependently typed metaprogramming (in Agda)
by Conor McBride, MSP, University of
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
__
CSL 2013