🚀 go-pugleaf

Re: Pointers
By: Stephen J Bevan on Fri, 13 Nov 1992 09:43

Re: languages which allow the introduction of new operators
By: Stephen J Bevan on Fri, 13 Nov 1992 09:32

Re: Pointers
By: Stephen J Bevan on Fri, 13 Nov 1992 09:23

Re: Accessing the hardware directly (Was: Pointers)
By: Tony Wen Hsun Lai on Mon, 16 Nov 1992 03:09

Re: Accessing the hardware directly (Was: Pointers)
By: Herman Rubin on Mon, 16 Nov 1992 01:40

Re: Pointers
By: Wayne Throop on Mon, 16 Nov 1992 00:15

Re: languages which allow the introduction of new operators
By: Wayne Throop on Mon, 16 Nov 1992 00:15

Re: Accessing the hardware directly (Was: Pointers)
By: Tony Wen Hsun Lai on Mon, 16 Nov 1992 00:54

Re: Pointers
By: Mark C. Carroll on Sun, 15 Nov 1992 19:57

Re: Accessing the hardware directly (Was: Pointers)
By: Herman Rubin on Sun, 15 Nov 1992 15:25

Re: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Chris Dollin on Mon, 13 May 1991 10:15

Re: Re: Algol68 (and standards diatribe)
By: Chris Dollin on Mon, 13 May 1991 15:51

Proving correctness of programs in functional languages
By: Dave Gillett on Mon, 13 May 1991 19:19

Mea culpa (was: Re: Re: Algol68 (and standards diatribe))
By: Dr A. N. Walker on Mon, 13 May 1991 16:52

Re: The Halting Problem is _not_ solvable on real com
By: Dr A. N. Walker on Mon, 13 May 1991 17:19

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Douglas E. Quale on Mon, 13 May 1991 05:51

Re: Run-time Type Errors in Smalltalk
By: Douglas E. Quale on Mon, 13 May 1991 06:15

