Theoretical Computer Science
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade
  • Member for 13 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
2,049
reputation
29k
reached
15
answers
8
questions
Communities
View all
About

Researcher in functional (and object-oriented) programming languages and their theory, especially 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.

Badges
View all badges
This user doesn’t have any gold badges yet.
21
silver badges
29
bronze badges
Top tags
View all tags
25
Score
2
Posts
9
Posts %
21
Score
6
Posts
26
Posts %
11
Score
3
Posts
13
Posts %
8
Score
5
Posts
22
Posts %
8
Score
2
Posts
9
Posts %
6
Score
11
Posts
48
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
60
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9, 2010
answer
17
Why was Schönfinkel's work on eliminating "bound variables" in logic so crucial?
Feb 14, 2015
question
16
Can we distinguish strictly syntactic and semantic methods in programming language?
Mar 13, 2014
question
14
η-conversion vs extensionality in extensions of lambda-calculus
May 15, 2013
question
13
For what languages is there already a theory of observational equivalence?
Mar 6, 2015
question
9
A bicartesian closed category of strict complete partial orders (Hask)
Feb 14, 2016
answer
8
For which algorithms is there a large gap between the theoretical analysis and reality?
Sep 9, 2010
answer
8
Technical article vs. research paper
Jan 9, 2015
question
7
Call-by-push-value's denotational semantics of "thunk diverge"
Sep 2, 2014
answer
6
What are the uses of Limits and Colimits of Category Theory in every day problems?
Jan 5, 2015
Top network posts
View all network posts
68
What is the cost of atomic operations?
37
What are the disadvantages of the Spirit parser-generator framework from boost.org?
26
What to do with an overtly exasperating colleague in computer science?
26
Random Restarts with "Sleep Wake Failure" error on Mavericks
24
What do you wish you knew as a student before you became a researcher?

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.