Programming Languages Wiki
Welcome to the UnicaML wiki.
This wiki contains teaching material for the LiP (Programming Languages) course at the University of Cagliari. It can also serve as a first introduction to Ocaml programming.
Read here for instructions about using this wiki.
Programming in OCaml
-
-
Recursive definitions
Tail recursion
Pattern matching
-
-
List constructors
Pattern matching on lists
Tail recursive functions on lists
Map and Filter combinators
Fold combinators
-
Tuples
Records
Tagged unions
Recursive types
Imperative languages
-
Specification of environment and store
Integer expressions
Global declarations
Assignment, arrays, sequence, conditional, while loops
-
-
-
Static analyses of imperative programs
-
Call by value
Call by name
Type-checking
Lambda Calculus
-
-
-
-
Simple types
Constraint typing rules
Unification