Proceedings of the Fourth Workshop on Scheme and Functional Programming (2003)

Cached

Download Links

by Matthew Flatt , Erick Gallesio , Université De Nice , Tim Hickey , Mario Latendresse Fnmoc , Jeffrey Mark Siskind , Er Friedman , Jamie Raymond , Marc Feeley , Danny Dubé

Active Bibliography

1 Porting Scheme Programs – Dorai Sitaram
1 Revised Report on the Algorithmic Language Scheme – Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Robby Findler, Jacob Matthews - 2009
Under consideration for publication in J. Functional Programming 1 EDUCAT I ONAL PEARL – The Structure And, Educat I Onal Pearl, Matthias Felleisen
Acknowledgments – unknown authors
12 The TeachScheme! Project: Computing and Programming for Every Student – Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi - 2003
13 The Structure and Interpretation of the Computer Science Curriculum – Matthias Felleisen, Robert B. Findler, Matthew Flatt, Shriram Krishnamurthi - 2002
2 LispMe: An Implementation of Scheme for the Palm Pilot – Fred Bayer - 2001
2 Programming language support for digitized images or, the monsters in the closet – Daniel E. Stevenson, Daniel E. Stevenson, Margaret M. Fleck, Margaret M. Fleck - 1997
1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
4 System Factorization in Codesign - A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition – Bhaskar Bose, Bhaskar Bose, M. Esen Tuna, M. Esen Tuna, Steven D. Johnson, Steven D. Johnson - 1993
8 Search algorithms in type theory – James L. Caldwell, Ian P. Gent, Judith Underwood - 2000
7 Infer: A Statically-typed Dialect of Scheme - Preliminary Tutorial and Documentation – Christopher T. Haynes - 1993
7 Language Extension via First-class Interpreters – John Wiseman Simmons, II, Stanley Jefferson, Daniel P. Friedman - 1992
6 Continuations in hardware-software codesign – M. Esen Tuna, Steven D. Johnson, M. Esen, Tuna Steven, D. Johnson, Robert G. Burger, Robert G. Burger - 1994
15 Flow-Directed Lightweight Closure Conversion – Jeffrey Mark Siskind - 1999
11 Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 2000
59 DrScheme: A Pedagogic Programming Environment for Scheme – Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1997
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999