Revised5 report on the algorithmic language scheme

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Revised5 report on the algorithmic language scheme

Full text

Pdf (4.44 MB)

Source

ACM SIGPLAN Notices archive
Volume 33 , Issue 9 (September 1998) table of contents

Pages: 26 - 76

Year of Publication: 1998

ISSN:0362-1340

Authors

N. I. Adams, IV
D. H. Bartley
G. Brooks
R. K. Dybvig
D. P. Friedman
R. Halstead
C. Hanson
C. T. Haynes
E. Kohlbecker
D. Oxley
K. M. Pitman
G. J. Rozas
G. L. Steele, Jr.
G. J. Sussman
M. Wand
H. Abelson

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 17, Citation Count: 54

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/290229.290234 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

Andrzej Filinski. Representing Monads. In <i>Proceedings of the 1995 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages</i>, pages 446--457.

CITED BY 54

	Riku Saikkonen , Lauri Malmi , Ari Korhonen, Fully automatic assessment of programming exercises, ACM SIGCSE Bulletin, v.33 n.3, p.133-136, Sept. 2001
	Neal Glew, Type dispatch for named hierarchical types, ACM SIGPLAN Notices, v.34 n.9, p.172-182, Sept. 1999
	Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen, Programming languages as operating systems (or revenge of the son of the lisp machine), ACM SIGPLAN Notices, v.34 n.9, p.138-147, Sept. 1999
	Michael Sperber, Developing a stage lighting system from scratch, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Benjamin C. Pierce, Type systems, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	Michael Hicks , Suresh Jagannathan , Richard Kelsey , Jonathan T. Moore , Cristian Ungureanu, Transparent communication for distributed objects in Java, Proceedings of the ACM 1999 conference on Java Grande, p.160-170, June 12-14, 1999, San Francisco, California, United States
	Matthew Flatt, Composable and compilable macros:: you want it when?, ACM SIGPLAN Notices, v.37 n.9, p.72-83, September 2002
	Lars T. Hansen , William D. Clinger, An experimental study of renewal-older-first garbage collection, ACM SIGPLAN Notices, v.37 n.9, p.247-258, September 2002
	Jennifer Hamilton, Language integration in the common language runtime, ACM SIGPLAN Notices, v.38 n.2, February 2003
	William D. Clinger, How to read floating point numbers accurately, ACM SIGPLAN Notices, v.39 n.4, April 2004
	John Clements , Matthias Felleisen, A tail-recursive machine with stack inspection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.6, p.1029-1052, November 2004
	Oscar Waddell , R. Kent Dybvig, Extending the scope of syntactic abstraction, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.203-215, January 20-22, 1999, San Antonio, Texas, United States
	James Jennings , Eric Beuscher, Verischemelog: Verilog embedded in Scheme, ACM SIGPLAN Notices, v.35 n.1, p.123-134, Jan. 2000
	Robert Bruce Findler , Matthias Felleisen, Contracts for higher-order functions, ACM SIGPLAN Notices, v.37 n.9, p.48-59, September 2002
	Guy L. Steele , Jon L. White, How to print floating-point numbers accurately, ACM SIGPLAN Notices, v.39 n.4, April 2004
	David S. Goldberg , Robert Bruce Findler , Matthew Flatt, Super and inner: together at last!, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Zhe Yang, Encoding types in ML-like languages, Theoretical Computer Science, v.315 n.1, p.151-190, 5 May 2004
	Peng Li , Steve Zdancewic, Advanced control flow in Java card programming, ACM SIGPLAN Notices, v.39 n.7, July 2004
	Aleksandar M. Bakic´ , Matt W. Mutka , Diane T. Rover, An on-line performance visualization technology, Software—Practice & Experience, v.33 n.15, p.1447-1469, December 2003
	Michael D. Ernst , Greg J. Badros , David Notkin, An Empirical Analysis of C Preprocessor Use, IEEE Transactions on Software Engineering, v.28 n.12, p.1146-1170, December 2002
	Greg Pettyjohn , John Clements , Joe Marshall , Shriram Krishnamurthi , Matthias Felleisen, Continuations from generalized stack inspection, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Eli Barzilay , John Clements, Laziness without all the hard work: combining lazy and strict languages for teaching, Proceedings of the 2005 workshop on Functional and declarative programming in education, September 25-25, 2005, Tallinn, Estonia
	Kathi Fisler , Shriram Krishnamurthi , Leo A. Meyerovich , Michael Carl Tschantz, Verification and change-impact analysis of access-control policies, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Olin Shivers, The anatomy of a loop: a story of scope and control, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Adam Welc , Suresh Jagannathan , Antony Hosking, Safe futures for Java, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Jed Liu , Aaron Kimball , Andrew C. Myers, Interruptible iterators, ACM SIGPLAN Notices, v.41 n.1, p.283-294, January 2006
	Chung-Chieh Shan, A static simulation of dynamic delimited control, Higher-Order and Symbolic Computation, v.20 n.4, p.371-401, December 2007
	K. Yu. Lisovsky, XML Applications Development in Scheme, Programming and Computing Software, v.28 n.4, p.197-206, July-August 2002
	James Jennings , Eric Beuscher, Verischemelog: Verilog embedded in scheme, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.10-10, October 03-05, 1999, Austin, Texas
	Abdulaziz Ghuloum , R. Kent Dybvig, Implicit phasing for R6RS libraries, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Matthias Blume , Umut A. Acar , Wonseok Chae, Extensible programming with first-class cases, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
	Jacob Matthews , Robert Bruce Findler , Paul Graunke , Shriram Krishnamurthi , Matthias Felleisen, Automatically Restructuring Programs for the Web, Automated Software Engineering, v.11 n.4, p.337-364, October 2004
	Damien Ciabrini, Stack virtualization for source level debugging, Software—Practice & Experience, v.37 n.7, p.693-725, June 2007
	Guillaume Marceau , Gregory H. Cooper , Jonathan P. Spiro , Shriram Krishnamurthi , Steven P. Reiss, The design and implementation of a dataflow language for scriptable debugging, Automated Software Engineering, v.14 n.1, p.59-86, March 2007
	Shriram Krishnamurthi, EDUCATIONAL PEARL: Automata via macros, Journal of Functional Programming, v.16 n.3, p.253-267, May 2006
	Christian Queinnec, Continuations and Web Servers, Higher-Order and Symbolic Computation, v.17 n.4, p.277-295, December 2004
	Dipanwita Sarkar , Oscar Waddell , R. Kent Dybvig, EDUCATIONAL PEARL: A Nanopass framework for compiler education, Journal of Functional Programming, v.15 n.5, p.653-667, September 2005
	Matthias Felleisen , Robert Bruce Findler , Matthew Flatt , Shriram Krishnamurthi, The structure and interpretation of the computer science curriculum, Journal of Functional Programming, v.14 n.4, p.365-378, July 2004
	Peter Thiemann, Combinators for program generation, Journal of Functional Programming, v.9 n.5, p.483-525, September 1999
	Mark Lillibridge, Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC, Higher-Order and Symbolic Computation, v.12 n.1, p.75-104, April 1999
	Michael D. Adams , R. Kent Dybvig, Efficient nondestructive equality checking for trees and graphs, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Erik Meijer, Confessions of a used programming language salesman, ACM SIGPLAN Notices, v.42 n.10, October 2007
	David Herman, Functional pearl: the great escape or, how to jump the border without getting caught, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Geoffrey Mainland, Why it's nice to be quoted: quasiquoting for haskell, Proceedings of the ACM SIGPLAN workshop on Haskell workshop, September 30-30, 2007, Freiburg, Germany
	Matthew Flatt , Gang Yu , Robert Bruce Findler , Matthias Felleisen, Adding delimited and composable control to a production programming environment, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Ryan Culpepper , Matthias Felleisen, Debugging macros, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Alexey Radul, Report on the probabilistic language scheme, Proceedings of the 2007 symposium on Dynamic languages, October 22-22, 2007, Montreal, Quebec, Canada
	Jacob Matthews , Robert bruce Findler, An operational semantics for scheme1, Journal of Functional Programming, v.18 n.1, p.47-86, January 2008
	Luigi Liquori , Bernard paul Serpette, Irho: An imperative rewriting calculus, Mathematical Structures in Computer Science, v.18 n.3, p.467-500, June 2008
	Johan Nordlander , Magnus Carlsson , Andy J. Gill, Unrestricted pure call-by-value recursion, Proceedings of the 2008 ACM SIGPLAN workshop on ML, September 21-21, 2008, Victoria, BC, Canada
	William D Clinger, Scheme@33, Celebrating the 50th Anniversary of Lisp, p.1-5, October 20-20, 2008, Nashville, Tennessee
	Tasuku Hiraishi , Masahiro Yasugi , Seiji Umatani , Taiichi Yuasa, Backtracking-based load balancing, Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, February 14-18, 2009, Raleigh, NC, USA
	David O'Callaghan , Brian Coghlan, On-demand Trust Evaluation, Proceedings of the 7th IEEE/ACM International Conference on Grid Computing, p.144-151, September 28-29, 2006