Lab for Automated Reasoning and Analysis LARA

Computer Language Processing Project Presentations, Wednesday 20 December 2017

time group project title
8:15 22,41 Regular Expressions
8:30 8,9 Polymorphic types
8:45 7 Strings and Chars
9:00 5 Implicit conversions
9:15 6,12 Higher-Order Functions
9:30 39,34 Imperative Features
9:45 30 Tail call optimization
10:00 10,4 Lazy Evaluation
10:15 33,32 Final Code Optimizations
10:30 38,17 Browser mode
10:45 21 Tuples
11:00 43 JVM Backend
11:15 25,31 Hindley-Milner type checker
11:30 27,29,11 C Backend
 
cc17/project_presentations_wednesday.txt · Last modified: 2017/12/18 09:50 by vkuncak