comp.lang.functional

Date Index

Scheme Workshop 2006, Robby Findler
[CfP] 3rd European Lisp Workshop - more news, Pascal Costanza
BDD library, Artur Siekielski
- Re: BDD library, Arne Ehrlich
MY-YACC question, _JusSx_
- Re: MY-YACC question, Carsten Varming
  - Re: MY-YACC question, _JusSx_
type of 1 and x=1, Klaus Ahrens
- Re: type of 1 and x=1, Aaron Denney
Unresolved overloading, Klaus Ahrens
- Re: Unresolved overloading, Lauri Alanko
- Re: Unresolved overloading, Lukas Mai
- Re: Unresolved overloading, Shyamal Prasad
  - Re: Unresolved overloading, Klaus Ahrens
macro "shape" type inference, Adrian Kubala
- Re: macro "shape" type inference, Dirk Thierbach
Instantiation VS definition, Kiuhnm
- Re: Instantiation VS definition, Dinko Tenev
dependent type for 'filter', dk
- Re: dependent type for 'filter', Torben Ægidius Mogensen
  - Re: dependent type for 'filter', William Lovas
- Re: dependent type for 'filter', Dinko Tenev
Type hackery for a particular problem, daniil . elovkov
Simple Exercise, Kiuhnm
- Re: Simple Exercise, Dinko Tenev
  - Re: Simple Exercise, Kiuhnm
    - Re: Simple Exercise, Aaron Denney
    - Re: Simple Exercise, Marcin 'Qrczak' Kowalczyk
    - Re: Simple Exercise, Aaron Denney
    - Re: Simple Exercise, Kiuhnm
    - Re: Simple Exercise, Dinko Tenev
    - Re: Simple Exercise, Kiuhnm
SML# - a new langauge in the SML family - alpha release, Atsushi Ohori
lambda calc. beta reduction, iang
- Re: lambda calc. beta reduction, Olivier
  - Re: lambda calc. beta reduction, earthnut
K interpreter, Jon Harrop
- Re: K interpreter, Joachim Durchholz
  - Re: K interpreter, Jon Harrop
    - Re: K interpreter, sa
    - Re: K interpreter, sa
    - Re: K interpreter, Joachim Durchholz
    - Re: K interpreter, sa
    - Re: K interpreter, Jon Harrop
    - Re: K interpreter, sa
    - Re: K interpreter, Jon Harrop
    - Re: K interpreter, sa
    - Re: K interpreter, Jon Harrop
    - Re: K interpreter, Vesa Karvonen
    - Re: K interpreter, sa
    - Re: K interpreter, Dr Jon D Harrop
    - Re: K interpreter, Greg Buchholz
    - Re: K interpreter, sa
    - Re: Re: K interpreter, Garry Hodgson
    - Re: Re: K interpreter, sa
    - Re: K interpreter, Joachim Durchholz
    - Re: K interpreter, Jon Harrop
    - Re: K interpreter, sa
    - Re: K interpreter, Ketil Malde
    - Re: K interpreter, Dr Jon D Harrop
    - Re: K interpreter, Joachim Durchholz
    - Re: K interpreter, Dr. Thomas Fischbacher
Re: Programming challenge: wildcard exclusion in cartesian products, Jon Harrop
- Re: Programming challenge: wildcard exclusion in cartesian products, sa
- Re: Programming challenge: wildcard exclusion in cartesian products, Joachim Durchholz
  - Re: Programming challenge: wildcard exclusion in cartesian products, Jon Harrop
    - Re: Programming challenge: wildcard exclusion in cartesian products, wkehowski@xxxxxxx
    - Re: Programming challenge: wildcard exclusion in cartesian products, wkehowski@xxxxxxx
Data & Type constructor, Olivier
sml & printf & ~, brian denheyer
- Re: sml & printf & ~, Jon Harrop
  - Re: sml & printf & ~, brian denheyer
    - Re: sml & printf & ~, Jon Harrop
    - Re: sml & printf & ~, Torben Ægidius Mogensen
    - Re: sml & printf & ~, Jon Harrop
    - Re: sml & printf & ~, Marcin 'Qrczak' Kowalczyk
    - Re: sml & printf & ~, Andreas Rossberg
    - Re: sml & printf & ~, David Hopwood
    - Re: sml & printf & ~, Torben Ægidius Mogensen
    - Re: sml & printf & ~, Jon Harrop
    - Re: sml & printf & ~, Torben Ægidius Mogensen
    - Re: sml & printf & ~, Dr Jon D Harrop
    - Re: sml & printf & ~, Johan Grönqvist
- Re: sml & printf & ~, Vesa Karvonen
- Re: sml & printf & ~, Johan Grönqvist
  - Re: sml & printf & ~, brian denheyer
- Re: sml & printf & ~, Stephen Weeks
CFP: LCC'06 - Workshop on Logic and Computational Complexity, Jim Royer
nlffi and pointers, brian denheyer
- Re: nlffi and pointers, vesbula
  - Re: nlffi and pointers, brian denheyer
    - Re: nlffi and pointers, vesbula
    - Re: nlffi and pointers, brian denheyer
    - Re: nlffi and pointers, vesbula
    - Re: nlffi and pointers, Marcin 'Qrczak' Kowalczyk
    - Re: nlffi and pointers, brian denheyer
    - Re: nlffi and pointers, Vesa Karvonen
    - Re: nlffi and pointers, brian denheyer
    - Re: nlffi and pointers, Vesa Karvonen
