Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,859
reputation
18
27

Blaisorblade
top 12% overall

Researcher in functional (and object-oriented) programming languages and their theory, especially on Scala.

Ex Linux kernel programmer, Scala/Java/Haskell/C/C++/Java developer.

15
answers
8
questions
~23k
people reached

Communities (51)

Top network posts

Top tags (28)

Score 25
Posts 2
Posts % 9
Score 21
Posts 6
Score 9
Posts 3
Score 8
Posts 5
Score 8
Posts 2
Score 6
Posts 11
View all tags →

Top posts (23)

All Questions Answers
Votes Newest
49 Realizability theory: difference in power between Lambda calculus and Turing Machines Sep 9 '10
17 Why was Schönfinkel's work on eliminating “bound variables” in logic so crucial? Feb 14 '15
14 η-conversion vs extensionality in extensions of lambda-calculus May 15 '13
14 Can we distinguish strictly syntactic and semantic methods in programming language? Mar 13 '14
11 For what languages is there already a theory of observational equivalence? Mar 6 '15
8 A bicartesian closed category of strict complete partial orders (Hask) Feb 14 '16
8 For which algorithms is there a large gap between the theoretical analysis and reality? Sep 9 '10
8 Technical article vs. research paper Jan 9 '15
7 Call-by-push-value's denotational semantics of “thunk diverge” Sep 2 '14
6 Has anyone used Pottier and Gauthier's polymorphic defunctionalization in a modular compiler? Jun 13 '17
View all questions and answers →

Badges (45)

Gold

—

Silver

18

Rarest

Bronze

27

Rarest

View all badges →