TYPES list archives

• notation decision jr hindley <majrh@uk.ac.swan.pyr>
  
• Paper available by ftp Jean Gallier <jean@saul.cis.upenn.edu>
  
• A uniqueness question jr hindley <majrh@uk.ac.swan.pyr>
  
• Constant-Only LL is undecidable bekl@log.mian.su (Lev D. Beklemishev)
  
• Complexity of Constant-Only Fragments of LL bekl@log.mian.su (Lev D. Beklemishev)
  
• CFP: First Workshop on Principles and Practice of Constraint pvh@cs.brown.edu (Pascal van Hentenryck)
  
• UPDATE: 3rd Kurt Goedel Colloquium kgs@csdec2.tuwien.ac.at
  
• Types forum types <types@dcs.gla.ac.uk>
  
• workshop announcement snyder@cs.bu.edu (Wayne Snyder)
  
• Coherence for weakly distributive categories rags@triples.Math.McGill.CA (Robert A. G. Seely)
  
• CFP -- Workshop on State in Programming Languages (SIPL) odersky@CS.YALE.EDU
  
• Uniqueness problem answered jr hindley <majrh@uk.ac.swan.pyr>
  
• Summer School on Type Theory Bengt Nordstr|m <bengt@cs.chalmers.se>
  
• Summer School in ``Logic in Computer Science'' danos@logique.jussieu.fr
  
• F-bounded polymorphism Satish Thatte <satish@sun.mcs.clarkson.edu>
  
• Yet Another Strong Normalization Proof... alti@uk.ac.ed.dcs
  
• Re: F-bounded polymorphism kim@cs.williams.edu (Kim Bruce)
  
• Re: F-bounded polymorphism Satish Thatte <satish@sun.mcs.clarkson.edu>
  
• Re: F-bounded polymorphism kim@cs.williams.edu (Kim Bruce)
  
• Re: F-bounded polymorphism Satish Thatte <satish@sun.mcs.clarkson.edu>
  
• Re: F-bounded polymorphism Dinesh Katiyar <katiyar@Theory.Stanford.EDU>
  
• question about typing power of F_omega kucan@edu.mit.lcs.theory
  
• Re: F-bounded polymorphism and the Cardelli-Curien-Ghelli algorithm satish@sun.mcs.clarkson.edu (Satish Thatte)
  
• FOmegaSub implementation available pierce@quincy.inria.fr
  
• an update on "Formal parametric polymorphism" ma@src.dec.com
  
• vacancy Lawrence C Paulson <Larry.Paulson@uk.ac.cam.cl>
  
• Re: Typing Power of F_omega ronchi@di.unito.it (Simonetta Ronchi)
  
• Non Strictly Positive Datatypes in System F mxh@uk.ac.ed.dcs
  
• A decidable variant of Fsub Giuseppe Castagna <castagna@dmi.ens.fr>
  
• errata for S&T carl@research.att.com (Carl Gunter)
  
• Re: A decidable variant of Fsub ma@src.dec.com
  
• Re: A decidable variant of Fsub pratt@CS.Stanford.EDU
  
• types for Scott numerals (or re: Non Strictly Positive Datatypes) ma@com.dec.src
  
• referencies inquiry radek@ms.uky.edu
  
• Completeness results for linear logic on petri nets Uffe Engberg <engberg@daimi.aau.dk>
  
• ISABELLE-92 (beta release) Lawrence C Paulson <Larry.Paulson@uk.ac.cam.cl>
  
• Hypercoherences Thomas Ehrhard <ehrhard@dmi.ens.fr>
  
• Re: A decidable variant of Fsub pierce@quincy.inria.fr
  
• references on partial comb algebras John "C." Mitchell <jcm@cs.stanford.edu>
  
• FTP archives for papers: database & mirroring Paul Taylor <pt@uk.ac.ic.doc>
  
• The S-All-Loc variant of Fsub Giorgio Ghelli <ghelli@di.unipi.it>
  
• Re: references on partial comb algebras beeson@cats.UCSC.EDU
  
• Proof search strategies in linear logic Tanel Tammet <tammet@cs.chalmers.se>
  
• Positive inductive definitions revisited "Z. Splawski" <SPLAWSKI@EARN.PLWRTU11>
  
