🚀 go-pugleaf

Conjunction-Type systems
By: Ghosh-Roy R on Tue, 22 Jan 1991 10:39

Re: Type Inference in ML (LML, actually)
By: Mark Ramaer on Mon, 21 Jan 1991 12:06

Re: Type Inference in ML (LML, actually)
By: Doug Moen on Sat, 19 Jan 1991 13:57

Re: Type Inference in ML (LML, actually)
By: Kevin Hammond on Thu, 17 Jan 1991 13:59

Re: "off-side rule"
By: Richard Harter on Sat, 19 Jan 1991 09:41

Re: Type Assignment
By: Lars Henrik Mathiesen on Sat, 19 Jan 1991 06:10

Re: Type Inference in ML (LML, actually)
By: Brian Boutel on Wed, 16 Jan 1991 22:59

Type Assignment
By: Friendless on Fri, 18 Jan 1991 04:14

"off-side rule"
By: Anurag Acharya on Thu, 17 Jan 1991 17:03

Re: Type Assignment
By: Mike McGaughey on Fri, 18 Jan 1991 15:38

Re: Type Inference in ML (LML, actually)
By: K. Fritz Ruehr on Fri, 18 Jan 1991 18:39

Re: "off-side rule"
By: Scott Draves on Fri, 18 Jan 1991 12:48

recursive =?=> iterative ?
By: Glenn Jennings on Thu, 17 Jan 1991 16:16

Re: Partial Evaluation References Sought
By: John Launchbury on Thu, 17 Jan 1991 10:49

Simulating mutable lists in Miranda
By: Anatol ORLOVSKY on Thu, 17 Jan 1991 22:09

Re: Type Inference in ML (LML, actually)
By: Mike McGaughey on Wed, 16 Jan 1991 19:21

Re: Type Inference in ML (LML, actually)
By: Friendless on Thu, 17 Jan 1991 06:53

Re: "Off-side rule"
By: Lars Henrik Mathiesen on Wed, 16 Jan 1991 15:43

Partial Evaluation References Sought
By: Paul Sanders on Tue, 15 Jan 1991 15:24

Re: Partial Evaluation References Sought
By: Peter Sestoft on Wed, 16 Jan 1991 11:29

Various Subjects
By: Simon E Spero on Tue, 15 Jan 1991 17:12

Re: "Off-side rule"
By: Kevin Hammond on Mon, 14 Jan 1991 19:48

Off-side rule and Haskell
By: John C. Peterson on Tue, 15 Jan 1991 02:34

Miranda (TM) and Haskell
By: John C. Peterson on Mon, 14 Jan 1991 20:32

Twentel - my copy got destroyed.
By: Friendless on Mon, 14 Jan 1991 04:39

Re: "Off-side rule"
By: Friendless on Mon, 14 Jan 1991 04:35

Re: "Off-side rule"
By: Richard Harter on Sun, 13 Jan 1991 10:50

"Off-side rule"
By: Anurag Acharya on Fri, 11 Jan 1991 20:14

Re: Miranda FTP sites
By: Bill Kinnersley on Thu, 10 Jan 1991 16:02

Re: Miranda FTP sites
By: Peter Sestoft on Fri, 11 Jan 1991 10:00

Re: Matrix manipulation programs
By: Simon Hughes on Thu, 10 Jan 1991 16:21

