www.schemers.com
The original Schemers, Inc. development team is now part of the Curriculum Development Group of the Institute for Mathematics and Computer Science (IMACS). The www.schemers.com website has moved with them.
The educational materials produced by Schemers, Inc. are incorporated into the online courses provided by eIMACS, the distance learning division of IMACS. Online courses include:
University Computer Science I, an introductory course that teaches the fundamental principles of computer science using Scheme.
University Computer Science II, an advanced course that utilizes the Scheme and Haskell programming languages to teach more challenging topics.
IMACS computer science courses focus on computational thinking and go well beyond just coding. The University Computer Science sequence provides a thorough understanding of core concepts, which enables students to adapt easily to any programming environment.
Students who successfully complete UCS2 have a better understanding of computer science than most college freshmen who have taken their university's introductory CS course. Because of this, IMACS UCS2 graduates are better prepared to succeed in upper-level university courses.
The www.schemers.com website is no longer maintained, but the following historical links and documents have been kept:
Compiled by: Ed Martin, Schemers Inc. Last updated: 07/20/2009
Note: indicates Scheme is used in an introductory course
- Adelphi University, Garden City, NY
- CSC 160: Computer Programming for Non-Majors
- Air Force Institute of Technology, Wright-Patterson Air Force Base, OH
- CSCE 623: Artificial Intelligence Systems Design
- Albert-Ludwigs-Universität, Freiburg, Germany
- 004000-0302: Introduction to Programming Techniques in AI
- Algoma University College, Sault Sainte Marie, ON, Canada
- COSC 3127: Programming Languages
- American University, Washington DC
- CSC 521: Design and Organization of Programming Languages
- Arizona State University, Tempe, AZ
- CSE 240: Introduction to Programming Languages
- Armstrong Atlantic State University, Savannah, GA
- CSCI 3330: Comparative Languages
- Bard College, Annandale-on-Hudson, NY
- CMSC 305: Designing Programming Languages
- Bar-Ilan University, Ramat Gan, Israel
- Programming Languages
- Beit Berl College, Kfar Saba, Israel
- Introduction to Algorithmics
- Beloit College, Beloit, WI
- CS 230: Programming Languages
- CS 270: Artificial Intelligence
- Ben Gurion University of the Negev, Beer-Sheva, Israel
- Principles of Programming Languages
- Blackburn College, Carlinville, IL
- CS 212: Introduction to Computer Science II — Paradigms
- CS 370: Artificial Intelligence/Cognitive Science
- Boston University, Boston, MA
- CS 320: Concepts of Programming Languages
- Brandeis University, Waltham, MA
- COSI 21b: Structure and Interpretation of Computer Programs
- Brigham Young University, Provo, UT
- CS 330: Concepts of Programming Languages
- Brown University, Providence, RI
- CS 017/018: Computer Science: An Integrated Introduction
- CS 173: Introduction to Programming Languages
- Brussels Free University (Vrije Universiteit Brussel), Belgium
- Structure of Computer Programs I
- Algorithms and Data Structures I
- Interpretation of Computer Programs I
- California Institute of Technology, Pasadena, CA
- CS 1: Introduction to Computation
- Carleton College, Northfield, MN
- CS 217: Programming Languages
- CS 327: Artificial Intelligence
- Carleton University, Ottawa, ON, Canada
- COMP 3007: Programming Paradigms
- Carolo Wilhelmina Technische Universität, Braunschweig, Germany
- Programming I
- Case Western Reserve University, Cleveland, OH
- EECS 345: Programming Language Concepts
- Central Connecticut State University, New Britain, CT
- CS 462: Artificial Intelligence
- Central Washington University, Ellensburg, WA
- CS 455: Artificial Intelligence
- City College of the City University of New York, New York, NY
- CSC 33500: Programming Language Paradigms
- Clarion University of Pennsylvania, Clarion, PA
- CIS 309: Functional Programming
- Clarkson University, Potsdam, NY
- CS 250: Symbolic Computation
- CS 341: Programming Languages
- CS 451: Artificial Intelligence
- Colgate University, Hamilton, NY
- COSC 202: Introduction to Symbolic Programming
- College Misericordia, Dallas, PA
- CPS 331: Organization of Programming Languages
- Colorado School of Mines, Golden, CO
- MACS 400: Principles of Programming Languages
- Colorado State University, Fort Collins, CO
- CS 454: Principles of Programming Languages
- Columbus State University, Columbus, GA
- CPSC 5135: Programming Languages
- CPSC 6129: Advanced Programming Languages
- Concordia University, Montréal, Québec, Canada
- COMP 348: Principles in Programming Languages
- COMP 472: Introduction to Artifical Intelligence
- Dartmouth College, Hanover, NH
- CS 18: Structure and Interpretation of Computer Programs
- CS 44: Artificial Intelligence
- DePauw University, Greencastle, IN
- CSC 122: Computer Science II
- CSC 330: Artificial Intelligence
- CSC 424: Programming Languages
- Dong-A University, Busan, Korea
- 901901: Introduction to Computer Programming
- École des Mines de Nantes, France
- Methods and Tools
- École des Mines de Saint-Étienne, France
- Introduction to Programming
- Advanced Programming 2A
- Advanced Programming ASI
- École Nationale Supérieure d'Informatique et des Mathématiques Appliquées de Grenoble (ENSIMAG), France
- Algorithms and Data Structures
- Fairleigh Dickinson University, Madison & Teaneck, NJ
- CSCI 3335: Nonnumerical Computing
- Florida Atlantic University, Boca Raton, FL
- COT 5310: Programming Languages
- Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany
- Algorithmik I
- Algorithmik II
- Goshen College, Goshen, IN
- COSC 340: Introduction to Artificial Intelligence
- Griffith College, Dublin, Ireland
- Computational Paradigms
- Grinnell College, Grinnell, IA
- CSC 151: Fundamentals of Computer Science I
- CSC 302: Programming Language Concepts
- Gustavus Adolphus College, St. Peter, MN
- MCS 177: Introduction to Computer Science I
- MCS 178: Introduction to Computer Science II
- MCS 287: Organization and Theory of Programming Languages
- MCS 375: Algorithms: Analysis and Design
- Hanover College, Hanover, IN
- CS 121: Introduction to Computer Science
- Harvard University, Cambridge, MA
- CS 152: Principles of Programming Languages
- Haverford College, Haverford, PA
- CMSC 245: Principles of Programming Languages
- The Hebrew University of Jerusalem, Israel
- Programming Languages Laboratory
- Helsinki University of Technology, Finland
- T-93.210: Basic Course in Programming
- T-93.5100: Functional Programming
- T-93.5350: Principles of Programming Languages
- Hiroshima University, Japan
- Information System Engineering Experiment I
- Hochschule für Technik, Wirtschaft und Sozialwesen, Zittau/Görlitz, Germany
- Theory of Formal Languages and Automata
- Language Translator / Computability Theory
- Complexity Theory
- Paradigms of Programming
- Hong Kong University of Science & Technology, Kowloon, Hong Kong
- COMP 300B: Functional Programming
- Illinois Institute of Technology, Chicago, IL
- CS 480: Artificial Intelligence
- Indian Institute of Science, Bangalore, India
- Programming Languages
- Indiana University, Bloomington, IN
- C211: Introduction to Computer Science
- C311: Programming Languages
- P423: Compilers
- B351: Introduction to Artificial Intelligence and Computer Simulation
- B521: Programming Language Principles
- B551: Elements of Artificial Intelligence
- B552: Knowledge Based Computation
- B621: Advanced Concepts in Programming Languages
- Indiana University East, Richmond, IN
- C201: Introduction to Computer Science
- Instituto Superior de Linguas e Administração, Lisbon, Portugal
- Symbolic Computation
- Instituto Superior Técnico, Lisbon, Portugal
- Functional Programming
- The Interdisciplinary Center, Herzliya, Israel
- Functional and Logic Programming
- Iowa State University, Ames, IA
- Com S 342: Principles of Programming Languages
- Istanbul Bilgi University, Istanbul, Turkey
- COMP 111: Introduction to Programming I
- COMP 112: Introduction to Programming II
- COMP 313: Structure and Interpretation of Computer Programs
- COMP 314: Principles of Programming Languages
- ITESM-Campus Estado de México, Mexico
- CB00-853: Programming Languages
- ITESM-Campus Guadalajara, Mexico
- Artificial Intelligence
- ITESM-Campus Monterrey, Mexico
- TC2006: Programming Languages
- ITESM-Campus San Luis Potosí, Mexico
- CB95-853: Programming Languages
- ITESM-Campus Sinaloa, Mexico
- CB95-821: Computer Science I
- Ithaca College, Ithaca, NY
- 312-17100: Principles of Computing Science I
- 312-32100: Programming Languages
- İzmir Yüksek Teknoloji Enstitüsü (İzmir Institute of Technology), Urla İzmir, Turkey
- CENG212: Concepts of Programming Languages
- John Carroll University, Cleveland, OH
- CS 465: Programming Languages
- Kansas State University, Manhattan, KS
- CIS 505: Introduction to Programming Languages
- Kent State University, Kent, OH
- CS 33101: Structure of Programming Languages
- Koç University, Istanbul, Turkey
- COMP 101: Structure and Interpretation of Computer Programs
- Korea Advanced Institute of Science and Technology, Daejeon, Korea
- CS 220: Programming Principles
- Korea University, Seoul, Korea
- CSIE 204: Programming Language
- La Trobe University, Melbourne, Australia
- CSE 32FUN: Functional Programming
- Lawrence University, Appleton, WI
- CMSC 460: Programming Languages
- Lindenwood University, St. Charles, MO
- CSC 221: Language Workshop
- Linköping University, Sweden
- HIBA 20: Programming I
- Ludwigs-Maximilians University, Munich, Germany
- Computer Science I
- Programming Lab
- Macalester College, St. Paul, MN
- CS 123: Introduction to Algorithms and Abstraction
- Maharishi University of Management, Fairfield, IA
- CS 470: Knowledge-Based Systems
- Massachusetts Institute of Technology, Cambridge, MA
- 6.001: Structure and Interpretation of Computer Programs
- 6.003: Signals and Systems
- 6.034: Artificial Intelligence
- 6.821: Programming Languages
- 6.844: Computability Theory of and with Scheme
- McGill University, Montréal, Québec, Canada
- COMP 302: Programming Languages and Paradigms
- Medgar Evers College of The City University of New York, Brooklyn, NY
- CS 280: Artificial Intelligence
- Memorial University of Newfoundland, St. John's, Newfoundland, Canada
- CS 3717: Symbolic Computation and Recursion
- Mills College, Oakland, CA
- CS 114: Programming Languages
- Mindanao State University – Iligan Institute of Technology, Iligan City, Philippines
- CSC 101: Introduction to Computer Programming
- CSC 145: Programming Languages
- Minneapolis Community and Technical College, Minneapolis, MN
- CSCI 1901: Structure of Computer Programming 1
- National Central University, Chungli, Taiwan
- Introduction to Computer Science I/II
- National Taiwan University, Taipei, Taiwan
- Introduction to Computer Science II
- National University of Singapore, Singapore
- CS 2104: Programming Language Concepts
- National Yunlin University of Science and Technology, Yunlin, Taiwan
- Programming Languages
- Advanced Programming Languages
- New Mexico Institute of Mining and Technology, Socorro, NM
- CS 189: Structure and Interpretation of Computer Programs
- New Mexico State University, Las Cruces, NM
- CS 451: Functional Programming
- CS 471: Programming Language Structure I
- New York University, New York, NY
- G22.2110-001: Programming Languages
- Norges Teknisk-Naturvitenskapelige Universitet (Norwegian University of Science and Technology), Trondheim, Norway
- IT 2105: Functional Programming
- Normandale Community College, Bloomington, MN
- CSCI 2001: Structure of Computer Programming I
- North Carolina State University, Raleigh, NC
- CSC 417: Theory of Programming Languages
- Northeastern University, Boston, MA
- CS U211: Fundamentals of Computer Science I
- CS U660: Programming Languages
- Northwestern University, Evanston, IL
- CS 111: Fundamentals of Computer Programming I
- Nova Southeastern University, Davie, FL
- CSC 1000/2150: Introduction to Computer Programming I/II
- CISD 700: Theory and Principles of Programming
- Oberlin College, Oberlin, OH
- CS 275: Computer Science III
- CS 280: Computer Science IV
- CS 341: Operating Systems
- CS 364: Artificial Intelligence
- CS 386: Advanced Concepts in Programming Languages
- Ohio Northern University, Ada, OH
- EECS 341: Artificial Intelligence
- Ohio University, Athens, OH
- CS 300: Programming Languages
- Ohio Wesleyan University, Delaware, OH
- CS 340: Artificial Intelligence
- CS 370: Programming Languages
- ORT Academic College for Teachers in Technology, Jerusalem, Israel
- 42401: Introduction to Functional Programming
- 42406: Advanced Programming
- Orta Doğu Teknik Üniversitesi (Middle East Technical University), Ankara, Turkey
- CEng 111: Introduction to Computer Engineering Concepts
- ORT Braude College of Engineering, Karmiel, Israel
- 03-03-6-3-01: Advanced Programming
- Pädagogische Hochschule Ludwigsburg, Germany
- Introduction to Mathematics
- Analysis
- Palacky University, Olomouc, Czech Republic
- PP1AI: Programming Paradigms I
- PP2AI: Programming Paradigms II
- Park College at Tinker Air Force Base, OK
- CS 305: Introduction to Artificial Intelligence
- The Pennsylvania State University, University Park, PA
- CSE 436: Programming Languages
- Pontifícia Universidade Católica do Rio de Janeiro (PUC/Rio), Brazil
- INF 1001: Introduction to Computer Science
- Portland State University, Portland, OR
- CS 558: Programming Languages
- Purdue University, West Lafayette, IN
- CS 456: Programming Languages
- CS 565: Programming Languages
- CS 615: Numerical Methods for Partial Differential Equations
- Queen Mary, University of London, London, UK
- DCS 312: Compilers and Interpreters
- Queensland University of Technology, Brisbane, Australia
- ITB001: Problem-Solving and Programming
- Queen's University, Kingston, ON, Canada
- CISC 260: Programming Paradigms
- Rice University, Houston, TX
- COMP 210: Principles of Computing and Programming
- COMP 280: Mathematics of Computation
- COMP 311: Programming Languages
- COMP 360: Computer Graphics
- COMP 411: Advanced Programming Languages
- COMP 440: Artificial Intelligence
- COMP 481: Automata, Formal Languages, and Computability
- Rochester Institute of Technology, Rochester, NY
- 4003-450: Programming Language Concepts with Robots
- Rockford College, Rockford, IL
- CSCI 367: Programming Languages
- Roger Williams University, Bristol, RI
- COMSC 230: Principles of Programming Languages
- Rose-Hulman Institute of Technology, Terre Haute, IN
- CSSE 304: Programming Language Concepts
- CSSE 413: Artificial Intelligence
- Rowan University, Glassboro, NJ
- 0701.102: Introduction to Programming
- 0704.315: Programming Languages
- Rutgers, The State University of New Jersey, New Brunswick, NJ
- CS 314: Principles of Programming Languages
- CS 440: Introduction to Artificial Intelligence
- Saint Olaf College, Northfield, MN
- CS 121: Principles of Computer Science
- San José State University, San José, CA
- CS 152: Programming Language Paradigms
- CS 252: Advanced Programming Language Principles
- Santa Clara University, Santa Clara, CA
- COEN 172/261: Structure and Interpretation of Computer Programs
- Southern Illinois University, Edwardsville, IL
- CS 330: Programming Languages
- State University of New York at Plattsburgh, NY
- CSC 314: Non-imperative Programming in Lisp and Prolog
- Stevens Institute of Technology, Hoboken, NJ
- CS 496: Programming Languages
- CS 510: Theory of Programming Languages
- Swarthmore College, Swarthmore, PA
- CPSC 037: Structure and Interpretation of Programs
- CPSC 063: Artificial Intelligence
- Syracuse University, Syracuse, NY
- CIS 252: Introduction to Computer Science
- Technion — Israel Institute of Technology, Haifa, Israel
- 045263: Structure and Interpretation of Computer Programs
- Tel-Aviv University, Israel
- 0368.1105: Extended Introduction to Computer Science
- Texas Tech University, Lubbock, TX
- CS 5301/5302: Foundations of Computer Science I/II
- Tokyo Institute of Technology, Japan
- Information Science Experiment I
- Trinity University, San Antonio, TX
- CS 1301: Great Ideas in Computer Science
- CS 2322: Principles of Functional Languages
- Tulane University, New Orleans, LA
- CPSC 350: Programming Language Structures
- CPSC 466: Artificial Intelligence
- Union College, Schenectady, NY
- CSC 370: Programming Languages
- United States Coast Guard Academy, New London, CT
- CS 7308: Programming Languages
- CS 7316: Artificial Intelligence
- United States Naval Academy, Annapolis, MD
- SI 304: Programming Languages
- Universidad Autónoma de Baja California, Mexico
- 001067: Programming Languages
- 011270: Functional Programming
- 010770: Artificial Intelligence
- Universidad Central de Chile, Santiago, Chile
- ICCI-17: Fundamentals of Programming Languages
- ICCI-18: Data Structures
- ICCI-45: Automatic Control
- ICCI-51: Knowledge Engineering
- Universidad de Alicante, Alicante, Spain
- Programming Languages and Paradigms
- Universidad de Oriente, Núcleo de Anzoátegui, Venezuela
- 72-3314: Programming Languages
- Universidade do Minho, Guimarães, Portugal
- 8601N5: Foundations of Computer Programming
- Universidade do Porto, Porto, Portugal
- EIC 1111: Fundamentos da Programação
- Universidade Federal de Santa Catarina, Florianópolis, SC, Brazil
- DAS 5102: Fundamentos da Estrutura da Informação
- Universidad Metropolitana, Caracas, Venezuela
- BBS 100: Computer Programming I
- BBS 200: Data Structures
- ISSE 22: Artificial Intelligence
- Universidad Simón Bolívar, Caracas, Venezuela
- CI 2611: Structures and Algorithms I
- CI 6532: Introduction to Artificial Intelligence
- Universidad Tecnológica Nacional, Facultad Regional Santa Fe, Argentina
- Programming Paradigms
- Universität Mannheim, Germany
- Practical Computer Science I
- Université Claude Bernard Lyon 1, Villeurbanne, France
- DEUG MIAS, Module 1.1: Algorithms
- Université du Luxembourg, Grand Duchy of Luxembourg
- Mathematics for Computer Science
- Université Joseph Fourier, Grenoble, France
- Module A2
- Université Paul Sabatier, Toulouse, France
- IUP SI 1 & ISI 1: Introduction to Programming I/II
- IUP SI 2: Artificial Intelligence
- Module 3: Principles of Imperative and Functional Programming
- Université de Sherbrooke, Sherbrooke, Québec, Canada
- IFT 359: Functional Programming
- University College Cork, Ireland
- CS 253/4: Data Structures
- CS 355/6: Compiler Theory and Practice
- The University College of the Cariboo, Kamloops, BC, Canada
- COMP 128: Principles of Computing Science
- University of Aarhus, Denmark
- dOvs: Compilation
- University of Adelaide, Australia
- 9811: Advanced Programming Paradigms
- 2651: Advanced AI and Machine Learning
- University of Alabama, Tuscaloosa, AL
- CS 603: Programming Language Organization
- University of Amsterdam (Applied Logic Laboratory), The Netherlands
- 31F032: Introduction to Programming
- University of Arizona, Tucson, AZ
- ECE 473: Software Engineering Concepts
- University of Arkansas, Fayetteville, AR
- CSCE 4313: Introduction to Programming Languages
- University of Bordeaux, France
- Programming and Programming Languages
- University of Bridgeport, Bridgeport, CT
- CS 325: Structure and Interpretation of Computer Programs
- University of British Columbia – Okanagan, Kelowna, BC, Canada
- COSC 111: Computer Programming I
- COSC 121: Computer Programming II
- COSC 231: Principles of Computer Science
- University of British Columbia, Vancouver, BC, Canada
- CPSC 311: Introduction to Programming Languages
- University of Calgary, Calgary, Alberta, Canada
- CS 449: Principles of Programming Languages
- CS 533: Artificial Intelligence
- University of California, Berkeley, CA
- CS 3: Introduction to Symbolic Programming
- CS 61A: Structure and Interpretation of Computer Programs
- University of California, Davis, CA
- ECS 140A: Programming Languages
- ECS 240: Programming Languages
- University of California, Irvine, CA
- ICS H21: Introduction to Computer Science I (Honors)
- Informatics 41: Informatics Core Course I
- ICS 22: Introduction to Computer Science II
- University of California, Los Angeles, CA
- CS 161: Fundamentals of Artificial Intelligence
- CS 264A: Artificial Intelligence Programming I
- University of California, Santa Barbara, CA
- MATH 104ABC: Introduction to Numerical Analysis
- University of California, Santa Cruz, CA
- CMPS 112: Comparative Programming Languages
- University of Cape Town, South Africa
- CSC 105W: Computer Science I
- CSC 110H: CS Academic Assistance Programme, Part I
- University of Chicago, Chicago, IL
- CMSC 10500: Fundamentals of Computer Programming I
- CMSC 11500/11600: Introduction to Computer Programming I
- CMSC 12500: Honors Introduction to Computer Programming I
- University of Cincinnati, Cincinnati, OH
- CS 323: Programming Language Methodology
- CS 511: Organization of Programming Languages
- University of Colorado, Boulder, CO
- INFS 6800: Artificial Intelligence Programming
- University of Colorado, Colorado Springs, CO
- CS 316: Concepts of Programming Languages
- University of Colorado, Denver, CO
- CSC 1410: Fundamentals of Computing
- CS 5818: AI Methodology
- University of Dallas, Irving, TX
- MCS 2410: Introduction to Computer Science
- MCS 3352: Programming Languages
- University of Delaware, Newark, DE
- CISC 280: Programming Paradigms
- University of Dublin, Trinity College, Ireland
- 3BA1: Numerical Programming
- 3BA2: AI & Programming Abstractions
- University of Edinburgh, Scotland
- 858A: Artificial Intelligence II
- 858E/G: Artificial Intelligence & CS III
- 858F: Artificial Intelligence & CS IV
- University of Florida, Gainesville, FL
- COP 3212: Introduction to Computer and Information Sciences
- University of Franche-Comté, Besançon, France
- Mathematics applied to Physics and Computer Science
- Functional Programming
- University of Fribourg, Switzerland
- Informatik IA
- Functional Programming
- University of Geneva, Switzerland
- 1803: Introduction to Computer Science
- University of Hannover, Germany
- Programming I
- University of Hong Kong, Hong Kong
- CS 202: Principles of Programming Languages
- University of Iceland, Reykjavik, Iceland
- 09.12.33: Programming Languages
- University of Illinois at Urbana-Champaign, IL
- CS 322: Programming Language Design
- University of Kansas, Lawrence, KS
- EECS 188: Computational Problem Solving
- EECS 630: Artificial Intelligence
- EECS 662: Programming Languages
- EECS 665: Compilers
- University of Karlskrona/Ronneby, Sweden
- DDV 204: Programming Paradigms
- University of Liège, Belgium
- INFO-054-0: Elements of Programming
- INFO-055-0: Semantics of Programming
- INFO-004-0: Programming Languages
- INFO-005-0: Programming Methodology
- INFO-013-0: Sequential Systems
- INFO-021-0: Calculation with Symbolic Expressions
- University of Lille, France
- Introduction to Computer Science
- University of Limburg, Belgium (Department of Theoretical Computer Science)
- Artificial Intelligence
- University of Louisville, KY
- EMCS 301: Introduction to Computer Science and Engineering
- University of Massachusetts, Amherst, MA
- CMPSCI 287: Programming Language Paradigms
- University of Massachusetts, Boston, MA
- CS 350: Structure of Higher Level Languages
- University of Massachusetts, Lowell, MA
- 91.301: Organization of Programming Languages
- 91.531: Programming Language Design
- University of Milano, Italy
- Milano campus: Programmazione II (Advanced Programming)
- Crema campus: Algoritmi e Strutture Dati (Algorithms and Data Structures)
- University of Minnesota (Twin Cities), Minneapolis, MN
- CSCI 1901: Structure of Computer Programming I
- University of Minnesota (Duluth), Duluth, MN
- CS 1621/22: Introduction to Computer Science I/II
- University of Minnesota (Morris), Morris, MN
- CSCI 1302: Problem Solving and Algorithm Development I
- University of Missouri, Kansas City, MO
- CS 441: Programming Languages
- University of Nebraska, Omaha, NE
- CSCI 4220-001: Programming Languages
- University of New England, Armidale, NSW, Australia
- COMP318: Non-Procedural Languages
- University of New Mexico, Albuquerque, NM
- CS 257: Nonimperative Programming
- CS 451: Programming Paradigms
- University of Nice, France
- Introduction to Applicative Programming
- Functional Programming
- Logic for Computer Science and Semantics
- University of Nijmegen, The Netherlands
- CO 336: Constraint Based Reasoning
- CO 320: Structure and Interpretation of LISP Programs
- University of Notre Dame, Notre Dame, IN
- CSE 233: Functional Programming
- CAPP 385: Artificial Intelligence
- University of Oregon, Eugene, OR
- CIS 471/571: Introduction to Artificial Intelligence
- CIS 624: Structure Programming Languages
- University of Oslo, Norway
- SLI 3: Introduction to Computer Programming
- SLI 5: Advanced Computer Programming
- IN 314: LISP
- University of Pittsburgh, Pittsburgh, PA
- BAIM 2009: Introduction to AI Programming
- BAIM 3011: Structure and Interpretation of Computer Programs
- University of Poona, India
- Programming Paradigms
- University of Puerto Rico, Mayagüez, PR
- ICOM 4036: Structure and Properties of Programming Languages
- University of Queensland, Brisbane, Australia
- CSSE1001: Introduction to Software Engineering I
- University of Rochester, Rochester, NY
- CS 241: Lisp of Cognitive Science
- University of South Carolina, Columbia, SC
- CSCI 330: Programming Languages
- University of Southampton, England
- CM 203: Computational Systems
- CM 333: Programming Language Design
- University of Strathclyde, Glasgow, Scotland
- 52.135: Structure of Computer Programs I
- 52.136: Structure of Computer Programs II
- 52.217: Functional Programming
- University of Sydney, Sydney, Australia
- COMP 3006/3806: Declarative Programming Languages
- University of the South, Sewanee, TN
- CS 376: Programming Languages
- University of Texas at Austin, TX
- CS 307: Foundations of Computer Science
- University of Texas at El Paso, TX
- CS 1401: Introduction to Computer Science
- University of Toronto, Toronto, ON, Canada
- CSC 104: Why and How of Computing (for non-majors)
- CSC 324: Principles of Programming Languages
- CSC 326: Programming Languages (for Electrical Engineering)
- University of Tübingen, Germany
- Concepts of Programming Languages
- Partial Evaluation & Automatic Program Generation
- University of Utah, Salt Lake City, UT
- CS 351: Programming Language Structure
- University of Victoria, Victoria, BC, Canada
- CS 330: Programming Languages
- University of Virginia, Charlottesville, VA
- CS 200: Computer Science (from Ada and Euclid to Quantum Computing and the World Wide Web)
- University of Waterloo, Waterloo, ON, Canada
- CS 135: Designing Functional Programs
- CS 136: Elementary Algorithm Design and Data Abstraction
- CS 241: Foundations of Sequential Programs
- CS 442: Principles of Programming Languages
- University of Western Australia, Crawley, Western Australia
- CS 301: Functional Programming
- University of Wisconsin, Eau Claire, WI
- CS 186: Foundations of Computer Science II
- CS 330: Programming Languages
- CS 410: Artificial Intelligence I
- University of York, England
- PoP: Principles of Programming
- Uppsala University, Sweden
- 2AD088: Methods of Programming
- Valparaiso University, Valparaiso, IN
- CS 157: Algorithms and Programming
- Vassar College, Poughkeepsie, NY
- CS 122/123: Computer Science I/II
- Villanova University, Villanova, PA
- CSC 8310: Linguistics of Programming Languages
- Wabash College, Crawfordsville, IN
- CS 5: Programming Languages
- Washington University, St. Louis, MO
- CS 455S: Programming Systems and Languages
- Washington and Lee University, Lexington, VA
- CSci 312: Programming Language Design
- CSci 315: Artificial Intelligence
- Wellesley College, Wellesley, MA
- CS 251: Theory of Programming Languages
- Wesleyan University, Middletown, CT
- COMP 211: Introduction to Computer Science
- Western Washington University, Bellingham, WA
- CS 211: Discrete Structures and Functional Programming I
- CS 311: Discrete Structures and Functional Programming II
- CS 402: Artificial Intelligence
- CS 410: Programming Languages
- West Virginia University, Morgantown, WV
- CS 136: Principles of Programming Languages
- CS 286: Introduction to Artificial Intelligence
- Williams College, Williamstown, MA
- CS 109: Art & Science of Computer Graphics
- CS 371: Computer Graphics
- CS 373: Artificial Intelligence
- Worcester Polytechnic Institute, Worcester, MA
- CS 2135: Programming Language Concepts
- Wright State University, Dayton, OH
- CS 480/680: Comparative Languages
- CS 784: Programming Languages
- Yale University, New Haven, CT
- CptSci 201a: Introduction to Computer Science
Additional Colleges/Universities Using Scheme (without details)
Brest University, France
Caen University, France
City University, London, England
École Nationale de l'Aviation Civile, Toulouse, France
Indian Institute of Technology, Kanpur, India
Institut des Sciences de Yamoussoukro, Ivory Coast
Koblenz University, Germany
Nancy University, France
Orléans University, France
Paris VI University, France
Portsmouth Polytechnic, England
Radford University, Radford, VA
Reed College, Portland, OR
Rennes University, France
Sussex University, Brighton, England
University of Deusto, Spain
University of Dortmund, Germany
University of Liverpool, England
University of Montréal, Canada
University of North Texas, Denton, TX
University of Tokyo, Japan
Virginia Polytech Institute and State University, Blacksburg, VA
Secondary Schools Using Scheme
Academy for Positive Learning, Lake Worth, FL
A. J. Moore Academy, Waco, TX
Albuquerque Academy, Albuquerque, NM
American International School, Riyadh, Saudi
Arabia
Awty International School, Houston, TX
Bishop Lynch High School, Dallas, TX
Blackburn College, England
Boca Raton Christian School, Boca Raton, FL
Booker T. Washington High School for Engineering Professions, Houston, TX
Boston University Academy, Boston, MA
Carver High School of Engineering and Science, Philadelphia, PA
Castilleja School, Palo Alto, CA
Catlin Gabel School, Portland, OR
Central Magnet High School, Bridgeport, CT
Charles H. Milby High School, Houston, TX
Cistercian Preparatory School, Irving, TX
Commonwealth School, Boston, MA
Darien High School, Darien, CT
Desert Pines High School
(Academy of Information Technology), Las Vegas, NV
Duke University TIP, Durham, NC
École Alsacienne, Paris, France
Elsik High School, Houston, TX
Episcopal High School, Bellaire, TX
Framingham High School, Framingham, MA
Friends Seminary, New York, NY
Georg-Christoph-Lichtenberg-Schule, Kassel, Germany
Gilford Middle-High School, Gilford, NH
Greens Farms Academy, Greens Farms, CT
Hamilton Heights High School, Arcadia, IN
Gymnasium im Kannenbäckerland, Medard, Germany
Hampton High School, Hampton, VA
Henry M. Gunn High School, Palo Alto, CA
Henry Wise Wood Senior High School, Calgary, Alberta, Canada
Hildegardis-Schule, Hagen,
Germany
Holland Hall, Tulsa, OK
Institute for Mathematics and Computer Science, Plantation, FL
Inter-Lakes High School, Meredith, NH
Jackson Memorial High School, Jackson, NJ
John Burroughs High School, Burbank, CA
The Johns Hopkins University CTY, Baltimore, MD
Jupiter Christian School, Jupiter, FL
Kecoughtan High School, Hampton, VA
Kepler Gymnasium, Tübingen, Germany
Lake Forest Academy, Lake Forest, IL
Lake Highland Prep School, Orlando, FL
Lake Ridge Academy, North Ridgeville, OH
Lick-Wilmerding High School, San Francisco, CA
Louis E. Dieruff High School (Academy of Information Technology), Allentown, PA
Maharishi School, Fairfield, IA
Milton Academy, Milton, MA
The Mirman School, Los Angeles, CA
Mount Hope High School, Bristol, RI
New College, Swindon, England
New Horizons
Governor's School for Science and Technology, Hampton, VA
The North Broward School, Coconut Creek, FL
Nova High School, Fort Lauderdale, FL
Oregon High School, Oregon, WI
Overland High School, Aurora, CO
Owatonna Senior High School, Owatonna, MN
Penn High School, Mishawaka, IN
Phillips Academy, Andover, MA
Phoebus High School, Hampton, VA
Plantation High School, Plantation, FL
Polytechnic School, Pasadena, CA
Ransom Everglades School, Coconut Grove, FL
Rumson Country Day School, Rumson, NJ
St. Thomas' Episcopal School, Houston, TX
Savannah Country Day School, Savannah, GA
Seneca High School, Seneca, MO
University High School, Waco, TX
Valhalla High School, Valhalla, NY
Viewpoint School, Calabasas, CA
Weston High School, Weston, MA
Westside High School, Houston, TX
Woburn High School, Woburn, MA
Woodlands High School, Falkirk, Scotland