Oldest | Popular
Welcome to comp.lang.functional (0 replies, 04/15/90)
The name of the game (4 replies, 04/15/90)
Conservation law? WAS Matrix Inversion w/o Assignment (0 replies, 05/02/90)
What is a functional language? (0 replies, 05/03/90)
Lisp and Functional Programming Conference (1 reply, 05/03/90)
a trivial question about n-queens (0 replies, 05/03/90)
Higher-Order Removal Transformations (0 replies, 05/03/90)
For Mitch Wand From George Nelan (0 replies, 05/03/90)
O LANGUAGE DESIGNER, REMEMBER THE POOR USER (0 replies, 05/05/90)
Open Letter To Chin About HO=>FO (1 reply, 05/09/90)
PC implementation of funct. lang.? (1 reply, 05/25/90)
Here is a PC implementation: REFAL (0 replies, 05/25/90)
standard ml (0 replies, 05/28/90)
Let's replace the name "functional" (4 replies, 05/29/90)
Laziness & Symmetry - was: Purity and Laziness (0 replies, 06/03/90)
Functional Geometry (0 replies, 06/04/90)
Is Lisp in class X? (2 replies, 06/04/90)
Patterns, Equations and Functions (1 reply, 06/05/90)
Laziness and Leftmost Rule (6 replies, 06/07/90)
Course Announcement: Dataflow Architectures and Languages at MIT (0 replies, 06/07/90)
Patterns and Term-Rewriting (0 replies, 06/07/90)
Term-Rewriting and Denotational Semantics (0 replies, 06/08/90)
Constructors, Destructors and Views. (0 replies, 06/08/90)
Term-Rewriting and Functional Programming (0 replies, 06/09/90)
seeking Haskell implementation (1 reply, 06/10/90)
Bill of Rights (0 replies, 06/11/90)
Views in Haskell---why were they removed? (0 replies, 06/12/90)
Gabriel Benchmarks for Scheme (0 replies, 06/12/90)
Pattern matching and abstraction (1 reply, 06/12/90)
Civil Rights for Items/Objects (0 replies, 06/12/90)
Haskell availability (4 replies, 06/12/90)
Implementation of Closures (0 replies, 06/12/90)
PLILP 90 Program and Registration Information (0 replies, 06/12/90)
Pattern matching considered harmful (18 replies, 06/13/90)
Re^2: Term rewriting and denotation (0 replies, 06/15/90)
Primitive Recursive Arithmetic (4 replies, 06/16/90)
Processor architecture to support functional languages (1 reply, 06/16/90)
generate and test, map (1 reply, 06/16/90)
Term rewriting and denotation (18 replies, 06/17/90)
Primitive recursive functions etc (1 reply, 06/17/90)
ML yacc help needed (0 replies, 06/27/90)
Applicative languages on transputer systems (0 replies, 06/29/90)
research post available (0 replies, 07/03/90)
functional programming textbooks, implementations, etc -- request (1 reply, 07/07/90)
performance of array comprehensions in Id (1 reply, 07/07/90)
Operating Systems in Miranda + other languages (0 replies, 07/11/90)
FLs on PCs (0 replies, 07/11/90)
Mutual recursion elimination (0 replies, 07/13/90)
Correction to mutual recursion elimination query (0 replies, 07/13/90)
Request for Code (0 replies, 07/16/90)
More compilers wanted (0 replies, 07/16/90)
PD SML? (7 replies, 07/16/90)
Appl. Lang. on transputer systems (1 reply, 07/16/90)
Hope+ / Caliban availability? (0 replies, 07/17/90)
Availability of OL/Orwell (0 replies, 07/17/90)
Request for references on pattern matching (0 replies, 07/17/90)
Impact of FPL's on OS design? (5 replies, 07/19/90)
MMU detection of stack/heap overflow: summary of responses (0 replies, 07/20/90)
Id array comprehensions revisited (9 replies, 07/21/90)
GC triggering and stack limit checking by MMU hardware (11 replies, 07/24/90)
side effects in FL's (4 replies, 07/25/90)
The Semantics of Error (0 replies, 07/26/90)
I like strong typing (0 replies, 07/26/90)
help request on edml installation (2 replies, 07/26/90)
Purity and Laziness (8 replies, 07/27/90)
request for references on data structures (0 replies, 07/27/90)
Debugging laziness (0 replies, 07/28/90)
Laziness and Back-to-front Lists (11 replies, 07/30/90)
ANNOUNCEMENT: Standard ML Workshop, Edinburgh, Sept. 18/19 (0 replies, 07/30/90)
Looking for ML src for "4 Lectures in Standard ML" (0 replies, 07/31/90)
Summary: abstract interpretation refs. (0 replies, 08/03/90)
RA wanted in temporal logic at Newcastle (0 replies, 08/04/90)
BOTTOM !== NONTERMINATION (9 replies, 08/05/90)
Russell (0 replies, 08/06/90)
System F (5 replies, 08/06/90)
Data Dependent "Type" information. (0 replies, 08/07/90)
Types & Proofs (0 replies, 08/07/90)
Can laziness sometimes be too lazy? (17 replies, 08/08/90)
RESEARCH POSITIONS AVAILABLE (0 replies, 08/10/90)
Miranda and SISAL (0 replies, 08/11/90)
Wanted: Compiler to supercombinators & functional benchmarks (0 replies, 08/12/90)
Why type checking is done at compile time (4 replies, 08/13/90)
functional vs. procedural languages (3 replies, 08/17/90)
Type theory and real-time systems (0 replies, 08/19/90)
Question on rec. program schemes (2 replies, 08/21/90)
What is strong typing? (14 replies, 08/21/90)
New FTP site for LML 0.99 (0 replies, 08/21/90)
North America ftp site for lml-0.99 (0 replies, 08/24/90)
LML 0.99 (4 replies, 08/25/90)
expressiveness (0 replies, 08/27/90)
"Four Lectures in Standard ML" source? (1 reply, 08/29/90)
call/cc and referential transparency (2 replies, 08/29/90)
Functionality and implicit arg's (0 replies, 08/30/90)
game theoretic semantics, dialogic logic & dialogue games (0 replies, 09/05/90)
pattern abstraction (2 replies, 09/06/90)
Common LISP on Amiga (0 replies, 09/07/90)
shuffling a list (5 replies, 09/10/90)
CFP - ACM Symposium on Partial Evaluation PEPM 91 (0 replies, 09/10/90)
Why not multiple out parameters? again (1 reply, 09/12/90)
Partitioning and Scheduling for Heterogeneous Systems (0 replies, 09/19/90)
A preliminary review of J (2 replies, 09/22/90)
Looking for functional programming language (0 replies, 09/23/90)
Non-academic use of functional languages (0 replies, 09/27/90)
Summary of References on Partitioning and Scheduling w/ Heterogeneity (0 replies, 09/28/90)
Error message in SML of New Jersey (0 replies, 10/02/90)
Extensional functions in SML? (9 replies, 10/02/90)
Summary: Non-academic use of functional languages (0 replies, 10/06/90)
Orwell (0 replies, 10/17/90)
Call for Papers PLILP 91 (0 replies, 10/17/90)
Where can I ftp source for Lucid from? (1 reply, 10/19/90)
Parallel Code Generation (0 replies, 10/25/90)
Request for Haskell Grammar (0 replies, 10/25/90)
Functional Language for IBM PC? (0 replies, 10/25/90)
Reference for term "Lazy Evaluation" (2 replies, 10/26/90)
Status of Logic Programming and Functional Machines (0 replies, 10/29/90)
Memory allocation mechanism (0 replies, 11/01/90)
Parallel Execution of Functional Languages (0 replies, 11/06/90)
<None> (0 replies, 11/09/90)
PD-scheme anywhere ? (0 replies, 11/15/90)
PEPM CFP (0 replies, 11/15/90)
What is ML? Is it public domain? (1 reply, 11/15/90)
Functional Parser Generators (0 replies, 11/16/90)
ML vs CL Type Systems (0 replies, 11/19/90)
Call for Papers (1 reply, 11/22/90)
Q: compilers written in lazy languages (1 reply, 11/24/90)
New chair of Computer Science at Birmingham University UK (0 replies, 11/26/90)
Orwell distribution (0 replies, 11/26/90)
Error Values (0 replies, 11/28/90)
Run-time strictness analysis (1 reply, 11/28/90)
Program transformations for parallelism (4 replies, 12/03/90)
Miranda/ML for DOS (0 replies, 12/04/90)
Implementing Error Values (11 replies, 12/07/90)
A question about types in ML (29 replies, 12/08/90)
Any free/cheap functional language implementation for the Mac? (1 reply, 12/15/90)
Lazy constructors (0 replies, 12/17/90)
A question on Semantics (1 reply, 12/19/90)
New chair in computer science (0 replies, 12/21/90)
Intermediate Codes for Functional Languages (16 replies, 12/22/90)
Define "Declarative" (2 replies, 12/22/90)
functional language available. (0 replies, 12/26/90)
are there functional language benchmarks? (1 reply, 01/01/91)
Is there WEB for SML? (1 reply, 01/04/91)
Global program state. (6 replies, 01/07/91)
Matrix manipulation programs (1 reply, 01/11/91)
Type Inference in Standard ML (0 replies, 01/13/91)
Twentel - my copy got destroyed. (0 replies, 01/14/91)
Miranda FTP sites (5 replies, 01/14/91)
Miranda (0 replies, 01/15/91)
Off-side rule and Haskell (0 replies, 01/15/91)
Various Subjects (0 replies, 01/16/91)
Partial Evaluation References Sought (2 replies, 01/17/91)
Simulating mutable lists in Miranda (0 replies, 01/18/91)
Type Assignment (2 replies, 01/19/91)
Conjunction-Type systems (0 replies, 01/22/91)
Type Inference in ML (7 replies, 01/23/91)
FP available? (0 replies, 01/24/91)
"Off-side rule" (18 replies, 01/24/91)
Continuations + Graph Reduction (1 reply, 01/27/91)
SML - NJ compiler for HP 9000/800 series (0 replies, 01/28/91)
recursive =?=> iterative ? (4 replies, 01/28/91)
concrete syntax (6 replies, 01/30/91)
ACPC Call for Papers (0 replies, 01/30/91)
Need reference on fixed point computation (0 replies, 01/31/91)
Reference sought for *SURVEY ARTICLE* on Abstract Machines (1 reply, 01/31/91)
Summary, recursive =?=> iterative (1 reply, 02/01/91)
Transformation Cookbook (0 replies, 02/01/91)
rapid prototyping in the "real world" (0 replies, 02/02/91)
summary intermediate codes for FL (0 replies, 02/04/91)
FP availability (0 replies, 02/05/91)
FPCA: *Final* Call For Papers (0 replies, 02/06/91)
SML Language (0 replies, 02/07/91)
Compiler Job?? (0 replies, 02/07/91)
[comp.lang.functional...] CAML V2-6.1 on nuri.inria.fr (0 replies, 02/07/91)
Need reference on fixed-point computaion (0 replies, 02/07/91)
comp.ai.vision (0 replies, 02/08/91)
Reminder: FPCA deadline for submissions (0 replies, 02/15/91)
State of GRIP? (1 reply, 02/17/91)
Typography, Off-side and Concrete Syntax (0 replies, 02/19/91)
Trying to locate Hudak's and Hughes's paper. Any help ? (1 reply, 02/20/91)
Views revisited (2 replies, 02/23/91)
why lambda ? (4 replies, 02/27/91)
Hope for PC (0 replies, 03/01/91)
function composition in C (8 replies, 03/02/91)
Functional Product (0 replies, 03/02/91)
Haskell (1 reply, 03/02/91)
Miranda for PC wanted?? (2 replies, 03/02/91)
PC Hope (0 replies, 03/05/91)
CGP: functional, logic progr; parallelism, abstr. data types (0 replies, 03/06/91)
RTA-91 (0 replies, 03/07/91)
PD implementations of Functional Languages (0 replies, 03/07/91)
FTP-able bibliography on partial evaluation (0 replies, 03/07/91)
wanted: list of functional programming languages (0 replies, 03/09/91)
1991 IEEE Symp on Parallel and Distributed Processing (0 replies, 03/09/91)
Help needed with Yale Haskell. (0 replies, 03/11/91)
origin of lambda symbol (1 reply, 03/11/91)
Summerschool on lambda calculus, July 1991 (0 replies, 03/14/91)
SML (0 replies, 03/15/91)
FPCA'91 -- Information for authors (0 replies, 03/18/91)
SML on a MacIIci running A/UX 2.0 (0 replies, 03/20/91)
OBJ3 information wanted (0 replies, 03/21/91)
Digital Circuit simulator using Lazy Fuctional languages (1 reply, 03/22/91)
Event-driven programs in FP (0 replies, 03/25/91)
Call for Participation PDK'91 (0 replies, 03/25/91)
Free FP environment (3 replies, 03/30/91)
Industry-Strength Rapid Prototyping with Functional Prog? (9 replies, 03/30/91)
Functional program optimizations (1 reply, 04/02/91)
Where to get ifp? (0 replies, 04/03/91)
Three address code (0 replies, 04/05/91)
Applications for lazy functional languages (9 replies, 04/08/91)
Dataflow paradigm (0 replies, 04/08/91)
do computers believe in real numbers? (12 replies, 04/09/91)
Distributed memory systems (0 replies, 04/09/91)
portable tools for parallel hardware?? (0 replies, 04/11/91)
Dataflow Architectures and Languages Course Announcement (0 replies, 04/18/91)
miranda semantics (0 replies, 04/19/91)
Seeking Distributed Programming environments (0 replies, 04/20/91)
SISAL (0 replies, 04/23/91)
Thunk -- the real scoop (0 replies, 04/24/91)
Response to Request for info on distributed environements (0 replies, 04/25/91)
Help, I can't compile IFP on my NeXT (0 replies, 04/25/91)
thunk's (11 replies, 04/26/91)
Summer Courses? (0 replies, 04/28/91)
The Language List, Version 1.1 (0 replies, 04/29/91)
Fully lazy Hope for Unix, Macs and PCs available for ftp (0 replies, 04/29/91)
PDK'91 -- PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS (0 replies, 04/29/91)
ATTN: those of you who wanted the summary on Dist. Prog. Lang. (0 replies, 04/30/91)
ML on PC (0 replies, 04/30/91)
Miranda scan function (0 replies, 05/03/91)
reference for FLIC and CLEAN (0 replies, 05/03/91)
ML's wierdness in interactive script. (0 replies, 05/04/91)
where's a good functional language? (0 replies, 05/10/91)
Proving correctness of programs in functional languages (0 replies, 05/14/91)
Availability of SML? (0 replies, 05/16/91)
fuzzy logic types and databases ? (0 replies, 05/16/91)
Help needed with behaviour of SML (18 replies, 05/16/91)
JFLA 92 (0 replies, 05/17/91)
FPL's and Graphical User Interfaces (4 replies, 05/20/91)
Calling LISP from C (1 reply, 05/20/91)
ML-like type-checker for Scheme subset? (6 replies, 05/22/91)
Sorts, Types in logic and programming languages (0 replies, 05/22/91)
FPCA 91 Advance Program (0 replies, 05/22/91)
Looking for C-Hope (0 replies, 05/22/91)
Release of CAML Light (0 replies, 05/24/91)
Virtual machines refs. (1 reply, 05/24/91)
Random number generator/script (1 reply, 05/24/91)
[language] CAML Light (0 replies, 05/24/91)
SML optimisations / parallelism (0 replies, 05/24/91)
2nd Conf. on Software Engineering and A.I. (0 replies, 05/24/91)
Random Number Generating Algorithm/script (2 replies, 05/24/91)
Algebraic Spec. meets Functional Prog. How? (0 replies, 05/26/91)
PLILP 91 Call for Participation and Program (0 replies, 05/27/91)
Reverse diffs (1 reply, 06/01/91)
Landin Ping (2 replies, 06/01/91)
functional programming formulation of graph algorithms (6 replies, 06/02/91)
TIM and SECD (1 reply, 06/04/91)
ML (0 replies, 06/07/91)
Final Algebra Specifications of Data Types (0 replies, 06/09/91)
CAML-Light (0 replies, 06/10/91)
lamba calc (1 reply, 06/10/91)
SML resources (0 replies, 06/11/91)
overloading in SML (1 reply, 06/12/91)
Now available: The Concurrent Clean System 0.7 (0 replies, 06/14/91)
program testing (0 replies, 06/17/91)
overloading, subtypes, and arrays missed in SML (2 replies, 06/18/91)
Position as Professor in Computer Science (0 replies, 06/18/91)
Help with SML (1 reply, 06/19/91)
IWMM'92, Call for papers (0 replies, 06/21/91)
Emacs Major Mode for CAML (0 replies, 06/21/91)
Summary: overloading, subtypes, and arrays missed in SML (0 replies, 06/24/91)
announcing the availability of sml2c (0 replies, 06/25/91)
Summary: functional programming of graph algorithms (4 replies, 06/25/91)
Dates of logicians and computer scientists (0 replies, 06/26/91)
Programming Excercise Needed (0 replies, 06/28/91)
"reverse diff" arrays (4 replies, 06/28/91)