A Type Notation for Scheme

by Gary T. Leavens and Curtis Clifton

Department of Computer Science, Iowa State University,
226 Atanasoff Hall, Ames, Iowa, 50011-1040 USA

Copyright (c) Gary T. Leavens and Curtis Clifton, 2001.



This document was generated on 9 October 2001 using texi2html 1.56k.