Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
Ilya Klyuchnikov
Russia
pat.keldysh.ru/~ilya
Age: 30
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
8
votes
Can boolean algebra be expressed in simply typed lambda caclulus?
lo.logic
type-theory
lambda-calculus
asked Feb 6 '12 at 11:24
cstheory.stackexchange.com
6
votes
Strange error with higher-kinded types in scala 2.10.0 (works with scala 2.9.2)
scala
scala-2.10
asked Mar 7 at 7:47
stackoverflow.com
Top Answers
15
How to implement Map with default operation in Scala
stackoverflow.com
11
Good scalaz introduction
stackoverflow.com
Stack Exchange works best with JavaScript enabled
cstheory.stackexchange.com
stackoverflow.com