Re: Miranda FTP sites
By: Torben [gidius Mogensen on Thu, 10 Jan 1991 11:15

Miranda FTP sites
By: Jason W. Pritchard on Wed, 09 Jan 1991 16:43

Re: Is there WEB for SML? (Incl. description of WEB)
By: Lars Bo Nielsen on Fri, 04 Jan 1991 15:14

Is there WEB for SML?
By: Kurt Olender on Wed, 02 Jan 1991 16:52

Re: are there functional language benchmarks?
By: Alwyn Goodloe on Mon, 31 Dec 1990 16:59

are there functional language benchmarks?
By: Thorsten von Eicken on Fri, 28 Dec 1990 02:14

functional language available.
By: Peter Wentworth on Wed, 26 Dec 1990 14:24

Re: Define "Declarative" (was: A question on Semantics)
By: Frank Silbermann on Fri, 21 Dec 1990 20:13

Re: Intermediate Codes for Functional Languages
By: Frank Silbermann on Fri, 21 Dec 1990 19:53

Re: Define "Declarative" (was: A question on Semantics)
By: S. Mantha (co-op) on Thu, 20 Dec 1990 20:37

Re: Intermediate Codes for Functional Languages
By: Ramarao Kanneganti on Thu, 20 Dec 1990 21:55

Re: Intermediate Codes for Functional Languages
By: Frank Silbermann on Thu, 20 Dec 1990 20:59

Re: Intermediate Codes for Functional Languages
By: Ramarao Kanneganti on Thu, 20 Dec 1990 19:00

New chair in computer science
By: Lennart Augustsson on Thu, 20 Dec 1990 16:04

Re: Define "Declarative" (was: A question on Semantics)
By: Frank Silbermann on Wed, 19 Dec 1990 19:49

Re: Intermediate Codes for Functional Languages
By: Frank Silbermann on Wed, 19 Dec 1990 16:32

A question on Semantics
By: S. Mantha (Visiting Scientist) on Tue, 18 Dec 1990 19:08

Re: Intermediate Codes for Functional Languages
By: Ramarao Kanneganti on Tue, 18 Dec 1990 17:42

Re: Intermediate Codes for Functional Languages
By: John Launchbury on Tue, 18 Dec 1990 10:33

A question on Semantics
By: S. Mantha (Visiting Scientist) on Tue, 18 Dec 1990 19:15

Re: Intermediate Codes for Functional Languages
By: Frank Silbermann on Tue, 18 Dec 1990 16:49

Re: Intermediate Codes for Functional Languages
By: Ramarao Kanneganti on Mon, 17 Dec 1990 17:56

Re: Intermediate Codes for Functional Languages
By: Sanjiva Prasad on Mon, 17 Dec 1990 18:45

Lazy constructors(Was: Re: Intermediate Codes for Functional Languages)
By: Wolfgang Grieskamp on Mon, 17 Dec 1990 01:08

Re: Intermediate Codes for Functional Languages
By: Frank Silbermann on Sun, 16 Dec 1990 16:28

Re: Intermediate Codes for Functional Languages
By: John Kewley ICL on Fri, 14 Dec 1990 17:29

Re: Any free/cheap functional language implementation for the Mac?
By: Piercarlo Grandi on Fri, 14 Dec 1990 17:43

Any free/cheap functional language implementation for the Mac?
By: Piercarlo Grandi on Thu, 13 Dec 1990 18:28

Re: Intermediate Codes for Functional Languages
By: Kevin Hammond on Mon, 10 Dec 1990 11:31

Re: Intermediate Codes for Functional Languages
By: Kevin Hammond on Thu, 06 Dec 1990 20:34

Re: Implementing Error Values
By: Pablo A. Straub on Fri, 07 Dec 1990 15:57

Re: A question about types in ML
By: Sanjiva Prasad on Fri, 07 Dec 1990 15:43

Re: A question about types in ML
By: Charles Lindsey on Fri, 07 Dec 1990 15:44

Re: A question about types in ML
By: Thomas Hallgren on Fri, 07 Dec 1990 23:41

Re: Implementing Error Values
By: Douglas Surber on Thu, 06 Dec 1990 20:56

Re: Why functional languages?
By: Richard Brooksby on Fri, 16 Oct 1992 18:46

Looking for recent paper on SML/Software Eng. Topic
By: Abrams J on Fri, 16 Oct 1992 18:24

Re: Resource control (was: Re: Why curry?)
By: David West on Thu, 15 Oct 1992 18:02

Re: I want sml/NJ on IBM RS/6000.
By: Lal George on Thu, 15 Oct 1992 15:55

Computer Algebra in ML
By: Jerry D. Hedden on Thu, 15 Oct 1992 13:58

"Salaried studentship" in Concurrent FP available
By: USENET News System on Thu, 15 Oct 1992 04:46

Re: Resource control (was: Re: Why curry?)
By: Thomas M. Breuel on Wed, 14 Oct 1992 23:59

Re: Resource control (was: Re: Why curry?)
By: Karl-Filip Faxen on Tue, 13 Oct 1992 10:57

Re: Resource control (was: Re: Why curry?)
By: Thomas M. Breuel on Tue, 13 Oct 1992 01:05

Need Miranda compiler
By: Daniel Brown on Mon, 12 Oct 1992 18:49

Logic Programming as an Introductory Programming Paradigm
By: Gopal Gupta on Mon, 12 Oct 1992 16:09

Re: Resource control (was: Re: Why curry?)
By: Karl-Filip Faxen on Mon, 12 Oct 1992 15:00

Machine readable text of Bird & Wadler??
By: Joe Armstrong on Mon, 12 Oct 1992 09:30

Re: Resource control (was: Re: Why curry?)
By: Thomas M. Breuel on Sat, 10 Oct 1992 21:35

Re: Why curry? (Re: Why functional languages?)
By: Glenn Bruns on Fri, 09 Oct 1992 11:31

Resource control (was: Re: Why curry?)
By: Karl-Filip Faxen on Fri, 09 Oct 1992 11:42

References sought on debugging functional programs
By: Kevin Esler on Thu, 08 Oct 1992 21:43

Re: Why curry? (Re: Why functional languages?)
By: Mark Bromley on Thu, 08 Oct 1992 14:03

Re: Why curry? (Re: Why functional languages?)
By: Karl-Filip Faxen on Thu, 08 Oct 1992 12:42

Re: Why curry? (Re: Why functional languages?)
By: Karl-Filip Faxen on Thu, 08 Oct 1992 10:02

Re: SML Pretty-printing
By: Stephen Adams on Thu, 08 Oct 1992 08:05

Re: SML Pretty-printing
By: Thomas M. Breuel on Wed, 07 Oct 1992 22:31

Re: Why curry? (Re: Why functional languages?)
By: Thomas M. Breuel on Wed, 07 Oct 1992 22:18

Re: Why functional languages?
By: Rainer Joswig on Wed, 07 Oct 1992 13:42

Re: SML Pretty-printing
By: Karl-Filip Faxen on Wed, 07 Oct 1992 11:23

Re: Why curry? (Re: Why functional languages?)
By: Markus Freericks on Wed, 07 Oct 1992 09:56

Re: SML Pretty-printing
By: Andrew Koenig on Tue, 06 Oct 1992 22:15

Re: SML Pretty-printing
By: Bennet Vance on Tue, 06 Oct 1992 22:13

Re: SML Pretty-printing
By: Andrew Wright on Tue, 06 Oct 1992 19:44

Re: SML Pretty-printing
By: Brian Boutel on Tue, 06 Oct 1992 20:49

Re: SML Pretty-printing
By: George Beshers on Tue, 06 Oct 1992 19:21

SML Pretty-printing
By: Jon Freeman on Tue, 06 Oct 1992 16:20

Re: Why curry? (Re: Why functional languages?)
By: Karl-Filip Faxen on Tue, 06 Oct 1992 14:17

Plotkin Lectures ???
By: Dirk Dussart on Tue, 06 Oct 1992 14:23

Re: Why functional languages?
By: Joe Armstrong on Tue, 06 Oct 1992 08:23

Re: Why curry? (Re: Why functional languages?)
By: Nick Haines on Mon, 05 Oct 1992 21:09

Re: Linear types (was Re: Unique types etc.)
By: S.A. Courtenage on Mon, 05 Oct 1992 09:00

Re: Unique types etc.
By: "D. Hugh Redelmeier" on Tue, 06 Oct 1992 04:57

Re: Why functional languages?
By: Stephen J Bevan on Mon, 05 Oct 1992 23:43

Re: Why functional languages?
By: Ted Dunning on Tue, 06 Oct 1992 00:14

Re: Why curry? (Re: Why functional languages?)
By: david carlton on Tue, 06 Oct 1992 00:17

Re: More's array theory
By: Bj|rn Lisper on Mon, 05 Oct 1992 17:00

Re: Why curry? (Re: Why functional languages?)
By: david carlton on Mon, 05 Oct 1992 18:08

Re: Why curry? (Re: Why functional languages?)
By: Thomas M. Breuel on Mon, 05 Oct 1992 20:00

Re: 3rd order functions
By: Mark Ramaer on Mon, 05 Oct 1992 10:13

Linear types (was Re: Unique types etc.)
By: Jeremy Gibbons on Mon, 05 Oct 1992 01:10

Re: Why functional languages?
By: Andrew Koenig on Mon, 05 Oct 1992 02:52

let/where syntax war
By: John Farrell on Sun, 04 Oct 1992 23:38

Re: Why functional languages?
By: John Farrell on Sun, 04 Oct 1992 23:27

Re: Why curry? (Re: Why functional languages?)
By: Andrew Koenig on Sun, 04 Oct 1992 20:13

Why curry? (Re: Why functional languages?)
By: Thomas M. Breuel on Sun, 04 Oct 1992 22:18

Re: The speed of various functional languages
By: Thomas M. Breuel on Sun, 04 Oct 1992 22:09

MFCS '93 call for papers
By: Kei Davis on Sun, 04 Oct 1992 14:59

Re: Performance of Yale Haskell using various Lisps
By: Eliot Miranda;W211 on Sun, 04 Oct 1992 16:54

The speed of various functional languages
By: Jon Freeman on Sat, 03 Oct 1992 18:48

Re: Unique types etc.
By: Leon Pillich on Sat, 03 Oct 1992 17:24

stupid syntax wars (was Re: Why functional languages?)
By: Stephen J Bevan on Fri, 02 Oct 1992 19:13

Re: Why functional languages?
By: Thomas M. Breuel on Sat, 03 Oct 1992 03:11

Re: concrete vs abstract syntax or syntax trees
By: Thomas M. Breuel on Fri, 02 Oct 1992 23:36

Re: Why functional languages?
By: Nick Haines on Fri, 02 Oct 1992 18:42

Re: Unique types etc.
By: Fergus James HENDERSON on Fri, 02 Oct 1992 18:41

Performance of Yale Haskell using various Lisps
By: John C. Peterson on Fri, 02 Oct 1992 13:39