Page 8 of 9 • 427 total threads
Discussion Threads in comp.lang.functional
427 threads • Page 8 of 9| Thread Subject | Last Message |
|---|---|
|
Orwell
By: Quentin Miller on Wed, 17 Oct 1990 11:38 |
36 Years 1 Month ago
0 replies |
|
Summary: Non-academic use of functional languages
By: Evan Ireland on Sat, 06 Oct 1990 03:47 |
36 Years 1 Month ago
0 replies |
|
Extensional functions in SML?
By: Dennis Heimbigner on Tue, 18 Sep 1990 18:04 |
36 Years 1 Month ago
2 replies |
|
Error message in SML of New Jersey
By: Leo M. Alleman on Mon, 01 Oct 1990 19:29 |
36 Years 1 Month ago
0 replies |
|
Non-academic use of functional languages
By: Evan Ireland on Wed, 26 Sep 1990 22:02 |
36 Years 1 Month ago
0 replies |
|
Looking for functional programming language
By: manny juan on Sun, 23 Sep 1990 06:24 |
36 Years 1 Month ago
0 replies |
|
A preliminary review of J
By: news on Thu, 20 Sep 1990 10:55 |
36 Years 1 Month ago
2 replies |
|
CFP - ACM Symposium on Partial Evaluation PEPM 91
By: Olivier Danvy on Mon, 10 Sep 1990 13:25 |
36 Years 2 Months ago
0 replies |
|
Re: shuffling a list
By: Nigel Perry on Fri, 07 Sep 1990 08:32 |
36 Years 2 Months ago
0 replies |
|
Re: pattern abstraction
By: David Gudeman on Thu, 06 Sep 1990 05:56 |
36 Years 2 Months ago
0 replies |
|
pattern abstraction
By: Stephen Adams on Fri, 31 Aug 1990 10:06 |
36 Years 2 Months ago
1 replies |
|
"Four Lectures in Standard ML" source?
By: Kurt Olender on Mon, 27 Aug 1990 22:34 |
36 Years 2 Months ago
1 replies |
|
LML 0.99
By: Lennart Augustsson on Mon, 20 Aug 1990 23:11 |
36 Years 2 Months ago
3 replies |
|
LML 0.99 (&hbc) patches
By: Lennart Augustsson on Thu, 23 Aug 1990 22:25 |
36 Years 2 Months ago
0 replies |
|
North America ftp site for lml-0.99
By: Jim Mattson on Thu, 23 Aug 1990 18:49 |
36 Years 2 Months ago
0 replies |
|
New FTP site for LML 0.99
By: Lennart Augustsson on Tue, 21 Aug 1990 13:09 |
36 Years 2 Months ago
0 replies |
|
Type theory and real-time systems (any pointers?)
By: Frank Pohl on Sun, 19 Aug 1990 01:11 |
36 Years 3 Months ago
0 replies |
|
functional vs. procedural languages
By: Mark Allsop (8597) on Thu, 16 Aug 1990 06:16 |
36 Years 3 Months ago
3 replies |
|
Re: Why type checking is done at compile time
By: David Gudeman on Sat, 11 Aug 1990 21:59 |
36 Years 3 Months ago
1 replies |
|
Wanted: Compiler to supercombinators & functional benchmarks
By: Jim Mattson on Sat, 11 Aug 1990 19:47 |
36 Years 3 Months ago
0 replies |
|
Re: Why type checking is done at compile time
By: David Gudeman on Sun, 05 Aug 1990 22:13 |
36 Years 3 Months ago
1 replies |
|
Miranda and SISAL
By: Steve Chappelow on Sat, 11 Aug 1990 02:58 |
36 Years 3 Months ago
0 replies |
|
Re: What is strong typing? (Was: I like strong typing)
By: Jonas Wallgren on Fri, 10 Aug 1990 01:41 |
36 Years 3 Months ago
0 replies |
|
RESEARCH POSITIONS AVAILABLE
By: Mike Beckerle on Thu, 09 Aug 1990 18:02 |
36 Years 3 Months ago
0 replies |
|
I like strong typing
By: Friendless on Thu, 26 Jul 1990 05:03 |
36 Years 3 Months ago
13 replies |
|
Can laziness sometimes be too lazy?
By: Mike McGaughey on Fri, 20 Jul 1990 01:16 |
36 Years 3 Months ago
9 replies |
|
Types & Proofs
By: George Nelan on Tue, 07 Aug 1990 15:41 |
36 Years 3 Months ago
0 replies |
|
System F
By: Richard A. O'Keefe on Sat, 28 Jul 1990 10:19 |
36 Years 3 Months ago
5 replies |
|
Summary: abstract interpretation refs.
By: John Goodwin on Fri, 03 Aug 1990 16:34 |
36 Years 3 Months ago
0 replies |
|
Why type checking is done at compile time
By: morrison on Fri, 03 Aug 1990 14:43 |
36 Years 3 Months ago
0 replies |
|
Looking for ML src for "4 Lectures in Standard ML"
By: Mark Carroll <MC> on Tue, 31 Jul 1990 00:34 |
36 Years 3 Months ago
0 replies |
|
Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Sat, 28 Jul 1990 23:53 |
36 Years 3 Months ago
0 replies |
|
Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Thu, 26 Jul 1990 19:25 |
36 Years 3 Months ago
2 replies |
|
Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Fri, 27 Jul 1990 17:59 |
36 Years 3 Months ago
1 replies |
|
Re: BOTTOM !== NONTERMINATION
By: David Gudeman on Fri, 27 Jul 1990 05:21 |
36 Years 3 Months ago
1 replies |
|
help request on edml installation
By: Grass on Tue, 24 Jul 1990 11:49 |
36 Years 3 Months ago
2 replies |
|
The Semantics of Error (was: Can laziness sometimes be too lazy?)
By: David Gudeman on Wed, 25 Jul 1990 18:03 |
36 Years 3 Months ago
0 replies |
|
side effects in FL's (was "Can laziness sometimes be too lazy?")
By: J. Michael Ashley on Tue, 24 Jul 1990 15:19 |
36 Years 3 Months ago
4 replies |
|
re: Id array comprehensions revisited
By: J. Michael Ashley on Wed, 18 Jul 1990 21:56 |
36 Years 3 Months ago
2 replies |
|
Id array comprehensions revisited
By: J. Michael Ashley on Tue, 17 Jul 1990 00:49 |
36 Years 4 Months ago
4 replies |
|
Impact of FPL's on OS design?
By: Glassy on Wed, 11 Jul 1990 03:24 |
36 Years 4 Months ago
5 replies |
|
re: Id array comprehensions revisited
By: J. Michael Ashley on Tue, 17 Jul 1990 16:28 |
36 Years 4 Months ago
1 replies |
|
Availability of OL/Orwell
By: Ian Moor on Mon, 16 Jul 1990 19:27 |
36 Years 4 Months ago
0 replies |
|
Appl. Lang. on transputer systems (Summary)
By: Wolfgang Grieskamp on Wed, 11 Jul 1990 13:20 |
36 Years 4 Months ago
2 replies |
|
PD SML?
By: dennis on Tue, 10 Jul 1990 15:14 |
36 Years 4 Months ago
7 replies |
|
More compilers wanted
By: Paul Sanders on Mon, 16 Jul 1990 10:22 |
36 Years 4 Months ago
0 replies |
|
Request for Code
By: Mark Carroll <MC> on Mon, 16 Jul 1990 02:44 |
36 Years 4 Months ago
0 replies |
|
Mutual recursion elimination
By: Ronen Feldman on Thu, 12 Jul 1990 22:32 |
36 Years 4 Months ago
0 replies |
|
FLs on PCs (again)
By: Paul Sanders on Wed, 11 Jul 1990 14:15 |
36 Years 4 Months ago
0 replies |
|
Operating Systems in Miranda + other languages
By: S.J.Thompson on Wed, 11 Jul 1990 08:25 |
36 Years 4 Months ago
0 replies |
Page 8 of 9 • 427 total threads
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view