🚀 go-pugleaf

Re: Extensional functions in SML?
By: Robert Stabl on Thu, 20 Sep 1990 03:49

Extensional functions in SML?
By: Dennis Heimbigner on Tue, 18 Sep 1990 18:04

A preliminary review of J
By: news on Thu, 20 Sep 1990 10:55

Re: Why not multiple out parameters? [again]
By: news on Wed, 12 Sep 1990 00:40

CFP - ACM Symposium on Partial Evaluation PEPM 91
By: Olivier Danvy on Mon, 10 Sep 1990 13:25

Re: shuffling a list
By: Nigel Perry on Fri, 07 Sep 1990 08:32

Re: pattern abstraction
By: David Gudeman on Thu, 06 Sep 1990 05:56

Re: pattern abstraction
By: Charles Lindsey on Wed, 05 Sep 1990 10:07

pattern abstraction
By: Stephen Adams on Fri, 31 Aug 1990 10:06

Re: "Four Lectures in Standard ML" source?
By: Dave Berry on Wed, 29 Aug 1990 11:22

"Four Lectures in Standard ML" source?
By: Kurt Olender on Mon, 27 Aug 1990 22:34

Re: LML 0.99
By: Lennart Augustsson on Sat, 25 Aug 1990 12:55

LML 0.99 (&hbc) patches
By: Lennart Augustsson on Thu, 23 Aug 1990 22:25

North America ftp site for lml-0.99
By: Jim Mattson on Thu, 23 Aug 1990 18:49

Re: LML 0.99
By: Lee McLoughlin on Wed, 22 Aug 1990 22:44

New FTP site for LML 0.99
By: Lennart Augustsson on Tue, 21 Aug 1990 13:09

Re: What is strong typing? (Was: I like strong typing)
By: David Shepherd on Tue, 21 Aug 1990 11:34

Re: Question on rec. program schemes
By: Ralf Treinen on Tue, 21 Aug 1990 08:58

Re: LML 0.99
By: Richard A. O'Keefe on Tue, 21 Aug 1990 07:04

LML 0.99
By: Lennart Augustsson on Mon, 20 Aug 1990 23:11

Re: Question on rec. program schemes
By: Bj|rn Lisper on Mon, 20 Aug 1990 08:34

Type theory and real-time systems (any pointers?)
By: Frank Pohl on Sun, 19 Aug 1990 01:11

Re: What is strong typing? (Was: I like strong typing)
By: Markku Sakkinen on Wed, 08 Aug 1990 06:34

Re: functional vs. procedural languages
By: Richard Pattis on Fri, 17 Aug 1990 15:59

Re: functional vs. procedural languages
By: Alan Grant Finlay on Fri, 17 Aug 1990 12:01

Re: functional vs. procedural languages
By: Peter Sestoft on Fri, 17 Aug 1990 08:07

functional vs. procedural languages
By: Mark Allsop (8597) on Thu, 16 Aug 1990 06:16

Re: Why type checking is done at compile time
By: Vance Morrison on Mon, 13 Aug 1990 14:20

Re: Why type checking is done at compile time
By: David Gudeman on Sat, 11 Aug 1990 21:59

Wanted: Compiler to supercombinators & functional benchmarks
By: Jim Mattson on Sat, 11 Aug 1990 19:47

Re: Why type checking is done at compile time
By: Dave Berry on Sat, 11 Aug 1990 15:34

Miranda and SISAL
By: Steve Chappelow on Sat, 11 Aug 1990 02:58

Re: What is strong typing? (Was: I like strong typing)
By: Jonas Wallgren on Fri, 10 Aug 1990 01:41

RESEARCH POSITIONS AVAILABLE
By: Mike Beckerle on Thu, 09 Aug 1990 18:02

Re: What is strong typing? (Was: I like strong typing)
By: Brendan Mahony on Thu, 09 Aug 1990 01:19

Re: Can laziness sometimes be too lazy?
By: Tom Thomsom on Wed, 08 Aug 1990 14:35

Types & Proofs
By: George Nelan on Tue, 07 Aug 1990 15:41

Summary: abstract interpretation refs.
By: John Goodwin on Fri, 03 Aug 1990 16:34

Data Dependent "Type" information. (Was: What is strong typing?)
By: Daniel Weise on Mon, 06 Aug 1990 20:19

Re: System F
By: Mark Leone on Mon, 06 Aug 1990 15:00

Re: What is strong typing? (Was: I like strong typing)
By: David N Turner on Mon, 06 Aug 1990 10:22

Re: What is strong typing? (Was: I like strong typing)
By: Tom Thomson on Mon, 06 Aug 1990 02:00

Re: What is strong typing? (Was: I like strong typing)
By: Tom Thomson on Mon, 06 Aug 1990 01:16

