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