• a paper on objects for anonymous ftp ma@src.dec.com
  
• mirror database of papers by ftp Paul Taylor <pt@uk.ac.ic.doc>
  
• (short) paper available Dr G Bellin tel 2-76933 <bellin@maths.ox.ac.uk>
  
• Experimental Fmeet typechecker available Benjamin Pierce <pierce@pauillac.inria.fr>
  
• An old confusion about undecidability of type checking with subtypes leavens@cs.iastate.edu (Gary Leavens)
  
• Away types <types@dcs.gla.ac.uk>
  
• Papers by anon ftp John "C." Mitchell <jcm@cs.stanford.edu>
  
• Two papers on static type systems for objects Benjamin Pierce <pierce@pauillac.inria.fr>
  
• New paper available by ftp Jean Gallier <jean@saul.cis.upenn.edu>
  
• concurrency@cwi.nl anil@math.cornell.edu (Anil Nerode - Math Prof - Dir MSI)
  
• TACS '94 First announcement and call for papers John "C." Mitchell <jcm@cs.stanford.edu>
  
• Mix Rule and Girardian Turnstile Sanjiva Prasad <sanjiva@ecrc.de>
  
• Book announcement David.Wolfram@uk.ac.oxford.prg
  
• Re: Mix Rule and Girardian Turnstile aa@cauchy.Stanford.EDU (Arnon Avron)
  
• no-short-trips on additive proof-nets bellin@maths.ox.ac.uk ( Dr G Bellin tel 2-76933)
  
• Girardian turnstyle Jean Gallier <jean@saul.cis.upenn.edu>
  
• LFG semantics via Constraints Vijay Saraswat <saraswat@parc.xerox.com>
  
• New papers available by ftp Jean Gallier <jean@saul.cis.upenn.edu>
  
• No Subject odersky@CS.YALE.EDU
  
• FPCA/SIPL/PEPM advance program and registration information (update) henglein@diku.dk
  
• paper available via ftp moggi@diana.disi.unige.it (Eugenio Moggi)
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• paper on FTP pavlovic@triples.Math.McGill.CA (Dusko Pavlovic)
  
• Announcement of Summer School TEMPUS <tempus@queen.math.muni.cs>
  
• Questions on LU and ITT Sanjiva Prasad <sanjiva@ecrc.de>
  
• IL -- LU -- LL hars@logique.jussieu.fr
  
• Re: Questions on LU and ITT David J Pym <dpym@dcs.edinburgh.ac.uk>
  
• New book on TERM GRAPH REWRITING mrs@uk.ac.uea.sys (Ronan Sleep)
  
• Postdoctoral Fellowship matthewh@cogs.sussex.ac.uk (Matthew Hennessy)
  
• geometry of interaction & categorical models of LL Thomas Streicher <streiche@informatik.uni-muenchen.de>
  
• tabula gratulatoria dezani@di.unito.it (Dezani Mariangiola)
  
• linear topology, hopf algebras and *-autonomous categories blute@triples.Math.McGill.CA (Richard Blute)
  
• Regarding "realizability, covers and sheaves, ..." Jean Gallier <jean@saul.cis.upenn.edu>
  
• What's new? Andrew Pitts <Andrew.Pitts@uk.ac.cam.cl>
  
• paper announcement asperti@cs.unibo.it (Andrea Asperti)
  
• par symbol in TeX Paul Taylor <pt@doc.imperial.ac.uk>
  
• Fwd: Thomas Streicher's message Samson Abramsky <sa@uk.ac.ic.doc>
  
• Re: par symbol in TeX pratt@CS.Stanford.EDU
  
• LOGIC COLLOQUIUM '93 "Jayne M. Beardmore" <jayne@uk.ac.keele.cs>
  
• Portable par Vaughan Pratt <pratt@CS.Stanford.EDU>
  
• paper announcement Gianluigi Bellin <bellin@oxford.ac.uk>
  
• natural deduction for linear logic; corrections;bibliography anne@fwi.uva.nl (Anne S. Troelstra )
  
• Interaction Systems 1 Laneve Cosimo <cosimo@garfield.cma.fr>
  
