.. This file is part of the OpenDSA eTextbook project. See
.. http://opendsa.org for more details.
.. Copyright (c) 2011-2023 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. OpenDSA documentation master file, created by
   sphinx-quickstart on Sat Mar 17 18:07:39 2012.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

.. avmetadata:: OpenDSA Sample eTextbook
   :author: OpenDSA Contributors
   :topic: Data Structures

.. chapnum::
   :start: 0
   :prefix: Chapter


.. _index:


.. raw:: html

   <script>ODSA.SETTINGS.DISP_MOD_COMP = false;ODSA.SETTINGS.MODULE_NAME = "index";ODSA.SETTINGS.MODULE_LONG_NAME = "Contents";ODSA.SETTINGS.MODULE_CHAPTER = ""; ODSA.SETTINGS.BUILD_DATE = "2023-10-01 11:19:38"; ODSA.SETTINGS.BUILD_CMAP = false;</script>


.. |--| unicode:: U+2013   .. en dash
.. |---| unicode:: U+2014  .. em dash, trimming surrounding whitespace
   :trim:


Preface
=======

.. toctree::
   :numbered:
   :maxdepth: 3

   Intro

Grammars
========

.. toctree::
   :numbered:
   :maxdepth: 3

   Grammars1
   Grammars2
   Grammars3
   Grammars4
   Grammars5

Functional Programming
======================

.. toctree::
   :numbered:
   :maxdepth: 3

   FP1
   FP2
   FP3
   FP4
   FP5
   FP6
   FP7
   FP8
   FP9

Lambda Calculus
===============

.. toctree::
   :numbered:
   :maxdepth: 3

   Syntax
   Semantics
   FreeBoundVariables
   AlphaConversion
   Substitution
   BetaReduction
   ReductionStrategies
   ChurchNumerals
   RecursiveFunctions

Interpreting the Functional Language SLang 1
============================================

.. toctree::
   :numbered:
   :maxdepth: 3

   SLang1
   Environment
   SLang1withLetExpressions

Interpreting the Imperative Language SLang 2
============================================

.. toctree::
   :numbered:
   :maxdepth: 3

   SLang2
   SLang2TTK

Variations on Parameter Passing
===============================

.. toctree::
   :numbered:
   :maxdepth: 3

   SLang2ParameterPassing
   LazyLists

Type Systems
============

.. toctree::
   :numbered:
   :maxdepth: 3

   TypeSystems
   TypeInference

Appendices
==========

.. toctree::
   :numbered:
   :maxdepth: 3

   PL_Glossary


.. toctree::
   :maxdepth: 3


* :ref:`genindex`
* :ref:`search`