[Haskell] Compile error in GHC HEAD revision - nobody responding to bug report, Asfand Yar Qazi
- Re: [Haskell] Compile error in GHC HEAD revision - nobody responding to bug report, Paul Johnson
  - Re: [Haskell] Compile error in GHC HEAD revision - nobody responding to bug report, Asfand Yar Qazi
Int to Integer PLease help!!!, hoop1220
- Re: Int to Integer PLease help!!!, Ketil Malde
  - Re: Int to Integer PLease help!!!, Simon Richard Clarkstone
    - Re: Int to Integer PLease help!!!, Benjamin Franksen
Haskell question on polymorphic functions, Dan Piponi
- Re: Haskell question on polymorphic functions, Mark T.B. Carroll
  - Re: Haskell question on polymorphic functions, Dan Piponi
    - Re: Haskell question on polymorphic functions, Aaron Denney
    - Re: Haskell question on polymorphic functions, Dan Piponi
    - Re: Haskell question on polymorphic functions, Dirk Thierbach
    - Re: Haskell question on polymorphic functions, Dan Piponi
    - Re: Haskell question on polymorphic functions, Dirk Thierbach
    - Re: Haskell question on polymorphic functions, Dan Piponi
    - Re: Haskell question on polymorphic functions, Dirk Thierbach
    - Re: Haskell question on polymorphic functions, Dan Piponi
    - Re: Haskell question on polymorphic functions, Dirk Thierbach
    - Re: Haskell question on polymorphic functions, Dan Piponi
Phantom type representation of integers as differences of natural numbers, vesa . karvonen
- Re: Phantom type representation of integers as differences of natural numbers, Vesa Karvonen
Simple yet annoying lambda calc question, oventsu@xxxxxxxxx
- Re: Simple yet annoying lambda calc question, Lauri Alanko
  - Re: Simple yet annoying lambda calc question, oventsu@xxxxxxxxx
- Re: Simple yet annoying lambda calc question, Dirk Thierbach
  - Re: Simple yet annoying lambda calc question, oventsu@xxxxxxxxx
- Re: Simple yet annoying lambda calc question, Remi Vanicat
*** ANNOUNCE: SML/NJ working version 110.58 available ***, Matthias Blume
Re: Using ASP - Generate PDF Report, Ulf Wiger
Constructive Type Theory implementation, uchchwhash
- Re: Constructive Type Theory implementation, Paul Rubin
  - Re: Constructive Type Theory implementation, uchchwhash
    - Re: Constructive Type Theory implementation, Paul Rubin
    - Re: Constructive Type Theory implementation, Paul Rubin
    - Re: Constructive Type Theory implementation, Daniel C. Wang
- Re: Constructive Type Theory implementation, Fredrik Forsberg
  - Re: Constructive Type Theory implementation, uchchwhash
[Haskell] problem in a "do" clause ?, Pierre DOUCY
- Re: [Haskell] problem in a "do" clause ?, Sam Mason
  - Re: [Haskell] problem in a "do" clause ?, Tomasz Zielonka
- Re: problem in a "do" clause ?, Greg Buchholz
- Re: [Haskell] problem in a "do" clause ?, Simon Richard Clarkstone
Re: Encapsulation in FP, raould
- Re: Encapsulation in FP, Ulf Wiger
  - Re: Encapsulation in FP, raould
  - Re: Encapsulation in FP, raould
    - Re: Encapsulation in FP, Ulf Wiger
    - Re: Encapsulation in FP, raould
    - Re: Encapsulation in FP, Ulf Wiger
    - Re: Encapsulation in FP, Ulf Wiger
    - Re: Encapsulation in FP, Ulf Wiger
    - Re: Encapsulation in FP, raould
recommend book or web page on beginners lambda calculus, Chris F Clark
please recommend book or web page on beginners lambda calculus, Chris F Clark
- Re: please recommend book or web page on beginners lambda calculus, Lauri Alanko
  - Re: please recommend book or web page on beginners lambda calculus, Chris F Clark
    - Re: please recommend book or web page on beginners lambda calculus, Lauri Alanko
    - Re: please recommend book or web page on beginners lambda calculus, Chris F Clark
    - Re: please recommend book or web page on beginners lambda calculus, Joachim Durchholz
    - Re: please recommend book or web page on beginners lambda calculus, Chris F Clark
    - Re: please recommend book or web page on beginners lambda calculus, Dirk Thierbach
    - Re: please recommend book or web page on beginners lambda calculus, Henning Makholm
    - Re: please recommend book or web page on beginners lambda calculus, Dan Piponi
    - Re: please recommend book or web page on beginners lambda calculus, Dirk Thierbach
    - Re: please recommend book or web page on beginners lambda calculus, Benjamin Franksen
Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
- Re: Denotational semantics for lazy / strict functional programming languages, Dirk Thierbach
  - Re: Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
    - Re: Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
    - Re: Denotational semantics for lazy / strict functional programming languages, Dirk Thierbach
    - Re: Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
    - Re: Denotational semantics for lazy / strict functional programming languages, Dirk Thierbach
    - Re: Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
    - Re: Denotational semantics for lazy / strict functional programming languages, Dirk Thierbach
    - Re: Denotational semantics for lazy / strict functional programming languages, Dirk Thierbach
    - Re: Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
    - Re: Denotational semantics for lazy / strict functional programming languages, Dirk Thierbach
    - Re: Denotational semantics for lazy / strict functional programming languages, MalcolmTyrrell
Re: Parallelizing operations on functional data structures, shapr
Re: Static typing and prototypes?, shapr