User loginNavigation |
Ian JohnsonPersonal informationFormal methods/programming languages PhD student at Northeastern University. Theorem proving, static analysis, type theory, macros History14 years 35 weeks |
Browse archives
Active forum topics |
Recent comments
32 weeks 6 days ago
32 weeks 6 days ago
32 weeks 6 days ago
1 year 2 weeks ago
1 year 7 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago