User loginNavigation |
AndrewKennedyPersonal informationI am a Researcher in the Programming Principles and Tools group at Microsoft Research Cambridge. Type systems and formal semantics for programming languages, optimizing compilation, functional programming. History18 years 48 weeks |
Browse archives
Active forum topics |
Recent comments
5 days 12 hours ago
41 weeks 6 hours ago
41 weeks 9 hours ago
41 weeks 9 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago