abc@nott-cs.UUCP (Andy Cheese) (04/04/86)
I currently post out a reference database on functional and logic languages, denotational semantics and formal methods to various people. It is never up to date but i add more when i have the time. If anybody is interesting in recieving a copy, i post it at the beginning of every month, please reply and i will add you to my distribution list. Andy Cheese Department of Computer Science University of Nottingham University Park Nottingham NG7 2RD England ARPA : abc@uk.ac.nott.cs UUCP : ukc!nott.cs!abc -- Andy Cheese
abc@nott-cs.UUCP (Andy Cheese) (04/09/86)
Due to the immense size of the references file some sites seem not to be able to cope with it, so i have split it into 4 smaller parts - to follow -- Andy Cheese
kdavis@okstate.UUCP (04/16/86)
Please include my name on your mailing list. Kelvin Davis 8408 Woodfield Oklahoma City, OK 73149 USA kdavis@a.cs.okstate.edu.csnet