Lambda Forever!

Session Summaries


CS 3540

Programming Languages
and Paradigms

Spring Semester 2017



Getting Started

# Date Session Code Hmwk
01 01/09 A Gentle Introduction to the Study of Languages zip Homework 0


An Introduction to Functional Programming and Racket

# Date Session Code Hmwk
02 01/11 Learning a New Language: Racket zip Homework 1
03 01/16 More Primitive Racket zip Homework 2
04 01/18 Racket Data Structures zip .
05 01/23 Racket Functions zip Homework 3
06 01/25 Higher-Order Functions zip .
07 01/30 Thinking Functionally zip .


Inductive Specifications and Recursive Programs

# Date Session Code Hmwk
08 02/01 Inductive Definitions of Data . Exam 1
09 02/06 Defining Recursive Programs zip Homework 4
10 02/08 Recursive Programming Techniques zip .
11 02/13 Recursive Programs and Loops zip Homework 5
12 02/15 Recursive Programs and Functional Style zip .
13 02/20 An Application of Recursion: Variable Binding zip Homework 6
14 02/22 An Application of Recursion: Type Checking zip .


Syntactic Abstraction

# Date Session Code Hmwk
15 02/27 Syntactic Abstraction zip Exam 2
16 03/01 Local Variables as Syntactic Abstraction zip Homework 7
17 03/06 Recursive Local Procedures zip .
18 03/08 Variable References zip Homework 8
19 03/20 Lexical Addresses zip Homework 8
20 03/22 Lexical Addresses, Redux zip Homework 9
21 03/27 Creating New Syntax zip .


Data Abstraction

# Date Session Code Hmwk
22 03/29 Data Abstraction and Variety zip Exam 3
23 04/03 The Finite Function ADT zip .
24 04/05 Going Deeper with Finite Functions zip Homework 9
25 04/10 Programs with State zip .
26 04/12 Objects as Closures zip Homework 10
27 04/17 Implementation of a Language Interpreter zip .


Bringing It All Together

# Date Session Code Hmwk
28 04/19 Optimization and Just-In-Time Compilation zip Homework 11
29 04/24 The Next Big Thing? zip .
30 04/27 Back to the Future zip .


Eugene Wallingford ..... wallingf@cs.uni.edu