Hongwei Xi
9 years ago
---------- Forwarded message ----------
Date: Mon, 5 Oct 2015 09:59:35 +0200
From: Wouter Swierstra <***@uu.nl>
To: types-***@lists.seas.upenn.edu
Subject: [TYPES/announce] CFP: Special issue of JFP on dependently typed
programming
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Date: Mon, 5 Oct 2015 09:59:35 +0200
From: Wouter Swierstra <***@uu.nl>
To: types-***@lists.seas.upenn.edu
Subject: [TYPES/announce] CFP: Special issue of JFP on dependently typed
programming
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]