• Roma Claudia Casadio <@forsythe.stanford.edu:PZ7RAIS1@ICINECA.BITNET>
  
• Krivine's Machine with Control from a Continuation Semantics Thomas Streicher <streiche@informatik.uni-muenchen.de>
  
• SML weak types paper available John.Greiner@REYNARD.FOX.CS.CMU.EDU
  
• MFCS'93 information booklet, plain text. Andrzej Borzyszkowski <panab@halina.univ.gda.pl>
  
• Preliminary Announcement bellin@maths.ox.ac.uk ( Dr G Bellin tel 2-76933)
  
• result announcement: 2nd-order Lambda Calculus Typability Undecidable jbw@cs.bu.edu (Joe Wells)
  
• CFP: Special Issue of LASC odersky@CS.YALE.EDU
  
• Paper available by ftp loader@maths.ox.ac.uk (Ralph Loader)
  
• Conference - Theor. Aspects Computer Software (TACS) 1994 John "C." Mitchell <jcm@cs.stanford.edu>
  
• O'small (Announcement of a new compiler) hense@cs.uni-sb.de (Andreas Hense)
  
• Co-induction by ftp Lawrence C Paulson <Larry.Paulson@uk.ac.cam.cl>
  
• OOL paper available by anonymous ftp kim@cs.williams.edu (Kim Bruce)
  
• recursively typed lambda calculus mueller@cs.uni-sb.de (Fritz Mueller)
  
• Full ILL paper Valeria de Paiva <Valeria.Paiva@uk.ac.cambridge.computer-lab>
  
• Corrected edition of Springer Lecture Notes in Mathematics 344 (fwd) Marc Bezem <Marc.Bezem@phil.ruu.nl>
  
• No Subject Jawahar Chirimar <chirimar@saul.cis.upenn.edu>
  
• limited use of exponentials Serena Cerrito <serena@fr.lri>
  
• LICS'94 Call for Papers daniel leivant <leivant@cs.indiana.edu>
  
• SLNM 344, corrected ftp-address Marc Bezem <Marc.Bezem@phil.ruu.nl>
  
• A question for Martin-L\"of disciples Joshua Caplan <caplan@hal.cs.uiuc.edu>
  
• Re: SLNM 344, corrected ftp-address eytan@fr.u-strasbg.dpt-info (Michel Eytan, LILoL)
  
• paper available: 2nd-order Lambda Calculus Typability Undecidable Joe Wells <jbw@cs.bu.edu>
  
• Banach Spaces & Linear Logic Gerry Allwein <gtall@edu.indiana.cica.ogre>
  
• applicative bisimulation Andrew Gordon <gordon@cs.chalmers.se>
  
• New book: Theory and Formal Methods 1993 Mark Ryan <mdr@uk.ac.ic.doc>
  
• Referees Wanted zeleny@husc.harvard.edu
  
• Games and Full Abstraction for PCF: Joint Announcement Luke Ong <Luke.Ong@uk.ac.cambridge.computer-lab>
  
• Brief Guide to LL andre@edu.upenn.cis.saul (Andre Scedrov)
  
• Moving ML/Haskell toward second-order polymorphism simonpj@dcs.gla.ac.uk
  
• New Textbook Roy Crole <rlc@uk.ac.ic.doc>
  
• Online LICS bibliography updated dmjones@theory.lcs.mit.edu (David M. Jones)
  
• change of address curien@dmi.ens.fr
  
• Duality for Bounded Lattices Gerry Allwein <gtall@ogre.cica.indiana.edu>
  
• PCF, Algol, and Parametric Polymorphism ohearn@top.cis.syr.edu
  
• Research Assistant Post wadler@dcs.gla.ac.uk
  
• paper announcement asperti@cs.unibo.it (Andrea Asperti)
  
• Games and Full Abstraction for PCF: second announcement Samson Abramsky <sa@uk.ac.ic.doc>
  
• errata corrige asperti@cs.unibo.it (Andrea Asperti)
  
• Errata to "What's so special about Kruskal's theorem ..." Jean Gallier <jean@saul.cis.upenn.edu>
  
• Strength of fixed-point induction John "C." Mitchell <jcm@cs.stanford.edu>
  
