Mail Thread Index

Main Index

(0) ILPS97: Call for Workshop PROPOSALS, Ulf Nilsson
(0) CADE-14 - Call for Workshops and Tutoria, Geoff Sutcliffe
(0) BOOK ANNOUNCEMENT, Claudia Farnik
(0) dep. record types?, M. Bognar
(0) Workshop announcement, Matthew Hennessy
(0) CFP: IJCAI'97 Workshop Programming in Te, Christoph &
(0) Paper Available, GM Bierman
(0) Special issue on Proof Theory of concurr, Didier Galmiche
(0) CFP - LMO97: Languages and Models with O, Christophe DONY
(0) MOL5---Deadline Extension: Feb. 28, 1997, Hans-Ulrich Krieger
(0) Paper announcement, Jan Rutten
(0) ASF+SDF'97 -- call for papers, alex M.P.A. Sellink
(0) 4th WoLLIC'97, Ana Bove
(0) Game Theoretic Analysis of Call-by-value, Kohei Honda
(0) Games and Full Abstraction for FPC, Guy McCusker
(0) CTCS'97, Eugenio Moggi
(0) PhD-student positions, Johan Jeuring
(0) CS position at the Ecole Polytechnique, Jean-Jacques Le'vy
(0) TLCA call for participation, Philippe de Groote
(0) Marktoberdorf Summer School 97, Ralf Steinbrueggen
(0) PhD Fellowships available, Gert Smolka
(0) FSTTCS 97 Call for Papers (ASCII), Madhavan Mukund
(0) TapSoft'97 : 2nd Call For Paper, Marc.Tommasi
(0) combinatory algebra for sequential compu, Jaap van Oosten
(0) CADE-14 Call for Attendance, Geoff Sutcliffe
(0) (ERRATA)TapSoft'97:Call For Participatio, Marc.Tommasi
(0) CSL '97 second announcement and call for, Uffe Henrik Engberg
(0) Special Issue of JFP on Theorem Proving, Tom Melham
(0) Express97, joachim
(0) CTCS'97 conference - change of deadline, Eugenio Moggi
(0) TYPES archives now available, Benjamin Pierce
(0) Book on semantics of computation, Andrew Pitts
(0) Searching for a scholarship, BELBLIDIA
(0) ClaPF '97: First Call for Papers, Roman Garcia
(0) Paper available on structural conformanc, Konstantin Laufer
(0) Is the PER model fully abstract?, Benjamin Pierce
(0) Re: Is the PER model fully abstract?, Ralph Loader
(0) Linear logic sequent prover & linear log, Naoyuki Tamura
(0) Report on the DIMACS Workshop on Comp. C, Jim Royer
(0) Two papers on MELL shared reductions and, Stefano Guerrini
(0) BRICS International PhD School: Call for, Uffe Henrik Engberg
(0) Announcing the Pict programming language, Benjamin Pierce
(0) Emacs support for "typesetting" inferenc, Benjamin Pierce
(0) Updating proof.sty (proof figure LaTeX m, Makoto Tatsuta
(0) Types in Compilation Workshop Advance Pr, Robert Muller
(0) User Interfaces for Theorem Provers'97 (, Yves Bertot
(0) Lectureships at Edinburgh CS Dept., Gordon Plotkin
(0) CFP: School on Computational and Syntact, Herman Geuvers
(0) JFP Editorial, Philip Wadler
(0) Position in Munich, Germany, Thorsten Altenkirch
(0) FLOPS'98 Call for Papers, Masahiko Sato
(0) Re: CADE-14 ATP System Competition, Geoff Sutcliffe
(0) Lectureship, Matthew Hennessy
(0) Third Special Australasian Issue of Theo, James Harland
(0) IFIP Working Conf. PROCOMET '98, Ernst-Ruediger Olderog
(0) SAS'97 (Extended Deadline), Pascal Van Hentenryck
(0) Preprint available., Marcelo Fiore
(0) Express97: 2nd CfP (text and LaTeX), Catuscia Palamidessi
(1) what's everyone up to?, John C. Mitchell

(0) Re: what's everyone up to?, Benjamin Pierce

(0) ICCL'98: Preliminary Call For Papers, Christopher Colby
(0) 4th WoLLIC'97 - third call (updated), ruy
(0) Saul Gorn Memorial Lecture Series 1997 -, Jennifer MacDougall
(0) ICALP'97 - preliminary programme, Nadia Busi
(0) ICALP'97 - information for participants, Nadia Busi
(0) Summer School on Games and Computation, Samson Abramsky
(0) Second call for papers, LACL, Francois Lamarche
(0) Jnl of Logic and Computation: Spec. Iss., Mike Wooldridge
(0) Special Issue on Proof Search in Type-th, Didier Galmiche
(0) From Algol to Polymorphic Linear Lambda-, Peter O'Hearn
(0) definitions in sequent calculus, Dale Miller
(0) Call for contributions, Pino Rosolini
(0) New journal: Discrete Mathematics and Th, Benjamin Pierce
(0) ECOOP '97 Call for Participation, Markku Sakkinen
(0) Mixed modal/linear lambda calculus with , Martin Hofmann
(0) IC-EATCS Annual Advanced School, Catuscia Palamidessi
(0) Call for Papers for POPL 98, Dave MacQueen
(0) CADE-14 Early Registration, Geoff Sutcliffe
(0) PhD studentship at Glasgow, fairouz
(0) [Second CFP] ASIAN'97 - Asian Computing , Kazunori UEDA
(0) TACS'97 Program and Registration Informa, ma
(0) CFP for GPPL'97, hatclif
(0) LACL 97 : DEADLINE EXTENSION, Francois Lamarche
(0) ACM SIGPLAN PLDI'97 Call for Participati, Young-il Choo
(0) Journal of Functional Programming, Philip Wadler
(0) cfp: Mathematics of Program Construction, Johan Jeuring
(0) Lower bounds on optimal evaluation, Harry Mairson
(0) Postdoctoral Fellowship, Robert A. G. Seely
(0) CADE-14 Student Travel Award - Call for , Geoff Sutcliffe
(0) Girardian turnstile, Frank Christoph
(0) ESSLLI-98 Second Call for Proposals, ESSLLI-98 PC
(0) ICFP'97 and PEPM'97 -- final reminder!, Simon L Peyton Jones
(0) Final CFP: Third Special Australasian Is, James Harland
(0) The AF2 proof assistant now available, Christophe Raffalli
(0) Thesis on semantics for type theory, Geir Waagboe
(0) ICALP'97, Roberto Gorrieri
(0) Call for Papers for FOOL 5, Didier Remy
(0) Call For Partic: School on Computational, Herman Geuvers
(0) Scott is Phoa, locally, Thomas Streicher
(0) a workshop announcement, Sergei.Soloviev
(0) PhD-Studentships in Theoretical Computer, Eike Ritter
(0) JFP Special Issue on Functional Programm, Bruce Kapron
(0) CFP: WORKSHOP ON PARALLELISM AND IMPLEM, Ines de Castro Dutra
(0) paper available, Adriana Compagnoni
(0) ACM Worshop in Poland, ACM Workshop in Jadwisin
(0) Dissertation on Translucent Sums Availab, Mark Lillibridge
(0) CTCS'97 - Call for Participation, Eugenio Moggi
(0) Opening for Research Assistant at Nottin, mpj
(0) Workshop on Theories of Types and Proofs, Masako Takahashi-Horai
(0) ICTL'97, Bill Mitchell
(0) FMOODS97 Final Call for Participation, G.P.A.Fernandes
(0) Workshop on coalgebraic methods in compu, Bart Jacobs
(0) Copenhagen Logic Summer School, Klaus Grue
(0) Professorship in Uppsala, Sweden, Bengt Nordstr|m
(0) correction, Sergei.Soloviev
(0) The join-calculus language, release 1.01, Luc Maranget
(0) CSL'97: Programme and Call for Participa, Uffe Henrik Engberg
(0) Announcement: paper on linear functors a, Robert A. G. Seely
(0) Affine, John DAggett
(0) affine, Vaughan R. Pratt
(0) research position, Abbas Edalat
(0) on behavioural types for concurrent obje, Antonio.Ravara.
(1) Affine, Peter Freyd

(1) Re: Affine, Vladimir Alexiev

(0) Re: Affine, Vaughan R. Pratt

(0) Lectureships at Durham, Zhaohui.Luo
(0) Summer School on Regions, Mads Tofte
(0) first call for papers and tutorials Tabl, H. de Swart
(0) Tech report available: "Proving JavaS Ty, Donald Syme
(0) REMINDER: MATHFIT Summer School and Work, M.Z.Kwiatkowska
(0) research position at Cambridge, Philippa Gardner
(0) AMAST '97 - Call for TOOL AND SYSTEM DEM, Richard Buckland
(0) Implementation issues of compilers, Soumaia Ahmed Al Ayyat
(0) SAS'97 Call For Participation, Pascal Van Hentenryck
(0) CLaPF Deadline extension, Organization CLaPF '97
(0) Workshop on Theories of Types and Proofs, Mariangiola Dezani-Ciancaglini
(0) CADE trustee nominations, Geoff Sutcliffe
(0) WoLLIC'97 - Call for Participation, ruy
(0) Affine, Jean-Yves GIRARD
(0) Research positions in formal methods at , careers
(0) paper announcement, berline
(0) Type soundness for denotational semantic, Philip Wadler
(0) RE: Type soundness for denotational sema, Robert Harper
(0) PLAN 1.0 Release, Carl Gunter
(0) CFP: Workshop on Implementation of (Cons, Enrico
(0) Unification & Sharing aka Unify and Conq, Jon Mountjoy
(0) New Book: Proof Theory and Automated Ded, Ian Mackie
(0) Paper on a type system for security, Jon Riecke
(0) Theory of Types and Proofs (TTP) --- Kyo, Jacques GARRIGUE
(0) Re: Type soundness for denotational sema, Flemming Nielson
(0) Workshop on Theories of Types and Proofs, Mariangiola Dezani-Ciancaglini
(0) CTCS'97 final CFP, Eugenio Moggi
(0) JOB OPENING: two post-doc positions rewr, KINOSHITA Yoshiki
(0) imprecise definitions, dubious results, , Eugenio Moggi
(0) TACS'97 Call for Participation, Shinichi Kawamoto
(0) PROCOMET '98 Call for papers, Rance Cleaveland
(0) No Subject, Christopher Colby
(0) No Subject, Christopher Colby
(0) Lectureships at the University of Kent, , sjt
(0) Java is not type-safe, Vijay Saraswat
(0) logical relations and soundness of type , Hans Huttel
(0) Re: logical relations and soundness of t, Andrew Kennedy
(0) TTP-Kyoto program, Jacques GARRIGUE
(0) [Second CFP] FLOPS'98: Functional and Lo, kameyama
(0) Domain-Specific Languages Conference, Chris Ramming
(0) workshop in Durham - last info and progr, Sergei.Soloviev
(0) Paper: Global/local subtyping for a dis, Peter Sewell
(0) REMINDER: IFIP Working Conference PROCOM, Rance Cleaveland
(0) Call for paper - FOOL 5, Didier Remy
(0) Call for papers - ETAPS'98, Don Sannella
(0) Thesis: Syntax Definition for Language P, Eelco Visser
(0) ** Call for Papers ** A new e-journal *, Lawrence C Paulson
(0) Last Call for Papers: NWPT'97, Marko Kaaramees
(0) New graduate programme: Foundations of C, Martin Odersky
(0) A formal spec of JVM instructions, Zhenyu Qian
(0) JICSLP'98 -- First CFP, Kung-Kiu Lau
(0) 1,x,+-term equality, Neil Ghani
(0) ICCL'98 Call For Papers, Christopher Colby
(0) Workshop on Internet Programming Languag, Christopher Colby
(0) ICALP '98: Call for Papers and Workshops, Uffe Henrik Engberg
(0) CfP Concur98, Robert Desimone
(0) FSTTCS 17 Call for Participation (ASCII), Madhavan Mukund
(0) Research Post at QMW, Peter O'Hearn
(0) Announcing the Proof Assistant Yarrow, Jan Zwanenburg
(0) PhD Stipend Available in CS, Clemens Cap
(0) CALLING ALL RESEARCH STUDENTS INTERESTED, Jon Mountjoy
(0) Position Available, ian a. mason
(0) call for papers: Types in Compilation '9, Xavier Leroy
(0) 2nd cfp MPC'98: Mathematics of Program C, Johan Jeuring
(0) vacant position, Teodor Knapik
(0) Research Position at Stanford, John C. Mitchell
(0) Research Positions at BRICS Research Cen, Uffe Henrik Engberg
(0) second call for papers and tutorials Tab, H. de Swart
(0) Re: about current state of the art of LL, Vladimir Alexiev
(0) Re: about current state of the art of LL, Patrick Lincoln
(0) Research Position in Computational Logic, Thom Fruehwirth
(0) Paper announcement: types and concurrenc, Gerard Boudol
(0) Re: about current state of the art of LL, Patrick Lincoln
(0) call for papers, Nevin Heintze
(0) Preliminary CFP: ICFP '98, Jon Mountjoy
(0) Post Doc Position in Computing at Chalme, Bengt Nordstr|m
(0) Call for Participation: ASIAN'97, Roland Yap Hock Chuan
(0) Logic Colloquium '98 Call for papers, Logic Colloquium '98
(0) [Job Announcement] Research Programmer P, Shriram Krishnamurthi
(0) WESTAPP'98: call for papers, Roberto Di Cosmo
(0) New book announcement: Barwise and Selig, Kirsten Watrud
(0) Two positions of Visiting Professors and, Jose Manuel E. Valenca
(0) Whither "intuitionistic"?, Frank Christoph
(0) Re: Whither "intuitionistic"?, Jose Manuel E. Valenca
(0) Re: Whither "intuitionistic"?, Jonathan P. Seldin
(0) Re: Whither "intuitionistic"?, P. Scott
(0) Re: Whence "intuitionistic"?, Jamie Andrews
(0) Whither "intuitionistic"?, Rainer Fischbach
(0) Formal Methods Day at Royal Holloway, Simon Gay
(0) Brower's contribution to Mathematics an , Jose Manuel E. Valenca
(0) JICSLP'98 -- Second CFP, Kung-Kiu Lau
(0) Whither "intuitionistic"?, Jim Caldwell
(0) work on Java bytecode verification, ma
(0) Vacancy at SICS, Mads Dam
(0) LL Workshop in Utrecht, Workshop Problems Advances in the Semantics of Linear Logic
(0) CfP: ESSLLI-98 Workshop on Logical Abstr, Eike Ritter
(0) Workshop on-line proceedings, Zhaohui Luo
(0) Paper on co-inductive Types, Roberto Amadio
(0) Workshop on-line proceedings -- correcti, Zhaohui Luo
(0) BRICS Int. PhD School: Call for Admissio, Uffe Henrik Engberg
(0) Two papers on "local type inference", Benjamin Pierce
(0) Paper on bounded quantification with a B, Benjamin Pierce
(0) LICS'98: 2nd Call for Papers (text & LaT, Leonid Libkin
(0) Need recommendation for "Logic for CS" t, Josh Hodas
(0) Three papers: correct URLs, Benjamin Pierce
(0) the meaning of "type", "type system", "c, Dr. Joe Wells
(0) Call for Participation: ASIAN'97, Roland Yap Hock Chuan
(0) ITALLC98: Final Call for Papers..., Patrick Blackburn
(0) last cfp MPC'98: Mathematics of Program , Johan Jeuring
(0) PhD Studentship, Barney Hilken
(0) cfp: Workshop on generic programming, WG, Johan Jeuring
(0) POPL '98 Call for Participation, Dave MacQueen
(0) Post-Doctoral Research Position at Glasg, fairouz
(0) Workshop on Explicit Substitutions: Fina, fairouz
(0) A formal spec of JVM instructions, Zhenyu Qian
(0) announcement, Bart Jacobs
(0) Announcement: PSSL'66, Neil Ghani
(0) CONCUR'98: 2nd cfp, Davide.Sangiorgi
(0) Meeting on Linear Logic and Typed Lambda, Thomas EHRHARD
(0) UITP 1998 1st CFP, Martijn Oostdijk
(0) PhD position at INRIA-Rocquencourt, Michel Mauny
(0) junior visitor in Padua, Giovanni Sambin
(0) CADE-15: Final Call for Workshops and Tu, cade-15
(0) CADE-15: Final Call for Papers, cade-15
(0) CfP: Workshop & Tutorial on Categorical , Christoph.Lueth
(0) ICALP '98: Call for Papers, Uffe Henrik Engberg
(0) ICALP '98: Announcement of Sattellite Ev, Uffe Henrik Engberg
(0) RTA 98 - CALL for PARTICIPATION, Tobias.Nipkow
(0) Call for papers SAS'98 and PLILP/ALP'98 , Giorgio Levi
(0) Call for papers SAS'98 and PLILP/ALP'98 , Giorgio Levi
(0) FLOPS'98 Call for Participation, kameyama
(0) 2nd cfp: Workshop on Generic Programming, Johan Jeuring
(0) ICFP'98 Call for Papers, Jon Mountjoy
(0) MFPS 14, First Announcement, Conference for edmundr and ohearn
(0) FMCS 98 Announcement & Registration, Jeff Lewis
(0) Paper on constraint-based polymorphic ty, Vassily Litvinov
(0) Research position at Sussex, Matthew Hennessy
(0) Int. Workshop COCL'98 - first call for p, P M Hill
(0) Report available, Alan Jeffrey
(0) Master Class in Mathematical Logic, Jaap van Oosten
(0) First Announcement, 4th Workshop on Domains
(0) PhD Studentships, rlc3
(0) PSSL'66 Registration, Neil Ghani
(0) 5th WoLLIC'98 - 2nd Call, Ruy de Queiroz
(0) CfP: ESSLLI-98 Workshop on Logical Abstr, Eike Ritter
(0) CFP: WS Security and Mobility (MOS'98), Jan.Vitek
(0) Paper on the Java Virtual Machine is ava, Allen Goldberg
(0) Announcing UMA Forum, Pablo Lopez Olivas
(0) Announcement of PhD Positions in Computi, Mary Sheeran
(0) Generic Programming Workshop: Final Call, Roland Backhouse
(0) Implementations of type inference algori, Howard Huang
(0) CALL FOR WORKSHOPS: ICFP'98, Jon Mountjoy
(0) Research Associate Position on Java at I, Sophia Drossopoulou
(0) New technical report: Type Destructors, Benjamin Pierce
(0) On the meaning of logical rules II, Jean-Yves GIRARD
(0) workshop Types in Compilation - call for, Xavier Leroy
(0) Decidability of Higher-Order Subtyping v, Adriana Compagnoni
(0) parametric polymorphism and operational , Andrew Pitts
(0) paper on Java Binary Compatibility, Sophia Drossopoulou
(0) WESTAPP 98 -- International Workshop on , fairouz
(0) PhD Studentship at Edinburgh, Alex Simpson
(0) [CFP] High-Level Concurrent Languages - , Uwe Nestmann
(1) Book Announcement, Tobias.Nipkow

(0) Book Announcement, Christian Prehofer

(0) Lectureship at Glasgow, Simon L Peyton Jones
(0) new paper: A Relevant Analysis of Natura, Samin Ishtiaq
(0) CONCUR98: final CFP (EXTENDED deadline), Davide.Sangiorgi
(0) Please advertise programme and reminder , fairouz
(0) Master Class in Logic - Reminder, Jaap van Oosten
(0) Final CFP: LICS Workshop on Formal Metho, Nevin Heintze
(0) Course on Program Analysis, Flemming Nielson
(0) PSSL'66, Neil Ghani
(0) Postdoctoral Researcher and Ph.D. Schola, Martin Odersky
(0) SAS and PLILP/ALP 98, 2nd CFP, Maurizio Gabbrielli
(0) Second Call For CP98 Post-Conference Wor, Stefano Bistarelli
(0) 5th WoLLIC'98 - 3rd Call, Ruy de Queiroz
(0) Call for participation: MPC'98, johanj
(0) ICCL'98 Call For Participation, Christopher Colby
(0) TR announcement: Resource Access Control, James Riely
(0) ICALP '98: List of Accepted Papers, Uffe Henrik Engberg
(0) CSL-98 Call For Papers, Computer Science Logic
(0) FSTTCS 98, 1st Call for Papers, 18th FST Fsttcs98 TCS Conf 1998 at IMSc
(0) Call for participation: Unif 98, Antonio Bucciarelli
(0) Postdoctoral Research Associate, Frank Pfenning
(0) RealComp'98 - First Announcement RealCo, Philipp Sunderhauf
(0) PhD studentship, Zhaohui Luo
(0) IPL Call For Participation, Christopher Colby
(0) Position of Invited Professor/Permanent , Jose Manuel E. Valenca
(0) DIKU International Summer School '98, Jesper Jrgensen
(0) Re: news, BRYCE Ciaran
(0) FMCS '98: Call for Participation, Jeff Lewis
(0) CFP - International Conference on Functi, Jon Mountjoy
(0) postdoc position at INRIA Sophia Antipol, Isabelle Attali
(0) Domains and Lambda Calculi (book announc, Roberto Amadio
(0) AMAST'98 first CFP, Marcelo Frias
(0) No Subject, Didier Galmiche
(0) Deadline Extension to the ECOOP98 Worksh, Leila Ismail
(0) Call for Posters: ICFP'98 Poster Session, Alex Garthwaite
(0) TLCA99 -- call for papers, Jean-Yves GIRARD
(0) CFP for Workshop on Principles on Abstra, Stephan Diehl
(0) WoLLIC'98 - Deadline Extension, Ruy de Queiroz
(0) Pict 4.1 release, Benjamin Pierce
(0) CompulogNet Meeting on Computational Log, John Lloyd
(0) LICS'98: ADVANCE PROGRAM AND CALL FOR PA, Leonid Libkin
(0) Workshop on categories in computer scien, Bob Rosebrugh
(0) ECOOP'98 IN BRUSSELS, JULY 20-24, 1998, ECOOP'98 Organization
(0) ICCL Call For Participation (one week un, Christopher Colby
(0) IPL Call For Participation (one week unt, Christopher Colby
(0) CADE-15 Workshop on Integrating Forward , James Harland
(0) SAS'98 extended deadline, Giorgio Levi
(0) New ICCL/IPL hotel reservation deadline , Konstantin Laufer
(0) ESSLLI-99, Heinrich Wansing
(0) Visiting Assistant Professor Position, Dave Schmidt
(0) [final CFP] High-Level Concurrent Langua, Uwe Nestmann
(0) PROCOMET '98, Rance Cleaveland
(0) paper on game semantics for untyped lamb, Pietro Di Gianantonio
(0) PSSL 67, Jaap van Oosten
(0) [CfC] Semantics of Objects as Processes , Uwe Nestmann
(0) FSTTCS 98, 18th FST Fsttcs98 TCS Conf 1998 at IMSc
(0) Announcement for workshop "Proof Theory , Ulrich Kohlenbach
(0) ICCL Call For Participation, Christopher Colby
(0) IPL Call For Participation, Christopher Colby
(0) CFP: ASIAN98, Atsushi Ohori
(0) Paper: A Finite Axiomatization of Induct, Peter Dybjer
(0) book announcement, Crabb'e Marcel
(0) Paper on cut and explicit substitutions, Rene Vestergaard
(0) Paper announcement: Simple Efficient Obj, Karl Crary
(0) Final CFP: CALCULEMUS AND TYPES 98, Calculemus and Types 98
(0) Game semantics as continuation passing, Paul Levy
(0) CFP: Workshop on Principles of Abstract , Stephan Diehl
(0) MPC'98, johanj
(0) Research position in programming languag, Harry Mairson
(0) LICS'98: ADVANCE PROGRAM AND CALL FOR PA, Leonid Libkin
(0) CATS'99 + DMTCS'99 call for papers, Paul Bonnington
(0) Second Call for Papers, 4th Workshop on Domains
(0) Typing processes in process calculi?, Karthik
(0) ML Workshop -- Call for Papers, Gregory Morrisett
(0) FSTTCS 98, Deadline Extended, Final Call, 18th FST Fsttcs98 TCS Conf 1998 at IMSc
(0) A european research network, Laurent REGNIER
(0) PROCOMET'98 registration extended, Rance Cleaveland
(0) Call for Posters: ICFP'98 Poster Session, Alex Garthwaite
(0) ICALP'98: Call for Participation, Uffe Henrik Engberg
(0) POPL99 Call for Papers, Alex Aiken
(0) RealComp'98: CFP and preliminary program, Philipp Suenderhauf
(0) Reminders: FLoC'99 call for workshops an, Leonid Libkin
(0) paper on language translations and secur, ma
(0) FYI: typing processes., Karthik
(0) the FISh language, Barry Jay
(0) No Subject, esik
(0) CFP: Instructional Meeting on Semantics , Rajagopal Nagarajan
(0) LICS'98 and workshops: early registratio, Leonid Libkin
(0) Call for Participation: Workshop on Form, Nevin Heintze
(0) Partial Evaluation - Practice and Theory, Jens Peter Secher
(0) postdoc positions at Chalmers, David Sands
(0) ICALP'98: 2nd Call for Participation, Uffe Henrik Engberg
(0) CADE-15 Tutorial: Gentzen-Type Methods i, cade-15
(0) Semantics of Objects as Processes - SOAP, Uwe Nestmann
(0) FM'99: World Congress on Formal Methods, Dines Bjorner
(0) Calculemus and Types 98: Call for Partic, Calculemus and Types 98
(0) LICS'98 satellite workshop on games, Vincent Danos
(0) new technical research report, Matthew Hennessy
(0) 2nd CFP: ASIAN98, Atsushi Ohori
(0) TACAS '99 Call for papers, Rance Cleaveland
(0) paper on Java binary compatibility, Sophia Drossopoulou
(0) CONCUR'98: PROGRAMME and CALL for PARTI, Davide Sangiorgi
(0) Formal Underpinnings of Java, Susan Eisenbach
(0) ESSLLI-99, Final Call for Proposals, Heinrich Wansing
(0) GJ - A Generic Java Extension, Martin Odersky
(0) fmoods '99 cfp, Mario Bravetti
(0) No Subject, Kaisa Sere IB
(0) PEPM'99 CFP, Olivier Danvy
(0) WD4: Extended Deadline, 4th Workshop on Domains
(0) Course on Program Analysis: call-for-par, Hanne Riis Nielson
(0) FOOL 6, Call for Papers, Luca Cardelli
(0) Call for Posters: ICFP'98 Poster Session, Alex Garthwaite
(0) Subject reduction fails in Java, Benjamin Pierce
(0) Typing in Java, Christian Horn
(0) Re: Subject reduction fails in Java, Zhaohui Luo
(0) Re: Subject reduction fails in Java, Philip Wadler
(0) Re: Subject reduction fails in Java, Kim Bruce
(0) Re: subject reduction fails in Java -- h, Sophia Drossopoulou
(0) Subject reduction fails in Java - Part 2, Benjamin Pierce
(0) Re: Typing in Java, Vijay Saraswat
(0) Re: subject reduction fails in Java -- h, Robert O'Callahan
(0) Re: Subject reduction fails in Java, Vijay Saraswat
(0) Re: subject reduction fails in Java, Matt Timmermans
(0) Re: Subject reduction fails in Java - Pa, Kim Bruce
(0) Re: subject reduction fails in Java -- h, Anthony Dekker
(0) Re: Subject Reduction in Java -- withou, Sophia Drossopoulou
(0) Re: Subject reduction fails in Java - Pa, Gary T. Leavens
(0) Re: Subject reduction fails in Java -- c, Gang CHEN
(0) Re: Subject Reduction in Java -- withou, Drew Dean
(0) Re: Subject reduction fails in Java, Matthias Felleisen
(0) Re: Subject reduction fails in Java, Donald Syme
(0) Subtyping with if, Gang CHEN
(0) CADE-15: Call for Attendance, cade-15
(1) Re: Subject reduction fails in Java, Carl Gunter

(0) Re: Subject reduction fails in Java, Matthias Felleisen

(0) RE: Subject reduction fails in Java - Pa, Robert Harper
(0) Re: Subject Reduction in Java -- without, Sophia Drossopoulou
(0) Structural subtyping, Robert O'Callahan
(0) abstraction with subtyping & Overloading, Kim Bruce
(0) Re: Type names vs type structure, Andrew Kennedy
(0) [ANN] HLCL'98 - Accepted Papers, Uwe Nestmann
(0) Paper on beta-eta-complete model of syst, Stefano Berardi
(0) Re: Subject reduction fails in Java, David von Oheimb
(0) Overloading considered harmful - answers, Kim Bruce
(0) Re: Subtyping with if, Gang CHEN
(0) WoLLIC'98 - Programme and CfP, Ruy de Queiroz
(0) RE: Type names vs type structure, Robert Harper
(0) Re: Type names vs type structure, Philip Wadler
(0) Re: Type names vs type structure, Mark A. Sheldon
(0) Variant typing and recursive types, Jacques Garrigue
(0) Re: Type names vs type structure, Tobias.Nipkow
(0) Lectureship in Theoretical Computer Scie, Matthew Hennessy
(0) AFP 2nd Call, Luis Soares Barbosa
(0) Re: Type names vs type structure, Martin Odersky
(0) New book: Higher Order Operational Techn, Andy Gordon
(0) A non-typable if-expression, Gang CHEN
(0) Final CFP: CP98 workshop on set constrai, Stefano Bistarelli
(0) Re: forwarded message from Benjamin Pier, Guy Steele - Sun Microsystems Labs
(0) BANE release, Alex Aiken
(0) Re: Type names vs type structure, Didier Remy
(0) Announcement, Jan Rutten
(0) A PhD thesis on type inference with subt, Francois Pottier
(0) Kanellakis Award, Moshe Vardi
(0) SAS and PLILP/ALP 98 Call for Participat, Maurizio Gabbrielli
(0) Re: Subject reduction fails in Java, David von Oheimb
(0) Java Workshop, Susan Eisenbach
(0) ICFP'98 Functional Programming Contest, Jon Mountjoy