Re: Halting Problem Solved! Film at 11! (Was Re:
By: David Gottner on Mon, 13 May 1991 04:13

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Stephen P Spackman on Mon, 13 May 1991 07:47

Re: Run-time Type Errors in Smalltalk
By: Alan Kent on Mon, 13 May 1991 07:49

Re: Run-time Type Errors in Smalltalk
By: Norman Diamond on Mon, 13 May 1991 08:21

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Anton Rang on Sat, 11 May 1991 23:29

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Anton Rang on Sat, 11 May 1991 23:32

That proof does _not_ apply to FSMs
By: David Gudeman on Sat, 11 May 1991 22:04

Re: The Halting Problem is _not_ solvable on real com
By: Raul Rockwell on Sat, 11 May 1991 01:52

Re: The Halting Problem is _not_ solvable on real com
By: David A. Truesdell on Fri, 10 May 1991 22:58

Re: The Halting Problem is _not_ solvable on real com
By: Kenneth Walker on Fri, 10 May 1991 22:56

Re: The Halting Problem is _not_ solvable on real com
By: Rahul Dhesi on Fri, 10 May 1991 19:18

Re: Re: Algol68 (and standards diatribe)
By: Dr A. N. Walker on Fri, 10 May 1991 16:28

Re: The Halting Problem is _not_ solvable on real com
By: Dr A. N. Walker on Fri, 10 May 1991 15:54

Re: Halting Problem Solved! Film at 11!
By: Chris Torek on Fri, 10 May 1991 14:33

Re: Halting Problem Solved! Film at 11!
By: Raul Rockwell on Fri, 10 May 1991 13:41

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Joseph Allen on Fri, 10 May 1991 06:28

Re: Halting Problem Solved! Film at 11! (Was Re:
By: Stephen P Spackman on Fri, 10 May 1991 08:04

Re: Halting Problem Solved! Film at 11! (Was Re:
By: Stephen P Spackman on Fri, 10 May 1991 07:13

Re: Re: Algol68 (and standards diatribe)
By: Steve Knight on Fri, 03 May 1991 10:54

Re: Halting Problem Solved! Film at 11! (Was Re:
By: David Gottner on Thu, 09 May 1991 20:54

Re: The Halting Problem is _not_ solvable on real com
By: David Gudeman on Thu, 09 May 1991 19:32

Re: Halting Problem Solved! Film at 11! (Was Re:
By: David Gudeman on Thu, 09 May 1991 19:15

Re: The Halting Problem is _not_ solvable on real com
By: Darren New on Thu, 09 May 1991 18:53

Re: The Halting Problem is _not_ solvable on real com
By: David Epstein on Thu, 09 May 1991 12:25

The Halting Problem is _not_ solvable on real com
By: David Gudeman on Thu, 09 May 1991 06:53

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Stephen P Spackman on Thu, 09 May 1991 08:34

Re: Halting Problem Solved! Film at 11! (Was Re:
By: Stephen P Spackman on Thu, 09 May 1991 08:22

Re: Run-time Type Errors in Smalltalk
By: Raul Rockwell on Thu, 09 May 1991 05:43

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David A. Truesdell on Thu, 09 May 1991 03:03

Re: Proving correctness of programs in functional languages
By: Raul Rockwell on Tue, 14 May 1991 04:42

Re: Run-time Type Errors in Smalltalk
By: Norman Diamond on Thu, 09 May 1991 02:33

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Wed, 08 May 1991 23:54

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Wed, 08 May 1991 23:01

Re: Halting Problem Solved! Film at 11! (Was Re:
By: David Gudeman on Wed, 08 May 1991 17:56

References on LOTOS language
By: Ing. Hugo Terashima Marin on Wed, 08 May 1991 16:12

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Wed, 08 May 1991 15:14

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Wed, 08 May 1991 14:50

Re: Typing (was Machine Language Typing)
By: adam on Wed, 08 May 1991 02:37

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Stephen P Spackman on Wed, 08 May 1991 02:57

US based copy of:TXL 5.2, a Rapid Prototyping Tool for Computer Languag
By: Mike Newton on Tue, 07 May 1991 12:02

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David Gudeman on Tue, 07 May 1991 19:16

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: CNEWS MUST DIE! on Tue, 07 May 1991 12:57

Re: Software "Engineers"
By: mathew on Fri, 03 May 1991 13:27

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Tue, 07 May 1991 12:58

Re: Software "Engineers"
By: Eoin Woods on Fri, 03 May 1991 07:45

TXL 5.2, a Rapid Prototyping Tool for Computer Languages
By: Jim Cordy on Tue, 07 May 1991 08:20

Re: About the variable 'I' (was Re: long names (was Readability of Ada))
By: Norman Diamond on Tue, 07 May 1991 05:29

Re: New Book Announcement: Performanetics
By: Rick Gorton on Mon, 06 May 1991 20:39

Re: About the variable 'I' (was Re: long names (was Readability of Ada))
By: Argun Tekant on Mon, 06 May 1991 20:58

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David Gudeman on Mon, 06 May 1991 19:07

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Amr Sabry on Mon, 06 May 1991 16:26

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David A. Truesdell on Mon, 06 May 1991 06:10

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Joe English on Mon, 06 May 1991 08:01

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Stephen P Spackman on Mon, 06 May 1991 05:56

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David A. Truesdell on Mon, 06 May 1991 01:57

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Jim Lewis on Mon, 06 May 1991 02:17

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David A. Truesdell on Sun, 05 May 1991 21:01

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David A. Truesdell on Sun, 05 May 1991 20:18

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Sun, 05 May 1991 22:33

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Douglas E. Quale on Sun, 05 May 1991 13:53

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Douglas E. Quale on Sun, 05 May 1991 13:47

New Book Announcement: The Art of Computer Systems Performance Analysis
By: Raj Jain, DEC, 550 King st, Litt... on Sun, 05 May 1991 14:26

ECOOP Workshop on Object Oriented Exception Handling
By: Jan Purchase on Sun, 05 May 1991 01:57

Typing (was Machine Language Typing)
By: Chris Torek on Sun, 05 May 1991 01:25

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Jim Lewis on Sat, 04 May 1991 22:49

fake mail
By: cheukki on Sat, 04 May 1991 22:10

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Joe English on Sat, 04 May 1991 20:56

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: Mike Beede on Sat, 04 May 1991 19:24

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Sat, 04 May 1991 14:55

Re: Re: Algol68 (and standards diatribe)
By: Chris Dollin on Thu, 02 May 1991 07:55

Re^2: Who or What is Scheme?
By: Ken Dickey on Fri, 03 May 1991 17:42

Niklaus Wirth's EULER
By: Michael Sanford on Sat, 04 May 1991 07:08

Re: About the variable 'I' (was Re: long names (was Readability of Ada))
By: Raul Rockwell on Tue, 07 May 1991 13:28

Re: A Hard Problem for Static Type Systems
By: Drew Dean on Sat, 04 May 1991 00:51

Re: SETL
By: William Ricker on Fri, 03 May 1991 22:27

Re: Machine Language Typing (Was Re: A Hard Problem for Static Type Systems)
By: Stephen P Spackman on Fri, 03 May 1991 23:25

Re: Machine Language Typing (Was Re: A Hard Problem for Static Type Systems)
By: Herman Rubin on Fri, 03 May 1991 22:16

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: David A. Truesdell on Fri, 03 May 1991 20:05

Re: A Hard Problem for Static Type Systems
By: Rob Strom on Fri, 03 May 1991 15:46

Machine Language Typing (Was Re: A Hard Problem for Static Type Systems)
By: Steve Olson on Fri, 03 May 1991 12:40

Re: Dynamic typing (part 3)
By: Steve Olson on Fri, 03 May 1991 11:58

Re: Algol68 (and standards diatribe)
By: Mark Friedman on Fri, 03 May 1991 15:03

Re: definitions
By: victor yodaiken on Fri, 03 May 1991 10:44

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
By: victor yodaiken on Fri, 03 May 1991 10:48

Re: Dynamic typing (part 3)
By: Raul Rockwell on Fri, 03 May 1991 12:05

Re: Formal definitions and other fantasies
By: Stephen P Spackman on Fri, 03 May 1991 10:31

Re: A Hard Problem for Static Type Systems
By: Stephen P Spackman on Fri, 03 May 1991 11:12

Re: Re: Algol68 (and standards diatribe)
By: Steve Knight on Wed, 01 May 1991 10:16

Re: Dynamic typing (part 3)
By: Sold to the highest Buddha on Thu, 02 May 1991 22:16

Re: A Hard Problem for Static Type Systems
By: Steve Olson on Thu, 02 May 1991 14:57

Re: Run-time Type Errors in Smalltalk
By: Raul Rockwell on Fri, 03 May 1991 03:28

Re: definitions
By: mathew on Thu, 02 May 1991 13:55

Re: Dynamic typing (part 3)
By: David Gudeman on Thu, 02 May 1991 18:47

Re: Software "Engineers"
By: TGREENIN on Thu, 02 May 1991 13:19

Re: Dynamic typing (part 3)
By: Stephen P Spackman on Thu, 02 May 1991 09:01

Re: Software "Engineers"
By: Charles Williams on Wed, 01 May 1991 19:32

Re: SETL
By: W. Kirk Snyder on Thu, 02 May 1991 03:18

Re: definitions
By: victor yodaiken on Mon, 29 Apr 1991 20:21

Re: About the variable 'I' (was Re: long names (was Readability of Ada))
By: sabbagh on Wed, 01 May 1991 14:55

Re: Type Systems and Dynamic Binding
By: Eliot Miranda on Wed, 01 May 1991 13:06

Re: Type Systems and Dynamic Binding
By: Douglas E. Quale on Wed, 01 May 1991 12:03

Re: definitions
By: Steve Olson on Wed, 01 May 1991 04:21

SETL
By: Robert Wahbe on Wed, 01 May 1991 04:35

Re: Software "Engineers"
By: Joseph Allen on Wed, 01 May 1991 01:49

Re: Type Systems and Dynamic Binding
By: mathew on Tue, 30 Apr 1991 15:37

Halting Problem Solved! Film at 11! (Was Re: definitions)
By: mathew on Tue, 30 Apr 1991 15:21

Re: Software "Engineers"
By: mathew on Tue, 30 Apr 1991 14:39

Re: Software "Engineers"
By: R.Meunier 8516 on Tue, 30 Apr 1991 12:05

Re: Dynamic typing (part 3)
By: Wolfgang Grieskamp on Tue, 30 Apr 1991 02:52

Re: Who or What is Scheme?
By: Richard L. Goerwitz on Tue, 30 Apr 1991 02:51

Dynamic typing, part 4 (was Re: definitions)
By: Raul Rockwell on Tue, 30 Apr 1991 02:26