🚀 go-pugleaf

CAML-Light
By: Tom Affinito on Mon, 10 Jun 1991 06:42

lamba calc
By: Sugih Jamin on Sun, 09 Jun 1991 21:42

Final Algebra Specifications of Data Types
By: Ramesh Subrahmanyam on Sat, 08 Jun 1991 21:22

Re: TIM and SECD
By: Torben [gidius Mogensen on Tue, 04 Jun 1991 12:32

Re: Reverse diffs [was Re: functional programming formulation of graph algorithms]
By: Wolfgang Grieskamp on Sun, 02 Jun 1991 11:57

Re: Landin Ping
By: Ted Dunning on Fri, 31 May 1991 21:20

Re: Reverse diffs
By: Thomas M. Breuel on Fri, 31 May 1991 20:13

Re: Landin Ping
By: Arshad Mahmood on Fri, 31 May 1991 09:02

Re: Reverse diffs
By: Richard Kennaway on Fri, 31 May 1991 13:45

1991 IEEE Symp on Parallel and Distributed Processing
By: Behrooz Shirazi on Fri, 08 Mar 1991 22:19

Landin Ping
By: Tom Affinito on Thu, 30 May 1991 23:55

TIM and SECD
By: Tom Affinito on Thu, 30 May 1991 23:50

Re: Reverse diffs [was Re: functional programming formulation of graph algorithms]
By: Thomas M. Breuel on Thu, 30 May 1991 04:07

Re: functional programming formulation of graph algorithms
By: Uday S. Reddy on Thu, 30 May 1991 01:12

Reverse diffs [was Re: functional programming formulation of graph algorithms]
By: John W. Baugh Jr. on Wed, 29 May 1991 22:29

Re: functional programming formulation of graph algorithms
By: Thomas M. Breuel on Wed, 29 May 1991 21:46

Re: functional programming formulation of graph algorithms
By: Uday S. Reddy on Wed, 29 May 1991 01:51

functional programming formulation of graph algorithms
By: Dr Gerd Venzl on Mon, 27 May 1991 13:02

PLILP 91 Call for Participation and Program
By: Andreas Mueck on Mon, 27 May 1991 09:28

Release of CAML Light (ML for the rest of us)
By: Xavier Leroy on Thu, 23 May 1991 18:38

Algebraic Spec. meets Functional Prog. How? (request)
By: Wolfgang Grieskamp on Sat, 25 May 1991 18:37

Re: Random Number Generating Algorithm/script
By: Ted Dunning on Fri, 24 May 1991 16:22

2nd Conf. on Software Engineering and A.I.
By: Hassan Ait-Kaci on Fri, 24 May 1991 15:49

SML optimisations / parallelism
By: Mark Allsop on Fri, 24 May 1991 10:41

Re: Random number generator/script
By: Ted Dunning on Thu, 23 May 1991 19:06

Re: Virtual machines refs.
By: Paul Wilson on Thu, 23 May 1991 18:50

Virtual machines refs.
By: Joaquin Salvachua on Thu, 23 May 1991 16:03

Re: Random number generator/script
By: Dave Westland on Thu, 23 May 1991 12:46

Re: Random Number Generating Algorithm/script
By: USENET News System on Thu, 23 May 1991 00:56

Looking for C-Hope
By: Oscar Nierstrasz on Wed, 22 May 1991 13:25

FPCA 91 Advance Program
By: Robert Muller on Wed, 22 May 1991 11:59

Random Number Generating Algorithm/script
By: Dave Westland on Mon, 20 May 1991 15:14

FPL's and Graphical User Interfaces
By: S.Clayman on Mon, 20 May 1991 12:35

Re: FPL's and Graphical User Interfaces
By: Srdjan Mitrovic on Sat, 18 May 1991 10:40

Re: FPL's and Graphical User Interfaces
By: Daniel McCabe on Sat, 18 May 1991 04:23

JFLA 92 (Appel aux communications)
By: D.A.Turner on Fri, 17 May 1991 09:53

Re: FPL's and Graphical User Interfaces
By: Ken Dickey on Thu, 16 May 1991 19:54

Re: Help needed with behaviour of SML (its interactive system)
By: Nico Verwer on Thu, 16 May 1991 13:03

FPL's and Graphical User Interfaces
By: Carol T Tumey on Thu, 16 May 1991 00:06

Availability of SML?
By: Carol T Tumey on Thu, 16 May 1991 00:02

Re: Help needed with behaviour of SML (its interactive system)
By: Thomas M. Breuel on Tue, 14 May 1991 08:20

fuzzy logic types and databases ? (was "active value...")
By: Craig Hubley on Thu, 16 May 1991 05:10

Re : for monad lovers only
By: Luc Duponcheel on Fri, 18 Dec 1992 09:30

Postdoc vacancy for multi-rate / protocol IC-design verification
By: T. Kostelijk 43897 on Fri, 18 Dec 1992 15:10

Re: Values escaping their type definition
By: Stefan Kahrs on Fri, 18 Dec 1992 14:18

Re: Values escaping their type definition
By: Jon Hanson on Fri, 18 Dec 1992 04:32

Re: Values escaping their type definition
By: Eric A. Anderson on Thu, 17 Dec 1992 20:45

Compiling transparent closures
By: Robin Popplestone on Thu, 17 Dec 1992 19:20

Re: Values escaping their type definition
By: Andrew Koenig on Thu, 17 Dec 1992 15:28

Values escaping their type definition
By: Vance Morrison on Wed, 16 Dec 1992 22:31

Orwell?
By: Gary Osborne on Wed, 16 Dec 1992 16:38

Re: for monad lovers only
By: Mark P. Jones on Wed, 16 Dec 1992 15:33

Re: What is a monad?
By: Mark P. Jones on Wed, 16 Dec 1992 15:03

Re: Q: garbage collection in Miranda
By: Peter Sestoft (EMP) on Wed, 16 Dec 1992 07:32

Re: The OBJ language
By: La Monte Yarroll on Wed, 16 Dec 1992 01:34

Re: Spaghetti Stacks (reference)
By: R.S. Nikhil on Tue, 15 Dec 1992 17:43

Re: Spaghetti Stacks (reference)
By: Kenneth Dickey on Tue, 15 Dec 1992 18:07

Re: The OBJ language
By: Bill Kinnersley on Tue, 15 Dec 1992 17:56

What is a monad?
By: William Chesters on Tue, 15 Dec 1992 17:33

Re: Spaghetti Stacks (reference)
By: Ozan Yigit on Tue, 15 Dec 1992 17:12

Re: Run-Time Code Generation ?
By: Torben AEgidius Mogensen on Tue, 15 Dec 1992 15:24

Spaghetti Stacks (reference)
By: Amr Sabry on Tue, 15 Dec 1992 15:32

Re: Is Miranda the one?
By: Antoni Diller on Tue, 15 Dec 1992 13:59

Re: The OBJ language
By: John Farrell on Tue, 15 Dec 1992 01:40

for monad lovers only
By: Luc Duponcheel on Mon, 14 Dec 1992 15:00

Q: garbage collection in Miranda
By: Heiko Doerr on Mon, 14 Dec 1992 18:45

Run-Time Code Generation ?
By: Jan Roland Olsson on Mon, 14 Dec 1992 15:27

The OBJ language
By: Richard McConnell on Mon, 14 Dec 1992 09:31

Re: breadth-first traversal in a functional language
By: lloyd allison on Mon, 14 Dec 1992 00:32

Re: breadth-first relabelling in a functional language
By: Geraint Jones on Sun, 13 Dec 1992 14:01

Re: combinator names
By: Andrew Moran on Sat, 12 Dec 1992 13:11

Re: Is Miranda the one?
By: Andrew Koenig on Thu, 10 Dec 1992 14:10

Glasgow Haskell, version 0.10, now available
By: simonpj on Fri, 11 Dec 1992 21:29

PolyML
By: Mike Fourman on Fri, 11 Dec 1992 18:16

Re: Is Miranda the one?
By: aspect on Fri, 11 Dec 1992 17:11

Re: Completely functional program in C
By: Fergus James HENDERSON on Fri, 25 Dec 1992 18:02

Completely functional program in C
By: Mike Goodrich on Wed, 23 Dec 1992 21:07

Higher recursion
By: Clemens Cap on Tue, 22 Dec 1992 15:37

Where can I find pc-/mac- versions of miranda ?
By: Nirad Sharma on Tue, 22 Dec 1992 08:14

Inquiery about work on skeletons - SUMMARY
By: Mario Suedholt on Mon, 21 Dec 1992 09:27

Invitation to visit the fp group at Chalmers
By: Thomas Johnsson on Mon, 23 Nov 1992 09:17

looking for Standard ML of New Jersey
By: David Wolfe on Fri, 20 Nov 1992 01:29

Pure FP's Place in the History of Programming Languages
By: John Shepherd on Fri, 20 Nov 1992 00:46

Gofer-Sources wanted - allright
By: Felix Schroeter on Thu, 19 Nov 1992 13:42

Illinois Functional Programming
By: David Wolfe on Wed, 18 Nov 1992 22:06

Matrix operations in Haskell
By: Sam Waugh on Thu, 19 Nov 1992 04:35

Re: Including files from ml-lex and -yacc
By: Urban Engberg on Wed, 18 Nov 1992 09:50

Re: Including files from ml-lex and -yacc
By: Patrick Miller on Tue, 17 Nov 1992 16:57

Standanrd ML of NJ on SGI IRIX 4.0.1
By: Asgeir Eiriksson on Tue, 17 Nov 1992 15:44

Re: The end of space leaks as we know them
By: Brent Benson on Tue, 17 Nov 1992 14:53

CONTRAINDICATIONS
By: Marc Rehmsmeier on Tue, 17 Nov 1992 14:29

Gofer-Sources wanted
By: Felix Schroeter on Tue, 17 Nov 1992 09:52

Re: Is efficient backtracking feasible in functional languages?
By: Lennart Augustsson on Tue, 17 Nov 1992 04:20

The end of space leaks as we know them
By: John Farrell on Tue, 17 Nov 1992 04:04

Re: Is efficient backtracking feasible in functional languages?
By: Wolfgang Grieskamp on Mon, 16 Nov 1992 23:02

Re: Including files from ml-lex and -yacc
By: Andrew Koenig on Mon, 16 Nov 1992 18:01

Re: Is efficient backtracking feasible in functional languages?
By: Julian Seward (DRL PhD) on Fri, 13 Nov 1992 09:54

Re: Including files from ml-lex and -yacc
By: John Farrell on Mon, 16 Nov 1992 06:33

Re: ml questions
By: Andrew Koenig on Mon, 16 Nov 1992 05:59

Re: Is efficient backtracking feasible in functional languages?
By: Thomas M. Breuel on Sun, 15 Nov 1992 19:53

ml questions
By: Steve Sullivan on Sun, 15 Nov 1992 15:55

Re: Re: Help needed with behaviour of SML (its interactive system)
By: Chris Dollin on Fri, 10 May 1991 08:29

Re: ML-like type-checker for Scheme subset?
By: Frank Silbermann on Mon, 13 May 1991 19:00

Re: Help needed with behaviour of SML
By: Lal George on Thu, 09 May 1991 08:17

where's a good functional language?
By: bert on Fri, 10 May 1991 09:17

Re: Help needed with behaviour of SML
By: Thomas M. Breuel on Wed, 08 May 1991 18:32

Re: Help needed with behaviour of SML
By: Dave Berry on Wed, 08 May 1991 12:44

Re: Help needed with behaviour of SML
By: Thomas M. Breuel on Wed, 08 May 1991 02:33

Re: Help needed with behaviour of SML
By: Robert J. McArthur on Wed, 08 May 1991 00:30

Re: Help needed with behaviour of SML
By: Dave Berry on Mon, 06 May 1991 16:06

Re: Help needed with behaviour of SML
By: Nico Verwer on Mon, 06 May 1991 14:16

Re: Help needed with behaviour of SML (its interactive system)
By: Thomas M. Breuel on Mon, 06 May 1991 01:54

Re: Help needed with behaviour of SML (its interactive system)
By: Wolfgang Grieskamp on Sat, 04 May 1991 21:36

ML's wierdness in interactive script. (sorry if you see this twice)
By: Shail Aditya Gupta on Sat, 04 May 1991 07:05

Re: Help needed with behaviour of SML
By: Raul Rockwell on Sat, 04 May 1991 17:48

Re: Help needed with behaviour of SML
By: Chris Dollin on Thu, 02 May 1991 07:48

reference for FLIC and CLEAN
By: Mark Ramaer on Fri, 03 May 1991 15:26

Miranda scan function
By: D.A.Turner on Thu, 02 May 1991 18:49

Re: Help needed with behaviour of SML
By: Steve Knight on Tue, 30 Apr 1991 11:02

ML on PC
By: Olof Johansson on Tue, 30 Apr 1991 10:40

Re: Help needed with behaviour of SML
By: Markus Freericks on Sat, 27 Apr 1991 11:00

Fully lazy Hope for Unix, Macs and PCs available for ftp
By: Andrew Moran on Sun, 28 Apr 1991 23:36

The Language List, Version 1.1
By: Bill Kinnersley on Sun, 28 Apr 1991 19:37

Summer Courses?
By: Silvia Takahashi on Sat, 27 Apr 1991 21:20

Re: Help needed with behaviour of SML
By: Bennet Vance on Sat, 27 Apr 1991 04:28

Re: Help needed with behaviour of SML
By: Thomas M. Breuel on Sat, 27 Apr 1991 02:27

Help needed with behaviour of SML
By: Surendar Chandra on Fri, 26 Apr 1991 20:16

Re: thunk's
By: Dipankar Gupta on Fri, 26 Apr 1991 11:59