CS 350 Sem I 2014-15

"19: A language that doesn't affect the way you think about programming, is not worth knowing." - Alan J. Perlis

Text Concepts, Techniques and Models of Computing by van Roy and Haridi. We will also use research articles and other books.

Schedule M Th 2-3:30 pm

Classroom Kadim Diwan 101

Top

Top

Top

1. Introduction
2. 01-08-2014 Introduction to Functional Programming in Oz
3. 04-08-2014 Transcript
4. 07-08-2014 Transcript Hamming's Problem
5. 10-08-2014 Threads
6. 11-08-2014 The Declarative Sequential Model
7. 14-08-2014 " (discussed suspendable and nonsuspendable statements)
8. 18-08-2014 " (creating record and procedure values in store, closures.)
9. 21-08-2014 " (Unification for binding)
10. 23-08-2014 Introduction to the Untyped Lambda Calculus
11. 25-08-2014 " (α, β, η, and application)
12. 28-08-2014 " (Abstract Data Types)
13. 22-09-2014 Declarative Concurrent Model
14. 25-09-2014 "
15. 29-09-2014 "
16. 09-10-2014 Stream-based Programming in Oz
17. 13-10-2014 Message-Passing Model
18. 16-10-2014 "
19. 19-10-2014 "
20. 20-10-2014 "
21. 23-10-2014 "
22. 27-10-2014 States and Object-oriented Languages
23. 30-10-2014 Introduction to Ruby
24. 02-11-2014 "
25. 03-11-2014 "
26. 08-11-2014 "
27. 10-11-2014 Type Inference
28. 13-11-2014 "

Top

1. Mozart
2. Erlang
3. Smalltalk

Top

1. Wikipedia
2. Stackoverflow
3. Duchier, Gardent and Niehren. Concurrent Constraint Programming in Oz for Natural Language Processing, 2002.

1. Gabriel, Richard P. The Why of Y, circa 1980s.

Top

1. Kay, Alan. The Early History of Smalltalk, 1993.

Top

1. Wadler, Philip, Why No One Uses Functional Languages, 1998.

   Myths and Realities of functional Languages. Emphasizes the need for popular applications written in functional languages.

2. Hughes, John. Why Functional Programming Matters, 1984.

   In addition to "referential transparency" and the lack of mutable state, the article explains how functional programs modularize better than imperative ones, because of two new glues - higher order functions and lazy evaluation.

3. van Roy, Peter. Programming Paradigms for Dummies: What Every Programmer Should Know. (2009?)

   Another version of the first chapter of the textbook. Can be read independently.

4. Stratchey, Christopher. Fundamental Concepts in Programming Languages

   An influential, informative set of lecture notes.

5. Moseley, Ben and Marks, Peter. Out of the Tar Pit

   Argues why mutable state sucks.

6. Graham, Paul. Roots of Lisp, 2001.

   Explains what makes Lisp different

7. Stallman, Richard. My Lisp Experiences and the Development of GNU Emacs, 2002.

   Explains the balance of C code and Emacs Lisp code in the design of emacs

8. John McCarthy Interview, 2008.
9. Landin, P. J. The Next 700 Programming Languages
10. Landin, P. J. Correspondence between ALGOL 60 and Church's Lambda Notation, part I
11. Landin, P. J. Correspondence between ALGOL 60 and Church's Lambda Notation, part II

    Explains how imperative languages and control constructs relate to \(\lambda\) calculus.