Top network posts
- 24How to find interesting research problems
- 22Algebra oriented branch of theoretical computer science
- 21To what extent can an algorithm predict the time complexity an arbitrary input program?
- 19What functions can System F not compute?
- 14Is Category Theory useful for learning functional programming?
- 14Are there any annotated formal verification systems for pure functional programming languages?
- 12Is there an expressiveness hierarchy for type systems?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.