Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
1,260
reputation
14
24

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
~21k
people reached

Communities (44)

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 2
View all tags →

Top Posts (23) All Questions Answers | Votes Newest

47 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 Can we distinguish strictly syntactic and semantic methods in programming language? Mar 13 '14
13 η-conversion vs extensionality in extensions of lambda-calculus May 15 '13
10 For what languages is there already a theory of observational equivalence? Mar 6 '15
9 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
5 Where do most REGEX implementations fall on the complexity scale? Sep 10 '10
View all questions and answers →

Badges (38)

Gold

—

Silver

14

Rarest

Bronze

24

Rarest

View all badges →