Lecture Notes: Theory (and Practice) of Programming Languages
=============================================================

COMP 371/471
| `Department of Computer Science <http://luc.edu/cs>`_
| `Loyola University Chicago <http://luc.edu>`_

You have reached the home of the Programming Languages course (COMP 371/471) in the Computer Science Department of Loyola University Chicago.

*Welcome! Willkumme! ¡Bienvenidos/as! Benvenuti/e!*

.. warning::

   These notes are still being written, so expect a few rough edges. But we're getting closer!


Build Status
------------

.. raw:: html

   <p><a href="https://github.com/lucproglangcourse/lucproglangcourse.github.io/actions/workflows/main.yml"><img src="https://github.com/lucproglangcourse/lucproglangcourse.github.io/actions/workflows/main.yml/badge.svg" alt="Build Status" /></a></p>

This book is written using the Python Sphinx documentation tool.
It automatically builds and deploys using GitHub Actions (a continuous integration system).
All commits trigger a rebuild of the book and, if successful, a deployment to GitHub pages.

Book Web Site
   `lucproglangcourse.github.io <https://lucproglangcourse.github.io>`_

Book PDF (Latest Relase)
   `github.com/lucproglangcourse/lucproglangcourse.github.io/releases/latest/download/proglang.pdf <https://github.com/lucproglangcourse/lucproglangcourse.github.io/releases/latest/download/proglang.pdf>`_
   
Book Source Code
   `github.com/lucproglangcourse/lucproglangcourse.github.io <https://github.com/lucproglangcourse/lucproglangcourse.github.io>`_


How to Contribute
-----------------

Your contributions are *highly welcome!*
Please submit `issues <https://github.com/lucproglangcourse/lucproglangcourse.github.io/issues>`_ and `pull requests <https://github.com/lucproglangcourse/lucproglangcourse.github.io/pulls>`_.


Contents
--------

.. todo:: Ensure proper structural mapping from Sphinx to LaTeX

.. toctree::
   :maxdepth: 2
   :numbered:

   05-overview
   10-background
   20-imperative
   30-objectoriented
   40-functional
   50-representationinterpretation
   60-concurrency
   70-logic
   75-otherparadigms
   78-summary

   80-principles
   83-resources
   85-software 
   90-syllabus
   95-todo

Indices and tables
------------------

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

.. todo:: add sample projects, activities, tests, and (tiered) master list for presentations

.. todo:: add stuff from https://trello.com/c/kAMGZ4uf/28-add-in-next-iteration


.. note:: AI Disclosure: This text contains a mix of original writing and programming with strategic use of ChatGPT via intentional prompting. Some examples will be available in our repository with an appropriate build configurations and tests. We may also make some prompts and analyses available, similar to what my colleagues have done for their recent ongoing study of ChatGPT and Systems Programming. See https://doi.org/10.6084/m9.figshare.22257274.