🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Thread View: comp.lang.functional
2 messages
2 total messages Started by Kurt Olender Mon, 27 Aug 1990 22:34
"Four Lectures in Standard ML" source?
#452
Author: Kurt Olender
Date: Mon, 27 Aug 1990 22:34
5 lines
693 bytes
Can someone tell me a source for the booklet, "Four Lectures
in Standard ML", by Mads Toft, which I saw referred to in
this newsgroup a month ago or so?

Thanks in advance.
Re: "Four Lectures in Standard ML" source?
#453
Author: Dave Berry
Date: Wed, 29 Aug 1990 11:22
24 lines
1402 bytes
In article <8584@ccncsu.ColoState.EDU> olender@sor.CS.ColoState.Edu (Kurt Olender) writes:

>Can someone tell me a source for the booklet, "Four Lectures
>in Standard ML", by Mads Tofte, which I saw referred to in
>this newsgroup a month ago or so?

From the SML information file that I post here occasionally:

The following report is available from the LFCS (mail Dorothy McKie,
dam@ecsvax.ed.ac.uk) and is free.  It includes an introduction to Standard ML
and three lectures on the modules system.

Mads Tofte
Four Lectures on Standard ML
LFCS Report Series  ECS-LFCS-89-73
Laboratory for Foundations of Computer Science
Department of Computer Science
University of Edinburgh
March 1989
--
 Dave Berry, LFCS, Edinburgh Uni.      db%lfcs.ed.ac.uk@nsfnet-relay.ac.uk

 Snuffsaidbutgorblimeyguvstonemeifhedidn'tthrowawobblerchachachachachacha
 chachachachachayou'regoinghomeinacosmicambience.
Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads