... | ... | @@ -6,7 +6,7 @@ Possible presentation topics for Friday. **If you'd like to see more on one of |
|
|
|
|
|
- How the renamer works
|
|
|
|
|
|
- How the type checker works --- Norman Ramsey (but prefer two below), Andres Löh, Jeremy Gibbons, Luke Maurer, Brandon Moore, Kim-Ee Yeoh
|
|
|
- How the type checker works --- Norman Ramsey (but prefer two below), Andres Löh, Jeremy Gibbons, Luke Maurer, Brandon Moore, Kim-Ee Yeoh, Clifford Beshers
|
|
|
|
|
|
- How the simplifier works, and what transformations it does.
|
|
|
|
... | ... | |