• New paper available by ftp Jean Gallier <jean@saul.cis.upenn.edu>
  
• Multiple Inheritance via Intersection Types abc@uk.ac.ed.dcs
  
• non-commutative tensor Christian Retore <retore@espace.cma.fr>
  
• paper available Lawrence C Paulson <Larry.Paulson@uk.ac.cam.cl>
  
• subtyping variants Radu Grosu <grosu@informatik.tu-muenchen.de>
  
• proof terms for classical logic in natural deduction formulation Thomas Streicher <streiche@informatik.uni-muenchen.de>
  
• Chu is cofree pavlovic@triples.Math.McGill.CA (Dusko Pavlovic)
  
• erratum: Undecidabilty of System F Serge Vorobyov <Serge.Vorobyov@loria.fr>
  
• invitation Petry <APETRY@vm1.ulg.ac.be>
  
• Parametricity and Local Variables ohearn@top.cis.syr.edu
  
• complexity lafont@lmd7.univ-mrs.fr
  
• lambda - a program for solving lambda definability problems allen@cis.ksu.edu (Allen Stoughton)
  
• Simple questions about simple types wadler@dcs.gla.ac.uk
  
• Re: Simple questions about simple types wadler@dcs.gla.ac.uk
  
• Paper available by ftp urzy@mimuw.edu.pl (Pawel Urzyczyn)
  
• Bohm Festschrift announcement ronchi@lmd.univ-mrs.fr (Simona RONCHI DELLA ROCCA)
  
• Termination of system F-bounded Giorgio Ghelli <ghelli@di.unipi.it>
  
• confluence, subject reduction for F^{omega} with products, eta Dominic Duggan <dduggan@nuada.uwaterloo.ca>
  
• Re: Simple questions about simple types wadler@dcs.gla.ac.uk
  
• Wrong ftp address in 'Termination of System F-bounded' Giorgio Ghelli <ghelli@di.unipi.it>
  
• unit-only LL is not trivial sergei@artemov.mian.su (Sergei N. Artemov)
  
• Re: confluence, subject reduction for F^{omega} with products, eta Dominic Duggan <dduggan@nuada.uwaterloo.ca>
  
• paper available by ftp - Prameterized Interfaces can be Interfaces scd@doc.imperial.ac.uk (Sophia Drossopoulou)
  
• Summary for Subtyping Variants Radu Grosu <grosu@informatik.tu-muenchen.de>
  
• International Conference on Logic and Algebra MAGCONF@sivax.cineca.it
  
• paper available Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• paper available: Finite-Rank Polymorphic Lambda Calculus jbw@cs.bu.edu (Joe Wells)
  
• Re: paper available: Finite-Rank Polymorphic Lambda Calculus jbw@edu.bu.cs (Joe Wells)
  
• Summer course on Isabelle Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• REMINDER: LICS'94 submission deadline felty@research.att.com (Amy Felty)
  
• Announcement of MFPS X allen@cis.ksu.edu (Allen Stoughton)
  
• paper available Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
  
• TACS '94: Final program and registration form dmjones@theory.lcs.mit.edu (David M. Jones)
  
• State in functional languages Simon L Peyton Jones <simonpj@dcs.gla.ac.uk>
  
• Question on coherence semantics Zuber@mathematik.uni-muenchen.d400.de
  
• State in functional languages Simon L Peyton Jones <simonpj@dcs.gla.ac.uk>
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• Question on coherence semantics Zuber@mathematik.uni-muenchen.d400.de
  
• EUROFOCS Advert gdp@dcs.edinburgh.ac.uk
  
• TACS'94: Invited Lectures and Special Lectures "David M. Jones" <dmjones@THEORY.lcs.mit.edu>
  
• new Isabelle available by ftp Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• Soft Typing for Scheme Andrew Wright <wright@cs.rice.edu>
  
• paper annoucement regnier@lmd.univ-mrs.fr (Laurent REGNIER)
  
• additives girard@lmd6.univ-mrs.fr
  
• PAPER: Applications of LL to Computation: An Overview Vladimir Alexiev <vladimir@cs.ualberta.ca>
  
• PAPER ABSTRACT URSINI@sivax.cineca.it
  
• five-year Lectureship gdp@uk.ac.ed.dcs