1999-August Archives by Subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sat Jul 31 23:46:32 1999
Ending: Sun Aug 29 11:39:02 1999
Messages: 54

• "Job" Opportunities Tril
• "Job" Opportunities Alaric Williams
• [shapj@us.ibm.com: ] Francois-Rene Rideau
• An Arrow Logic Introduction from the research community Brian Rice
• Arrows in steps Brian Rice
• FW: paradoxes and intuitionist logic btanksley@hifn.com
• FW: paradoxes and intuitionist logic iepos@tunes.org
• FW: paradoxes and intuitionist logic Francois-Rene Rideau
• FW: paradoxes and intuitionist logic iepos@tunes.org
• FW: paradoxes and intuitionist logic Francois-Rene Rideau
• FW: paradoxes and intuitionist logic iepos@tunes.org
• FW: paradoxes and intuitionist logic btanksley@hifn.com
• Interesting article Pat Wendorf
• Maude: a tower-reflective meta-language Paul Dufresne
• microkernels Francois-Rene Rideau
• microkernels shapj@us.ibm.com
• microkernels Francois-Rene Rideau
• microkernels Laurent Martelli
• Non-linear continuations considered harmful fare@tunes.org
• Non-linear continuations considered harmful I+fare+WANT@tunes.NO.org.SPAM
• Non-linear continuations considered harmful Eric W. Biederman
• Non-linear continuations considered harmful Francois-Rene Rideau
• paradoxes and intuitionist logic iepos@tunes.org
• paradoxes and intuitionist logic Ken Evitt
• paradoxes and intuitionist logic iepos@tunes.org
• paradoxes and intuitionist logic Tom Novelli
• paradoxes and intuitionist logic btanksley@hifn.com
• paradoxes and intuitionist logic Francois-Rene Rideau
• Runtime invariance (was: Re: What is a kernel?) Jason Marshall
• Runtime invariance (was: Re: What is a kernel?) Francois-Rene Rideau
• Runtime invariance (was: Re: What is a kernel?) Thomas M. Farrelly
• SLK: The Safe Language (No-)Kernel Project Massimo Dentico
• so-called Turing-Equivalence Francois-Rene Rideau
• so-called Turing-Equivalence I+fare+WANT@tunes.NO.org.SPAM
• so-called Turing-Equivalence I+fare+WANT@tunes.NO.org.SPAM
• so-called Turing-Equivalence Alan Grimes
• Tunes core existed in 1991 Paul Dufresne
• Tunes core existed in 1991 Pete Gonzalez
• Tunes core existed in 1991 Pete Gonzalez
• Tunes core existed in 1991 Paul Dufresne
• Tunes core existed in 1991 Alexis Read
• Tunes OS review update Emmanuel Marty
• Tunes OS review update Tom Novelli
• Tunes OS review update Jecel Assumpcao Jr
• Tunes OS review update Emmanuel Marty
• Volunteers for a coordination group Tril
• Wanted: Maintainer for the subprojects page Tril
• Wegner OOPSLA'95, " [...] formal correctness proofs have a limited role as evidence for the correctness of interactive systems." Massimo Dentico
• Wegner OOPSLA'95, Interection vs Turing Machines (was: so-called Turing-Equivalence) Massimo Dentico
• What is a kernel? Thomas M. Farrelly
• What is a kernel? Francois-Rene Rideau
• What is a kernel? Thomas M. Farrelly
• What is an aspect ? Laurent Martelli
• What is an aspect ? Jason Marshall

Last message date: Sun Aug 29 11:39:02 1999
Archived on: Mon Nov 6 19:59:41 2000

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...