Introduction to Programming Languages

__NOTOC__ Table of contents Introduction to Programming Languages 75% Jun 28, 2012 Preface 75% Jun 28, 2012 Programming Language Paradigms Syntax 75% Jun 28, 2012 Grammars 75% Jun 28, 2012 Parsing 75% Jun 28, 2012 Ambiguity 75% Jun 28, 2012 Precedence and Associativity Grammars in Practice 75% Jun 28, 2012 Logic Grammars 75% Jun 28, 2012 Syntax Directed Interpretation 75% Jun 28, 2012 Syntax Directed Translation 75% Jun 28, 2012 Syntax Directed Type Checking 75% Feb 3, 2020 A recipe for writing a reusable grammar Execution Environments 75% Jun 28, 2012 Compiled Programs 75% Jun 28, 2012 Interpreted Programs 75% Jun 28, 2012 Binding Functional Programming in Haskell 25% September 19, 2016 Concepts of Functional Languages Pattern Matching Types 25% July 23, 2012 Data Types 25% July 23, 2012 Primitive Types 25% July 23, 2012 Constructed Types 25% July 23, 2012 Type Annotations 25% July 23, 2012 Type Checking 25% July 23, 2012 Type Equivalence Issues Typing Disciplines 25% July 23, 2012 Dynamically vs Statically Typed Languages 25% July 23, 2012 Nominal vs Structural Typing Equivalence 25% July 23, 2012 Safe vs Unsafe Typing 25% July 23, 2012 Type Inference vs Type Annotations Polymorphism 25% July 10, 2012 What is Polymorphism 25% July 10, 2012 Ad-Hoc Polymorphism 25% July 10, 2012 Universal Polymorphism 25% May 6, 2016 Overloading 25% May 6, 2016 Coercion 25% May 6, 2016 Parametric Polymorphism 25% May 6, 2016 Subtype Polymorphism The Lambda Calculus High-Order Functions 75% Jun 28, 2012 Definition and Examples 75% Jun 28, 2012 Closures 75% Jun 28, 2012 Partial Application 75% Jun 28, 2012 Noticeable High-Order Functions 75% Jun 28, 2012 Template Oriented Programming Scope 25% Ago 24, 2012 Definitions and Types of Scope 25% Ago 24, 2012 Scoping with Blocks 25% Ago 24, 2012 Scoping with Namespaces Functional Data Structures 75% Dec 10, 2013 Algebraic Data Types 75% Dec 10, 2013 Functional Data Structures Memory Allocation Imperative Programming in Python Memory Management 75% Dec 30, 2013 Types of Storage 75% Dec 30, 2013 Static Memory 75% Dec 30, 2013 Stack 75% Dec 30, 2013 Heap 75% Dec 30, 2013 Garbage Collection Abstract Data Types Object-Oriented Programming 75% Jun 28, 2012 Object Orientation 75% Jun 28, 2012 Object Oriented Programming 75% Jun 28, 2012 Object Oriented Language Features Exceptions 75% Jun 28, 2012 Exceptions and Error Handling 75% Jun 28, 2012 Throwable Classes 75% Jun 28, 2012 Catching Exceptions 75% Jun 28, 2012 Throwing Exceptions 75% Jun 28, 2012 Checked Exceptions 75% Jun 28, 2012 Error Handling 75% Jun 28, 2012 Finally Parameter Passing 75% Jun 28, 2012 Parameter Matching 75% Jun 28, 2012 Evaluation Strategies Introduction to Logic Programming Unification Cost Models 25% Nov 7, 2016 Introduction 25% Nov 7, 2016 Lists 25% Nov 7, 2016 Tail Call Optimization 25% Nov 7, 2016 Unification 25% Nov 7, 2016 Arrays Math in Prolog Computer science I 50% 25% Nov 9, 2016 Simple Predicates 25% Nov 9, 2016 The Power of Exhaustive Search Semantics Computer science I 50% 25% Nov 9, 2016 Quest for Meaning 25% Nov 9, 2016 An Interpreter for ML