It is currently Sat, 25 Jan 2020 14:58:58 GMT


 
 Topics   Author   Replies   Views   Last post 
MFPW-94 Final CFP

Anand Venkata Ram

0

407

Fri, 24 May 1996 08:30:55 GMT

Anand Venkata Ram

Languages for self-modifying code

hjcov..

0

410

Thu, 23 May 1996 18:44:32 GMT

hjcov..

A prototype FAQ for comp.lang.functional (new version)

Mark P. Jon

0

414

Mon, 20 May 1996 01:14:57 GMT

Mark P. Jon

Looking for book on data structures and functional programming

Pieter H. Hart

0

416

Sun, 19 May 1996 23:51:26 GMT

Pieter H. Hart

reading several files

Luc Duponche

0

419

Sun, 19 May 1996 18:31:51 GMT

Luc Duponche

BCS-FACS : 6th Refinement Workshop, 5th - 7th January 1994

Brian Monah

0

419

Sun, 19 May 1996 18:19:21 GMT

Brian Monah

programming languages textbooks

Kim Skak Lars

4

421

Sun, 19 May 1996 16:41:57 GMT

Andrew Carri

transpose of an infinite list of lists

D.A.Turn

8

420

Sun, 19 May 1996 10:13:21 GMT

CB. Dorn

Reading several files.

Ma

0

424

Sat, 18 May 1996 20:34:53 GMT

Ma

I/O and purely functional

Charles L

3

430

Fri, 17 May 1996 13:30:57 GMT

Wolfgang Grieska

Much ado about Side effects

Charles L

2

429

Fri, 17 May 1996 13:18:30 GMT

Charles L

ERLANG at Ericson

Christopher E Ti

4

435

Thu, 16 May 1996 11:38:13 GMT

Robert Virdi

FACS Europe --- A Formal Methods Newsletter

Brian Monah

0

433

Wed, 15 May 1996 22:21:19 GMT

Brian Monah

Corrigenda to my book

Tony Davi

0

436

Wed, 15 May 1996 00:55:13 GMT

Tony Davi

Aarhus U., Computer Science Dept

<U51..

0

436

Tue, 14 May 1996 22:56:51 GMT

<U51..

Monads

Dominic Steini

0

439

Tue, 14 May 1996 03:58:59 GMT

Dominic Steini

functional programming language with inheritance

fr..

11

437

Tue, 14 May 1996 00:43:00 GMT

Perdita Steve

contact address for hope

fr..

0

442

Tue, 14 May 1996 00:39:54 GMT

fr..

Help with Fudgets!!

Prahladavaradan Sampa

0

444

Mon, 13 May 1996 23:17:29 GMT

Prahladavaradan Sampa

BCS-FACS Xmas Meeting : Formal Aspects of Object-Oriented Systems

Brian Monah

0

447

Mon, 13 May 1996 19:04:15 GMT

Brian Monah

documentation needed!

Marcelino Veiga Tuim

0

447

Mon, 13 May 1996 18:15:46 GMT

Marcelino Veiga Tuim

ENVIROMENTS FOR FL.

MCCORMACK.C

0

450

Sun, 12 May 1996 23:36:00 GMT

MCCORMACK.C

Book Announcement

David Wolfr

0

452

Sun, 12 May 1996 19:31:03 GMT

David Wolfr

Innermost Spine Reduction

Giuliano Proci

1

456

Sun, 12 May 1996 00:28:28 GMT

Richard Kennawa

Miranda for Linux?

J Ku

0

458

Sat, 11 May 1996 19:10:29 GMT

J Ku

LML Linux Binaries?

Marko Schue

1

459

Sat, 11 May 1996 18:37:06 GMT

Andre Sant

Papers on Reduction Types

David A. Wrig

0

462

Sat, 11 May 1996 06:28:17 GMT

David A. Wrig

6th Refinement Workshop

Brian Monah

0

465

Sat, 11 May 1996 03:37:06 GMT

Brian Monah

Laziness and infinite lists...

scot dyerrivenbur

1

466

Sat, 11 May 1996 01:42:50 GMT

Lennart Augustss

factoring in (log n)^2

Trevor Blackwe

1

471

Fri, 10 May 1996 03:28:37 GMT

Andrej Brodnik (An

Haskell problem..

Kee Woei We

0

472

Thu, 09 May 1996 17:39:46 GMT

Kee Woei We

 
   [ 6611 topic ]  [174] [175] [176] [177] [178] [179] [180] [181]


Powered by phpBB ® Forum Software