1 May 2013 14:02Paweł Urzyczyn
*[TYPES] Future of TLCA
1 May 2013 16:22Dan Licata
**[TYPES] Future of TLCA
29 Apr 2013 21:39Uday S Reddy
*[TYPES] John Reynolds
30 Apr 2013 18:09David Naumann
**[TYPES] John Reynolds
23 Apr 2013 19:02Mark Janssen
*[TYPES] Declarative vs imperative
23 Apr 2013 19:17Lindsey Kuper
**[TYPES] Declarative vs imperative
23 Apr 2013 19:35Procter, Adam M. (MU-Student
**[TYPES] Declarative vs imperative
23 Apr 2013 20:32Uday S Reddy
**[TYPES] Declarative vs imperative
23 Apr 2013 22:38Martin Escardo
***[TYPES] Declarative vs imperative
24 Apr 2013 00:39Robbert Krebbers
***[TYPES] Declarative vs imperative
24 Apr 2013 13:16Uday S Reddy
****[TYPES] Declarative vs imperative
22 Apr 2013 23:27Adam Smith
*[TYPES] [tag] Re: Declarative vs imperative
20 Apr 2013 10:36Mark Janssen
*[TYPES] The type/object distinction and possible synthesis of OOP and
15 Apr 2013 05:48Mark Janssen
*[TYPES] The type/object distinction and possible synthesis of OOP and
28 Jan 2013 23:38Christian Skalka
*[TYPES] Decidability of type reconstruction in predicative System-F?
29 Jan 2013 01:23Frank Pfenning
**[TYPES] Decidability of type reconstruction in predicative System-F?
12 Feb 2013 14:06Fujita Kenetsu
***[TYPES] Decidability of type reconstruction in predicative System-F?
11 Dec 2012 01:34Andreas Abel
*[TYPES] Strong normalization of overlapping rewrite rules
11 Dec 2012 10:47Frederic Blanqui
**[TYPES] Strong normalization of overlapping rewrite rules
5 Dec 2012 14:42Derek Dreyer
*[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 16:05Uday S Reddy
**[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 17:24Derek Dreyer
***[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 18:31Uday S Reddy
****[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 18:46Derek Dreyer
*****[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 19:50Kevin Watkins
******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 20:55Robert Harper
*******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 2012 23:44Uday S Reddy
******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
6 Dec 2012 09:03Derek Dreyer
*******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
4 Nov 2012 21:43George Cherevichenko
*[TYPES] Please give me a link. Is alpha-conversion easy or not?
4 Nov 2012 23:27Sergei Soloviev
**[TYPES] Please give me a link. Is alpha-conversion easy or not?
5 Nov 2012 00:36Michael Norrish
**[TYPES] Please give me a link. Is alpha-conversion easy or not?
17 Oct 2012 01:38Ahn, Ki Yung
*[TYPES] Free theorems for maps of higher rank and polarized systems?
23 Aug 2012 17:46Nicolas Pouillard
*[TYPES] [REMINDER] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen
10 Aug 2012 13:34Derek Dreyer
*[TYPES] decidability/confluence of beta-eta convertibility in Church-s
10 Aug 2012 16:31Derek Dreyer
**[TYPES] decidability/confluence of beta-eta convertibility in Church-s
10 Aug 2012 16:39Sam Lindley
**[TYPES] decidability/confluence of beta-eta convertibility in Church-s
10 Aug 2012 17:48Derek Dreyer
***[TYPES] decidability/confluence of beta-eta convertibility in Church-s
11 Aug 2012 14:13Derek Dreyer
****[TYPES] decidability/confluence of beta-eta convertibility in Church-s
14 Aug 2012 11:13Altenkirch Thorsten
*****[TYPES] decidability/confluence of beta-eta convertibility in Church-s
14 Aug 2012 12:04Derek Dreyer
******[TYPES] decidability/confluence of beta-eta convertibility in Church-s
16 Aug 2012 14:22Andreas Abel
******[TYPES] decidability/confluence of beta-eta convertibility in Church-s
16 Aug 2012 14:42Altenkirch Thorsten
*******[TYPES] decidability/confluence of beta-eta convertibility in Church-s
19 Jul 2012 16:44Vladimir Voevodsky
*[TYPES] question (cont.)
19 Jul 2012 16:43Vladimir Voevodsky
*[TYPES] a question
29 Apr 2012 16:10Vladimir Voevodsky
*[TYPES] strict unit type
28 Apr 2012 14:56Vincent van Oostrom
*[TYPES] Is naive freshness adequate to avoid capture?
28 Apr 2012 00:41LD
*[TYPES] Is naive freshness adequate to avoid capture?
28 Apr 2012 00:13Rene Vestergaard
*[TYPES] Is naive freshness adequate to avoid capture?
27 Apr 2012 22:31George Cherevichenko
*[TYPES] Explicit renaming of bound variables
27 Apr 2012 17:26Philip Wadler
*[TYPES] Is naive freshness adequate to avoid capture?
27 Apr 2012 17:19Ben Karel
*[TYPES] Is naive freshness adequate to avoid capture?
27 Apr 2012 13:14Philip Wadler
*[TYPES] Is naive freshness adequate to avoid capture?
30 Mar 2012 15:08Giuseppe Castagna
*[TYPES] A question about unification terminology
28 Mar 2012 23:16François Fages
*[TYPES] A question about unification terminology
28 Mar 2012 23:09Fritz Henglein
*[TYPES] A question about unification terminology
28 Mar 2012 20:47Christian Skalka
*[TYPES] A question about unification terminology
28 Mar 2012 15:13Giuseppe Castagna
*[TYPES] A question about unification terminology
14 Mar 2012 15:44Vrijer, R.C. de
*[TYPES] passing away of N.G. de Bruijn
20 Nov 2011 21:38roconnor
*[TYPES] Representing inductive types with W-types
18 Nov 2011 08:41Peter Dybjer
*[TYPES] Representing inductive types with W-types
17 Nov 2011 23:50Kristina Sojakova
*[TYPES] Representing inductive types with W-types
17 Nov 2011 21:57roconnor
*[TYPES] Representing inductive types with W-types
9 Nov 2011 00:20Eddy Westbrook
*[TYPES] Strong Normalization for Coq (CiC)
9 Nov 2011 00:09Eddy Westbrook
*[TYPES] Strong Normalization for Coq (CiC)
8 Nov 2011 14:02Jean-Philippe Bernardy
*[TYPES] Strong Normalization for Coq (CiC)
7 Nov 2011 19:54Sampo Syreeni
*[TYPES] Strong Normalization for Coq (CiC)
3 Nov 2011 17:15Eddy Westbrook
*[TYPES] Strong Normalization for Coq (CiC)
15 Oct 2011 22:32Adam Poswolsky
*[TYPES] Types for Open Terms ?
15 Oct 2011 19:17Brigitte Pientka
*[TYPES] Types for Open Terms ?
15 Oct 2011 12:47murdoch gabbay
*[TYPES] Types for Open Terms ?
14 Oct 2011 10:40Andrea Asperti
*[TYPES] Types for Open Terms ?
14 Oct 2011 09:37Herman Geuvers
*[TYPES] Types for Open Terms ?
13 Oct 2011 22:14Nicolas Pouillard
*[TYPES] Types for Open Terms ?
13 Oct 2011 19:48Anthony de Almeida Lopes
*[TYPES] Types for Open Terms ?
13 Oct 2011 17:58Anthony de Almeida Lopes
*[TYPES] Types for Open Terms ?
13 Oct 2011 17:23Jacques Carette
*[TYPES] Types for Open Terms ?
10 Oct 2011 14:04Andreas Abel
*[TYPES] F omega with sums and commuting conversions
10 Oct 2011 00:39Sam Lindley
*[TYPES] F omega with sums and commuting conversions
7 Jun 2011 02:16Frederic Blanqui
*[TYPES] System F omega with (equi-)recursive types
6 Jun 2011 23:00Francois Pottier
*[TYPES] System F omega with (equi-)recursive types
6 Jun 2011 18:07Florian Lorenzen
*[TYPES] System F omega with (equi-)recursive types
22 May 2011 15:45Elaine Pimentel
*[TYPES/announce] LSFA 2011 - Deadline extended and call for posters (n
21 May 2011 14:40Noam Rinetzky
*[TYPES/announce] Call for Papers: APLAS 2011 (The 9th Asian Symposium
20 May 2011 16:13Peter O'Hearn
*[TYPES/announce] Lectureship at Queen Mary, Univ of London
20 May 2011 10:56Bas Luttik
*[TYPES/announce] EXPRESS 2011: Call for Papers
20 May 2011 09:55Matteo Maffei
*[TYPES/announce] Final call for participation: 2011 COMPUTER SECURITY
19 May 2011 23:34Anton Setzer
*[TYPES/announce] RA positions in Swansea, UK on Programming Language C
19 May 2011 01:58Anton Setzer
*[TYPES/announce] PhD studentships on Programming Language Components a
17 May 2011 09:14Dianne Nguyen
*[TYPES/announce] Call for Papers - Solomonoff 85th Memorial Conference
16 May 2011 12:45S Barry Cooper
*[TYPES/announce] Final Call for Papers - Developments in Computational
16 May 2011 09:58Jun PANG
*[TYPES/announce] SecCo 2011: 2nd Call for Papers
14 May 2011 16:36Gilles Barthe
*[TYPES/announce] CFP: FAST2011 - 8th International Workshop on Formal
12 May 2011 18:44Gopalan Nadathur
*[TYPES/announce] LFMTP 2011 Call for Papers (2nd Call)
12 May 2011 05:10Jaakko Järvi
*[TYPES/announce] CFP: WGP 2011 - Workshop on Generic Programming
11 May 2011 23:05Elaine Pimentel
*[TYPES/announce] LSFA 2011 - Last call for papers
11 May 2011 14:13S Barry Cooper
*[TYPES/announce] CiE 2011 in Sofia - Call for Participation
11 May 2011 13:46Tobias Wrigstad
*[TYPES/announce] Extended last registration date for Summer School on
11 May 2011 11:31Roy Crole
*[TYPES/announce] Lectureship in Computer Science, University of Leices
11 May 2011 07:49bywang
*[TYPES/announce] CPP 2011 - Call for Papers
10 May 2011 23:39Zhong Shao
*[TYPES/announce] Post-Doctoral Position at Yale University