8 Apr 18:19 2014Uday S Reddy
*[TYPES] Logical relations and parametricity (Reynolds memorial paper)
27 Feb 11:18 2014Alejandro Serrano Mena
*[TYPES] OutsideIn(X) question
11 Jan 10:02 2014Eijiro Sumii
*[TYPES] Do "phantom types" mean types like ('a, 'n)sized_list as a who
11 Jan 17:26 2014Derek Dreyer
**[TYPES] Do "phantom types" mean types like ('a, 'n)sized_list as a who
8 Jan 04:11 2014Siraaj Khandkar
*[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 11:09 2014Sean McDirmid
**[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 14:58 2014Gavin Mendel-Gleason
***[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 15:30 2014Sean McDirmid
****[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 17:37 2014Uday S Reddy
*****[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 16:37 2014Sam Tobin-Hochstadt
**[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 16:45 2014Prof. Robert Harper
**[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 18:00 2014Noam Zeilberger
***[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 19:24 2014Uday S Reddy
***[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
8 Jan 18:29 2014Laurence Tratt
**[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-
7 Jan 09:17 2014Stefan Holdermans
*[TYPES] Decidable intersection-type inference for general recursion: s
25 Dec 00:41 2013Derek Dreyer
*[TYPES] *** Coq survey *** (DEADLINE January 15th)
11 Dec 22:29 2013Lukasz Stafiniak
*[TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generatio
28 Oct 12:09 2013Dr. Rod Moten
*[TYPES] type theory and Big Data
28 Oct 22:58 2013Ryan Wisnesky
**[TYPES] type theory and Big Data
29 Oct 03:24 2013Barry Jay
***[TYPES] type theory and Big Data
29 Oct 15:47 2013Veronique Benzaken
****[TYPES] type theory and Big Data
30 Oct 15:41 2013James Cheney
**[TYPES] type theory and Big Data
21 Sep 16:10 2013Ryan Wisnesky
*[TYPES] decidability of BCCCs?
21 Sep 12:05 2013Arbob Ahmad
*[TYPES] decidability of BCCCs?
20 Sep 22:36 2013Ryan Wisnesky
*[TYPES] decidability of BCCCs?
21 Sep 01:55 2013Tadeusz Litak
**[TYPES] decidability of BCCCs?
21 Sep 13:45 2013Altenkirch Thorsten
**[TYPES] decidability of BCCCs?
21 Sep 15:34 2013Roberto Di Cosmo
**[TYPES] decidability of BCCCs?
21 Sep 16:25 2013Ryan Wisnesky
***[TYPES] decidability of BCCCs?
21 Sep 17:54 2013Roberto Di Cosmo
***[TYPES] decidability of BCCCs?
30 Aug 09:15 2013Rajagopal Pankajakshan
*[TYPES] Questions regarding a clock inference system for data-flow lan
30 Aug 18:01 2013Adrien Guatto
**[TYPES] Questions regarding a clock inference system for data-flow lan
3 Sep 10:53 2013Rajagopal Pankajakshan
***[TYPES] Questions regarding a clock inference system for data-flow lan
19 Aug 08:47 2013Todd Wilson
*[TYPES] ICS calendar of conferences?
2 Aug 11:45 2013Jonathan Aldrich
*[TYPES] essay on technical factors behind the success of objects
2 Jul 10:40 2013Mario Frank
*[TYPES] Types and Theorem Proving
1 May 14:02 2013Paweł Urzyczyn
*[TYPES] Future of TLCA
1 May 16:22 2013Dan Licata
**[TYPES] Future of TLCA
29 Apr 21:39 2013Uday S Reddy
*[TYPES] John Reynolds
30 Apr 18:09 2013David Naumann
**[TYPES] John Reynolds
23 Apr 19:02 2013Mark Janssen
*[TYPES] Declarative vs imperative
23 Apr 19:17 2013Lindsey Kuper
**[TYPES] Declarative vs imperative
23 Apr 19:35 2013Procter, Adam M. (MU-Student
**[TYPES] Declarative vs imperative
23 Apr 20:32 2013Uday S Reddy
**[TYPES] Declarative vs imperative
23 Apr 22:38 2013Martin Escardo
***[TYPES] Declarative vs imperative
24 Apr 00:39 2013Robbert Krebbers
***[TYPES] Declarative vs imperative
24 Apr 13:16 2013Uday S Reddy
****[TYPES] Declarative vs imperative
22 Apr 23:27 2013Adam Smith
*[TYPES] [tag] Re: Declarative vs imperative
20 Apr 10:36 2013Mark Janssen
*[TYPES] The type/object distinction and possible synthesis of OOP and
15 Apr 05:48 2013Mark Janssen
*[TYPES] The type/object distinction and possible synthesis of OOP and
28 Jan 23:38 2013Christian Skalka
*[TYPES] Decidability of type reconstruction in predicative System-F?
29 Jan 01:23 2013Frank Pfenning
**[TYPES] Decidability of type reconstruction in predicative System-F?
12 Feb 14:06 2013Fujita Kenetsu
***[TYPES] Decidability of type reconstruction in predicative System-F?
11 Dec 01:34 2012Andreas Abel
*[TYPES] Strong normalization of overlapping rewrite rules
11 Dec 10:47 2012Frederic Blanqui
**[TYPES] Strong normalization of overlapping rewrite rules
5 Dec 14:42 2012Derek Dreyer
*[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 16:05 2012Uday S Reddy
**[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 17:24 2012Derek Dreyer
***[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 18:31 2012Uday S Reddy
****[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 18:46 2012Derek Dreyer
*****[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 19:50 2012Kevin Watkins
******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 20:55 2012Robert Harper
*******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
5 Dec 23:44 2012Uday S Reddy
******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
6 Dec 09:03 2012Derek Dreyer
*******[TYPES] a counterexample to Plotkin and Abadi's characterization of eq
4 Nov 21:43 2012George Cherevichenko
*[TYPES] Please give me a link. Is alpha-conversion easy or not?
4 Nov 23:27 2012Sergei Soloviev
**[TYPES] Please give me a link. Is alpha-conversion easy or not?
5 Nov 00:36 2012Michael Norrish
**[TYPES] Please give me a link. Is alpha-conversion easy or not?
17 Oct 01:38 2012Ahn, Ki Yung
*[TYPES] Free theorems for maps of higher rank and polarized systems?
23 Aug 17:46 2012Nicolas Pouillard
*[TYPES] [REMINDER] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen
10 Aug 13:34 2012Derek Dreyer
*[TYPES] decidability/confluence of beta-eta convertibility in Church-s
10 Aug 16:31 2012Derek Dreyer
**[TYPES] decidability/confluence of beta-eta convertibility in Church-s
10 Aug 16:39 2012Sam Lindley
**[TYPES] decidability/confluence of beta-eta convertibility in Church-s
10 Aug 17:48 2012Derek Dreyer
***[TYPES] decidability/confluence of beta-eta convertibility in Church-s
11 Aug 14:13 2012Derek Dreyer
****[TYPES] decidability/confluence of beta-eta convertibility in Church-s
14 Aug 11:13 2012Altenkirch Thorsten
*****[TYPES] decidability/confluence of beta-eta convertibility in Church-s
14 Aug 12:04 2012Derek Dreyer
******[TYPES] decidability/confluence of beta-eta convertibility in Church-s
16 Aug 14:22 2012Andreas Abel
******[TYPES] decidability/confluence of beta-eta convertibility in Church-s
16 Aug 14:42 2012Altenkirch Thorsten
*******[TYPES] decidability/confluence of beta-eta convertibility in Church-s
21 Jul 00:39 2012Sergei Soloviev
*[TYPES] question (cont.)
20 Jul 23:58 2012Vladimir Voevodsky
*[TYPES] a question
19 Jul 17:16 2012Vladimir Voevodsky
*[TYPES] question (cont.)
19 Jul 16:44 2012Vladimir Voevodsky
*[TYPES] question (cont.)
19 Jul 16:43 2012Vladimir Voevodsky
*[TYPES] a question
29 Apr 16:10 2012Vladimir Voevodsky
*[TYPES] strict unit type
28 Apr 14:56 2012Vincent van Oostrom
*[TYPES] Is naive freshness adequate to avoid capture?
28 Apr 00:41 2012LD
*[TYPES] Is naive freshness adequate to avoid capture?
28 Apr 00:13 2012Rene Vestergaard
*[TYPES] Is naive freshness adequate to avoid capture?
27 Apr 22:31 2012George Cherevichenko
*[TYPES] Explicit renaming of bound variables
27 Apr 17:26 2012Philip Wadler
*[TYPES] Is naive freshness adequate to avoid capture?
27 Apr 17:19 2012Ben Karel
*[TYPES] Is naive freshness adequate to avoid capture?
27 Apr 13:14 2012Philip Wadler
*[TYPES] Is naive freshness adequate to avoid capture?
30 Mar 15:08 2012Giuseppe Castagna
*[TYPES] A question about unification terminology
28 Mar 23:16 2012François Fages
*[TYPES] A question about unification terminology
28 Mar 23:09 2012Fritz Henglein
*[TYPES] A question about unification terminology
28 Mar 20:47 2012Christian Skalka
*[TYPES] A question about unification terminology
28 Mar 15:13 2012Giuseppe Castagna
*[TYPES] A question about unification terminology
14 Mar 15:44 2012Vrijer, R.C. de
*[TYPES] passing away of N.G. de Bruijn
20 Nov 21:38 2011roconnor
*[TYPES] Representing inductive types with W-types
18 Nov 08:41 2011Peter Dybjer
*[TYPES] Representing inductive types with W-types
17 Nov 23:50 2011Kristina Sojakova
*[TYPES] Representing inductive types with W-types