Re: What is strong typing? (Was: I like strong typing)
By: Tom Thomson on Mon, 06 Aug 1990 00:42

Re: Why type checking is done at compile time
By: David Gudeman on Sun, 05 Aug 1990 22:13

Re: BOTTOM !== NONTERMINATION
By: Frank Silbermann on Sun, 05 Aug 1990 02:43

Re: What is strong typing? (Was: I like strong typing)
By: Brendan Mahony on Sat, 04 Aug 1990 05:23

Re: System F
By: Al Reich on Fri, 03 Aug 1990 17:42

Why type checking is done at compile time
By: morrison on Fri, 03 Aug 1990 14:43

Re: What is strong typing? (Was: I like strong typing)
By: Friendless on Wed, 01 Aug 1990 07:59

Re: What is strong typing? (Was: I like strong typing)
By: David N Turner on Wed, 01 Aug 1990 10:58

Re: What is strong typing? (Was: I like strong typing)
By: Nick Rothwell on Wed, 01 Aug 1990 10:55

Re: What is strong typing? (Was: I like strong typing)
By: Tom Thomson on Tue, 31 Jul 1990 16:27

Re: System F
By: Dipankar Gupta on Tue, 31 Jul 1990 03:13

Re: Can laziness sometimes be too lazy?
By: Dave Harrison on Mon, 30 Jul 1990 19:33

Looking for ML src for "4 Lectures in Standard ML"
By: Mark Carroll <MC> on Tue, 31 Jul 1990 00:34

Re: System F
By: Philip Wadler on Mon, 30 Jul 1990 12:18

Re: What is strong typing? (Was: I like strong typing)
By: Friendless on Mon, 30 Jul 1990 04:56

Re: System F
By: Frank Silbermann on Sun, 29 Jul 1990 03:21

Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Sat, 28 Jul 1990 23:53

Re: Can laziness sometimes be too lazy?
By: Wolfgang Grieskamp on Sat, 28 Jul 1990 18:05

Re: BOTTOM !== NONTERMINATION
By: Joe Keane on Fri, 27 Jul 1990 21:31

Re: Can laziness sometimes be too lazy?
By: Joe Keane on Fri, 27 Jul 1990 21:11

System F
By: Richard A. O'Keefe on Sat, 28 Jul 1990 10:19

What is strong typing? (Was: I like strong typing)
By: Wolfgang Grieskamp on Fri, 27 Jul 1990 23:58

Debugging laziness (Was: Can laziness sometimes be too lazy?)
By: Wolfgang Grieskamp on Fri, 27 Jul 1990 23:20

Re: BOTTOM !== NONTERMINATION
By: Frank Silbermann on Fri, 27 Jul 1990 18:50

Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Fri, 27 Jul 1990 17:59

Re: BOTTOM !== NONTERMINATION
By: Frank Silbermann on Fri, 27 Jul 1990 15:25

Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Fri, 27 Jul 1990 05:21

Re: BOTTOM !== NONTERMINATION
By: Frank Silbermann on Thu, 26 Jul 1990 20:08

Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Thu, 26 Jul 1990 19:25

I like strong typing
By: Friendless on Thu, 26 Jul 1990 05:03

BOTTOM !== NONTERMINATION
By: Frank Silbermann on Thu, 26 Jul 1990 16:36

Re: Can laziness sometimes be too lazy?
By: J. Michael Ashley on Thu, 26 Jul 1990 16:09

Re: Can laziness sometimes be too lazy?
By: Joe Keane on Wed, 25 Jul 1990 19:19

Re: Can laziness sometimes be too lazy?
By: Ramarao Kanneganti on Thu, 26 Jul 1990 15:55

Re: Can laziness sometimes be too lazy?
By: Wolfgang Grieskamp on Thu, 26 Jul 1990 13:22

Re: help request on edml installation
By: Lars Bo Nielsen on Thu, 26 Jul 1990 08:15

Re: side effects in FL's (was "Can laziness sometimes be too lazy?")
By: J. Michael Ashley on Wed, 25 Jul 1990 16:50

Re: side effects in FL's (was "Can laziness sometimes be too lazy?")
By: Nick Rothwell on Wed, 25 Jul 1990 09:36

Re: help request on edml installation
By: Nick Rothwell on Wed, 25 Jul 1990 09:29

Re: Can laziness sometimes be too lazy?
By: Joe Keane on Tue, 24 Jul 1990 22:48

The Semantics of Error (was: Can laziness sometimes be too lazy?)
By: David Gudeman on Wed, 25 Jul 1990 18:03

Re: Can laziness sometimes be too lazy?
By: Frank Silbermann on Wed, 25 Jul 1990 12:24

Re: Can laziness sometimes be too lazy?
By: Frank Silbermann on Wed, 25 Jul 1990 12:02

