Top Network Posts
- 31What functions can System F not compute?
- 27How to find interesting research problems
- 22Algebra oriented branch of theoretical computer science
- 22To what extent can an algorithm predict the time complexity an arbitrary input program?
- 21Is 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 →