Lab for Automated Reasoning and Analysis LARA

Project presentations

Schedule:

In INM 202

8:15  -- Group 4,  Garbage Collection
8:35  -- Group 2,  Generics: Type-Parametric Programming
8:55  -- Group 11, ADTs with Pattern-Matching
9:15  -- Group 8,  First-class Functions
9:35  -- Group 9,  Liberal Syntax

In INJ 218

10:15 -- Group 1,  Optimizations: Tail-Calls Elimination 
10:35 -- Group 3,  LLVM: Generate LLVM Intermediate Representation
10:55 -- Group 6,  Dictionaries
11:15 -- Group 5,  Exceptions
11:35 -- Group 14, Type Inference: Write Less Type Annotations
 
cc11/project_presentations.txt · Last modified: 2011/12/13 10:39 by evka