A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
Meta user
Network profile
1,825
reputation
17
27

Blaisorblade

PostDoc at EPFL, working on Scala under Martin Odersky's supervision. Ex Linux kernel programmer, PhD, Scala/Java/Haskell/C/C++/Java developer, with focus on design and implementation of programming languages, in particular optimized EDSLs in Scala (and Haskell).

You can read my irregularly-published reflections on CS at http://blaisorbladeprog.blogspot.com/.

15
answers
8
questions
~23k
people reached

Communities (49)

Top network posts

Top tags (28)

Score 25
Posts 2
Posts % 9
Score 21
Posts 6
Score 8
Posts 5
Score 8
Posts 2
Score 7
Posts 3
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
10 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 (44)

Gold

—

Silver

17

Rarest

Bronze

27

Rarest

View all badges →