Theoretical Computer Science
Meta user
Network profile
1,815
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
~22k
people reached

Communities (48)

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

48 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 →