25 Aug 18:17 2014Paul Levy
*[TYPES] boolean conversation
23 Aug 01:42 2014Paul Levy
*[TYPES] decidability vs completeness
23 Aug 18:01 2014Paul Levy
**[TYPES] decidability vs completeness
23 Aug 21:34 2014Prof Robert Harper
***[TYPES] decidability vs completeness
24 Aug 04:15 2014Jon Sterling
****[TYPES] decidability vs completeness
24 Aug 10:38 2014Thomas Streicher
**[TYPES] decidability vs completeness
24 Jul 05:29 2014Vladimir Voevodsky
*[TYPES] type systems in terms of contexts and judgements
24 Jul 18:45 2014Prof Robert Harper
**[TYPES] type systems in terms of contexts and judgements
28 Jun 02:27 2014Dimitrios Vytiniotis
*[TYPES] FW: Joachim (Jim) Lambek
13 May 17:06 2014Vladimir Voevodsky
*[TYPES] types
13 May 15:09 2014Sam Tobin-Hochstadt
*[TYPES] types
13 May 19:31 2014Jacques Carette
**[TYPES] types
13 May 13:53 2014Philip Wadler
*[TYPES] types
13 May 14:42 2014Tony Dekker
**[TYPES] types
13 May 16:25 2014Greg Morrisett
***[TYPES] types
13 May 17:00 2014Martin Escardo
****[TYPES] types
13 May 19:36 2014Andreas Rossberg
*****[TYPES] types
13 May 22:51 2014Marius Nita
****[TYPES] types
2 Jun 02:50 2014Jamie Andrews
*****[TYPES] types
13 May 14:09 2014PATRICK BROWNE
*[TYPES] Types as theories
13 May 16:17 2014Rosu, Grigore
**[TYPES] Types as theories
13 May 18:34 2014PATRICK BROWNE
***[TYPES] Types as theories
12 May 19:47 2014Vladimir Voevodsky
*[TYPES] types
12 May 23:24 2014Matthias Felleisen
**[TYPES] types
13 May 17:03 2014Gergely Buday
***[TYPES] types
12 May 22:30 2014Jason Dagit
**[TYPES] types
12 May 23:40 2014Prof Robert Harper
**[TYPES] types
12 May 23:54 2014Cody Roux
**[TYPES] types
13 May 06:10 2014Gershom Bazerman
***[TYPES] types
13 May 12:43 2014Philip Wadler
****[TYPES] types
13 May 16:11 2014Antti-Juhani Kaijanaho
*****[TYPES] types
13 May 16:45 2014Rishiyur Nikhil
******[TYPES] types
13 May 17:44 2014Vladimir Voevodsky
*****[TYPES] types
13 May 00:14 2014Simone Martini
**[TYPES] types
13 May 00:33 2014Sean McDirmid
**[TYPES] types
13 May 01:34 2014Uday S Reddy
**[TYPES] types
13 May 10:52 2014Altenkirch Thorsten
***[TYPES] types
13 May 10:12 2014Derek Dreyer
**[TYPES] types
13 May 12:52 2014Philip Wadler
***[TYPES] types
13 May 14:04 2014Tamreen Khan
****[TYPES] types
13 May 13:57 2014Jacques Carette
**[TYPES] types
13 May 15:32 2014Philip Wadler
***[TYPES] types
13 May 16:42 2014Uday S Reddy
****[TYPES] types
13 May 14:18 2014Dan Ghica
**[TYPES] Types
13 May 18:45 2014Sergei Soloviev
**[TYPES] types
13 May 19:21 2014Joshua Guttman
**[TYPES] types
8 May 12:26 2014Dimitrios Vytiniotis
*[TYPES] future of types-list (call for feedback)
7 May 17:13 2014Derek Dreyer
*[TYPES] New moderator: Dimitrios Vytiniotis
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?