types-list  

Messages by Thread

• • Re: [TYPES] Types as theories PATRICK BROWNE
• [TYPES] types Vladimir Voevodsky
  • Re: [TYPES] types Matthias Felleisen
  • Re: [TYPES] types Gergely Buday
  • Re: [TYPES] types Jason Dagit
  • Re: [TYPES] types Prof Robert Harper
  • Re: [TYPES] types Antti-Juhani Kaijanaho
  • Re: [TYPES] types Rishiyur Nikhil
  • Re: [TYPES] types Cody Roux
  • Re: [TYPES] types Gershom Bazerman
  • Re: [TYPES] types Philip Wadler
  • Re: [TYPES] types Philip Wadler
  • Re: [TYPES] types Tony Dekker
  • Re: [TYPES] types Greg Morrisett
  • Re: [TYPES] types Martin Escardo
  • Re: [TYPES] types Andreas Rossberg
  • Re: [TYPES] types Marius Nita
  • Re: [TYPES] types Jamie Andrews
  • Re: [TYPES] types Vladimir Voevodsky
  • Re: [TYPES] types Sean McDirmid
  • Re: [TYPES] types Simone Martini
  • Re: [TYPES] types Uday S Reddy
  • Re: [TYPES] types Altenkirch Thorsten
  • Re: [TYPES] types Derek Dreyer
  • Re: [TYPES] types Philip Wadler
  • Re: [TYPES] types Tamreen Khan
  • Re: [TYPES] types Jacques Carette
  • Re: [TYPES] types Philip Wadler
  • Re: [TYPES] types Uday S Reddy
  • Re: [TYPES] types Sam Tobin-Hochstadt
  • Re: [TYPES] types Jacques Carette
  • Re: [TYPES] types Vladimir Voevodsky
  • Re: [TYPES] types Sergei Soloviev
  • Re: [TYPES] types Joshua Guttman
  • Re: [TYPES] Types Dan Ghica
• [TYPES] future of types-list (call for feedback) Dimitrios Vytiniotis
• [TYPES] New moderator: Dimitrios Vytiniotis Derek Dreyer
• [TYPES] Logical relations and parametricity (Reynolds memorial paper) Uday S Reddy
• [TYPES] OutsideIn(X) question Alejandro Serrano Mena
  • Re: [TYPES] OutsideIn(X) question Dimitrios Vytiniotis
• [TYPES] Do "phantom types" mean types like ('a, 'n)sized_list as a whole, or dummy parameters like 'n itself? Eijiro Sumii
  • Re: [TYPES] Do "phantom types" mean types like ('a, 'n)sized_list as a whole, or dummy parameters like 'n itself? Derek Dreyer
• Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Laurence Tratt
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Siraaj Khandkar
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Sean McDirmid
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Gavin Mendel-Gleason
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Sean McDirmid
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Uday S Reddy
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Sam Tobin-Hochstadt
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Prof. Robert Harper
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Noam Zeilberger
  • Re: [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"? Uday S Reddy
• [TYPES] Decidable intersection-type inference for general recursion: state of the art? Stefan Holdermans
• [TYPES] *** Coq survey *** (DEADLINE January 15th) Derek Dreyer
• [TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generation Lukasz Stafiniak
• [TYPES] type theory and Big Data Dr. Rod Moten
  • Re: [TYPES] type theory and Big Data Ryan Wisnesky
  • Re: [TYPES] type theory and Big Data Barry Jay
  • Re: [TYPES] type theory and Big Data Veronique Benzaken
  • Re: [TYPES] type theory and Big Data James Cheney
• [TYPES] decidability of BCCCs? Ryan Wisnesky
  • Re: [TYPES] decidability of BCCCs? Tadeusz Litak
  • Re: [TYPES] decidability of BCCCs? Arbob Ahmad
  • Re: [TYPES] decidability of BCCCs? Ryan Wisnesky
  • Re: [TYPES] decidability of BCCCs? Altenkirch Thorsten
  • Re: [TYPES] decidability of BCCCs? Roberto Di Cosmo
  • Re: [TYPES] decidability of BCCCs? Ryan Wisnesky
  • Re: [TYPES] decidability of BCCCs? Gabriel Scherer
  • Re: [TYPES] decidability of BCCCs? Roberto Di Cosmo
  • Re: [TYPES] decidability of BCCCs? Gabriel Scherer
  • Re: [TYPES] decidability of BCCCs? Roberto Di Cosmo
• [TYPES] Questions regarding a clock inference system for data-flow languages Rajagopal Pankajakshan
  • Re: [TYPES] Questions regarding a clock inference system for data-flow languages Adrien Guatto
  • Re: [TYPES] Questions regarding a clock inference system for data-flow languages Rajagopal Pankajakshan
• [TYPES] ICS calendar of conferences? Todd Wilson
• [TYPES] essay on technical factors behind the success of objects Jonathan Aldrich
• [TYPES] Types and Theorem Proving Mario Frank
• [TYPES] Future of TLCA Paweł Urzyczyn
  • Re: [TYPES] Future of TLCA Dan Licata
• [TYPES] John Reynolds Uday S Reddy
  • Re: [TYPES] John Reynolds David Naumann
• Re: [TYPES] Declarative vs imperative Vladimir Lifschitz
  • Re: [TYPES] Declarative vs imperative Rishiyur Nikhil
  • Re: [TYPES] Declarative vs imperative Kalani Thielen
  • Re: [TYPES] Declarative vs imperative Vladimir Lifschitz
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Will Cook
  • Re: [TYPES] [tag] Re: Declarative vs imperative Adam Smith
  • Re: [TYPES] Declarative vs imperative Mark Janssen
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Mark Janssen
  • Re: [TYPES] Declarative vs imperative Bram Geron
  • Re: [TYPES] Declarative vs imperative Mark Janssen
  • Re: [TYPES] Declarative vs imperative Tjark Weber
  • Re: [TYPES] Declarative vs imperative Procter, Adam M. (MU-Student)
  • Re: [TYPES] Declarative vs imperative Mark Janssen
  • Re: [TYPES] Declarative vs imperative Procter, Adam M. (MU-Student)
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Martin Escardo
  • Re: [TYPES] Declarative vs imperative Robbert Krebbers
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Vladimir Lifschitz
  • Re: [TYPES] Declarative vs imperative Mark Janssen
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Adam Smith
  • Re: [TYPES] Declarative vs imperative Marc Denecker
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] [tag] Re: Declarative vs imperative Marc Denecker
  • Re: [TYPES] [tag] Re: Declarative vs imperative Uday S Reddy
  • Re: [TYPES] [tag] Re: Declarative vs imperative Mark Janssen
  • Re: [TYPES] [tag] Re: Declarative vs imperative Philippa Cowderoy
  • Re: [TYPES] [tag] Re: Declarative vs imperative Luis Caires
  • Re: [TYPES] [tag] Re: Declarative vs imperative Uday S Reddy
  • Re: [TYPES] [tag] Re: Declarative vs imperative Tadeusz Litak
  • Re: [TYPES] [tag] Re: Declarative vs imperative Kalani Thielen
  • Re: [TYPES] [tag] Re: Declarative vs imperative Lukasz Stafiniak
  • Re: [TYPES] [tag] Re: Declarative vs imperative Moez AbdelGawad
  • Re: [TYPES] [tag] Re: Declarative vs imperative Kalani Thielen
  • Re: [TYPES] [tag] Re: Declarative vs imperative Martin Escardo
  • Re: [TYPES] [tag] Re: Declarative vs imperative Guillaume Munch-Maccagnoni
  • Re: [TYPES] [tag] Re: Declarative vs imperative Uday S Reddy
  • Re: [TYPES] [tag] Re: Declarative vs imperative Uday S Reddy
  • Re: [TYPES] [tag] Re: Declarative vs imperative Sergei SOLOVIEV
  • Re: [TYPES] [tag] Re: Declarative vs imperative Marc Denecker
  • Re: [TYPES] Declarative vs imperative Lindsey Kuper
• [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages DeLesley Hutchins
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Moez AbdelGawad
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Moez AbdelGawad
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jason Wilkins
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Uday S Reddy
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Dermot McGahon
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Andreas Rossberg
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Matthias Felleisen
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Uday S Reddy
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Avik Chaudhuri
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Uday S Reddy
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Jason Wilkins
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Kristopher Micinski
  • Re: [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages Jason Wilkins
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Claus Reinke
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Uday S Reddy
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Rishiyur Nikhil
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Andreas Abel
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jason Wilkins
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Robert Harper
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jamie Andrews
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Robert Harper
  • [TYPES] Declarative vs imperative Vijay Saraswat
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Robert Harper
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Chung-chieh Shan
  • Re: [TYPES] Declarative vs imperative Uday S Reddy
  • Re: [TYPES] Declarative vs imperative Chung-chieh Shan
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jonathan Aldrich
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jason Wilkins
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Greg Morrisett
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jonathan Aldrich
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Greg Morrisett
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Jonathan Aldrich
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Neelakantan R. Krishnaswami
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Greg Morrisett
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Paulo Sérgio Almeida
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Uday S Reddy
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Mark Janssen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Uday S Reddy
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Matthias Felleisen
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages oleg
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Lindsey Kuper
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Benjamin C. Pierce
  • Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Benjamin C. Pierce
• [TYPES] Decidability of type reconstruction in predicative System-F? Christian Skalka
  • Re: [TYPES] Decidability of type reconstruction in predicative System-F? Frank Pfenning
  • Re: [TYPES] Decidability of type reconstruction in predicative System-F? Fujita Kenetsu
• [TYPES] Strong normalization of overlapping rewrite rules Andreas Abel
  • Re: [TYPES] Strong normalization of overlapping rewrite rules Frederic Blanqui
• [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Derek Dreyer
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Uday S Reddy
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Derek Dreyer
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Uday S Reddy
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Derek Dreyer
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Kevin Watkins
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Robert Harper
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Uday S Reddy
  • Re: [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type? Derek Dreyer
• Re: [TYPES] Please give me a link. Is alpha-conversion easy or not? Michael Norrish
• Re: [TYPES] Please give me a link. Is alpha-conversion easy or not? Sergei Soloviev
• [TYPES] Free theorems for maps of higher rank and polarized systems? Ahn, Ki Yung
• [TYPES] [REMINDER] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen Nicolas Pouillard
• [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Derek Dreyer
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Derek Dreyer
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Sam Lindley

• Earlier messages
• Later messages