Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,959
reputation
19
29

Blaisorblade

Researcher in functional (and object-oriented) programming languages and their theory. Last known focus was Scala. Currently working in industry on machine-checked proofs of functional correctness for concurrent imperative programs.

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

15
answers
8
questions
~25k
people reached

Communities (54)

Top network posts

Top tags (28)

Score 25
Posts 2
Posts % 9
Score 21
Posts 6
Score 11
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
56 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
12 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 What are the uses of Limits and Colimits of Category Theory in every day problems? Jan 5 '15
View all questions and answers →

Badges (48)

Gold

—

Silver

19

Rarest

Bronze

29

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.