2006 Scheme and Functional Programming Papers, University of
2006 Scheme and Functional Programming Papers, University of
2006 Scheme and Functional Programming Papers, University of
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
[34] J. C. Reynolds. Types, abstraction <strong>and</strong> parametric polymorphism.<br />
In R. E. A. Mason, editor, Information Processing 83,<br />
pages 513–523, Amsterdam, 1983. Elsevier Science Publishers<br />
B. V. (North-Holl<strong>and</strong>).<br />
[35] J. Riely <strong>and</strong> M. Hennessy. Trust <strong>and</strong> partial typing in open<br />
systems <strong>of</strong> mobile agents. In POPL ’99: Proceedings <strong>of</strong> the<br />
26th ACM SIGPLAN-SIGACT symposium on Principles <strong>of</strong><br />
programming languages, pages 93–104, New York, NY, USA,<br />
1999. ACM Press.<br />
[36] M. Serrano. Bigloo: a practical <strong>Scheme</strong> compiler. Inria-<br />
Rocquencourt, April 2002.<br />
[37] A. Shalit. The Dylan reference manual: the definitive guide<br />
to the new object-oriented dynamic language. Addison Wesley<br />
Longman Publishing Co., Inc., Redwood City, CA, USA,<br />
1996.<br />
[38] Z. Shao. Flexible representation analysis. In ICFP ’97: Proceedings<br />
<strong>of</strong> the second ACM SIGPLAN international conference<br />
on <strong>Functional</strong> programming, pages 85–98, New York,<br />
NY, USA, 1997. ACM Press.<br />
[39] J. Siek <strong>and</strong> W. Taha. Gradual typing: Isabelle/isar formalization.<br />
Technical Report TR06-874, Rice <strong>University</strong>, Houston,<br />
Texas, <strong>2006</strong>.<br />
[40] S. Thatte. Quasi-static typing. In POPL ’90: Proceedings <strong>of</strong><br />
the 17th ACM SIGPLAN-SIGACT symposium on Principles<br />
<strong>of</strong> programming languages, pages 367–381, New York, NY,<br />
USA, 1990. ACM Press.<br />
[41] D. Volpano <strong>and</strong> G. Smith. Eliminating covert flows with<br />
minimum typings. In CSFW’97: 10th Computer Security<br />
Foundations Workshop, volume 00, page 156, Los Alamitos,<br />
CA, USA, 1997. IEEE Computer Society.<br />
[42] M. Wenzel. The Isabelle/Isar Reference Manual. TU<br />
München, April 2004.<br />
92 <strong>Scheme</strong> <strong>and</strong> <strong>Functional</strong> <strong>Programming</strong>, <strong>2006</strong>