Re: Can laziness sometimes be too lazy?
By: Mike McGaughey on Tue, 24 Jul 1990 17:25

Re: side effects in FL's (was "Can laziness sometimes be too lazy?")
By: Bruce Duba on Tue, 24 Jul 1990 19:12

Re: side effects in FL's (was "Can laziness sometimes be too lazy?")
By: Robert Harper on Tue, 24 Jul 1990 17:43

side effects in FL's (was "Can laziness sometimes be too lazy?")
By: J. Michael Ashley on Tue, 24 Jul 1990 15:19

Re: Can laziness sometimes be too lazy?
By: Joe Keane on Mon, 23 Jul 1990 22:48

help request on edml installation
By: Grass on Tue, 24 Jul 1990 11:49

Re: Can laziness sometimes be too lazy?
By: Tom Thomson on Mon, 23 Jul 1990 02:08

Re: Can laziness sometimes be too lazy?
By: Frank Silbermann on Mon, 23 Jul 1990 17:34

Re: Id array comprehensions revisited
By: Wolfgang Grieskamp on Sat, 21 Jul 1990 07:33

Re: Can laziness sometimes be too lazy?
By: Wolfgang Grieskamp on Sat, 21 Jul 1990 03:33

Re: Can laziness sometimes be too lazy?
By: Tom Blenko on Fri, 20 Jul 1990 05:53

Can laziness sometimes be too lazy?
By: Mike McGaughey on Fri, 20 Jul 1990 01:16

Re: GC triggering and stack limit checking by MMU hardware
By: Allen Leung on Fri, 20 Jul 1990 01:03

Re: Id array comprehensions revisited
By: Joe Keane on Thu, 19 Jul 1990 08:19

Re: Id array comprehensions revisited
By: Frank Silbermann on Thu, 19 Jul 1990 12:12

Re: Impact of FPL's on OS design?
By: Kevin Hammond on Wed, 18 Jul 1990 17:43

Re: Id array comprehensions revisited
By: Tom Thomson on Wed, 18 Jul 1990 19:30

re: Id array comprehensions revisited
By: J. Michael Ashley on Wed, 18 Jul 1990 21:56

Re: Impact of FPL's on OS design?
By: Chris Dollin on Wed, 18 Jul 1990 07:11

re: Id array comprehensions revisited
By: J. Michael Ashley on Tue, 17 Jul 1990 16:28

Re: Impact of FPL's on OS design?
By: Tom Thomson on Mon, 16 Jul 1990 11:15

Re: Id array comprehensions revisited
By: Wolfgang Grieskamp on Tue, 17 Jul 1990 23:06

Re: Id array comprehensions revisited
By: Wolfgang Grieskamp on Tue, 17 Jul 1990 16:36

Re: Id array comprehensions revisited
By: Wolfgang Grieskamp on Tue, 17 Jul 1990 11:52

Re: PD SML?
By: Nick Rothwell on Mon, 16 Jul 1990 15:39

Re: Appl. Lang. on transputer systems (Summary)
By: Nick Rothwell on Mon, 16 Jul 1990 15:40

Re: PD SML?
By: Nick Rothwell on Mon, 16 Jul 1990 15:37

Id array comprehensions revisited
By: J. Michael Ashley on Tue, 17 Jul 1990 00:49

Availability of OL/Orwell
By: Ian Moor on Mon, 16 Jul 1990 19:27

More compilers wanted
By: Paul Sanders on Mon, 16 Jul 1990 10:22

Hope+ / Caliban availability? (was Re: Appl. Lang. on transputer ...)
By: John W. Baugh Jr. on Mon, 16 Jul 1990 19:15

Request for Code
By: Mark Carroll <MC> on Mon, 16 Jul 1990 02:44

Re: Impact of FPL's on OS design?
By: KATO Kazuhiko on Sat, 14 Jul 1990 05:26

Appl. Lang. on transputer systems (Summary)
By: Wolfgang Grieskamp on Wed, 11 Jul 1990 13:20

Re: PD SML?
By: Joe Pallas on Fri, 13 Jul 1990 18:06

Re: PD SML?
By: Dave Berry on Fri, 13 Jul 1990 15:32

Re: PD SML?
By: Geoffrey Wyant on Fri, 13 Jul 1990 12:08

Re: PD SML?
By: Chet Murthy on Fri, 13 Jul 1990 13:05

Re: PD SML?
By: Alan Grant Finlay on Wed, 11 Jul 1990 15:23

Mutual recursion elimination
By: Ronen Feldman on Thu, 12 Jul 1990 22:32

FLs on PCs (again)
By: Paul Sanders on Wed, 11 Jul 1990 14:15

Re: Impact of FPL's on OS design?
By: Chet Murthy on Wed, 11 Jul 1990 14:25