e-Science logo Nesc logo
 
 
About NeSC
e-Science Institute
e-Science Hub
TOE
Contacts
e-Science Events
Resources
Newsroom
Presentations & Lectures
Technical Papers
Global Grid Links
Projects
UK e-Science Centres
UK e-Science Teams
Career Opportunities
Bibliographic Database
 

 

Publications ordered by Year. (2 in total)

2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1991 1990 1989 1987 1984 1983 1982 1981

1991

Algebraic Semantics

Chapter 4
[More Details]

Generalising Sequences of Rewrite Rules by Synthesising New Sorts

Extended Abstract, Functional Programming, Glasgow 1990, Workshops in Computing, S. Peyton-Jones, G. Hutton, C. Kehler Holst (eds.)
[More Details]




 

Last Updated: 22 Jun 12 11:02
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.