User loginNavigation |
Derek DreyerPersonal informationTenure-track faculty at Max Planck Institute for Software Systems (MPI-SWS) type systems, module systems, functional programming, semantics, verification History14 years 7 weeks |
Browse archivesActive forum topics
|
Recent comments
5 hours 17 min ago
5 hours 19 min ago
4 days 18 hours ago
1 week 1 day ago
1 week 1 day ago
1 week 3 days ago
1 week 3 days ago
1 week 3 days ago
1 week 5 days ago
1 week 5 days ago