Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
Martin Berger
London, United Kingdom
informatics.sussex.ac.uk/users/mfb21
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
13
votes
Typechecking inside quasi-quotes in Template Haskell
haskell
types
metaprogramming
type-systems
asked Mar 19 '11 at 23:45
stackoverflow.com
10
votes
Closure of unambiguous context-free languages under pre- and postfix.
fl.formal-languages
automata-theory
grammars
context-free-languages
asked Mar 22 '11 at 7:52
cstheory.stackexchange.com
8
votes
Combinatorics of term algebras
combinatorics
abstract-algebra
reference-request
universal-algebra
asked Oct 4 '11 at 14:30
math.stackexchange.com
7
votes
Inheritance, and dynamic access to members/attributes and methods in Java-like languages
semantics
java
object-oriented
c++
inheritance
asked Nov 20 '12 at 13:08
cs.stackexchange.com
6
votes
Scala constructor abstraction
scala
polymorphism
asked Nov 25 '11 at 14:31
stackoverflow.com
6
votes
Generating functions for context-free languages
combinatorics
generating-functions
formal-languages
context-free-grammar
asked Oct 30 '12 at 9:56
math.stackexchange.com
Top Answers
20
Applicability of Church-Turing thesis to interactive models of computation
cstheory.stackexchange.com
17
(How) can you model broadcasts in the pi-calculus?
cstheory.stackexchange.com
16
What's the difference between term rewriting and pattern matching?
cstheory.stackexchange.com
15
Books on programming language semantics
cstheory.stackexchange.com
14
What constitutes denotational semantics?
cstheory.stackexchange.com
12
How important is knowing how to program for TCS?
cstheory.stackexchange.com
12
What does 'true concurrency' mean?
cs.stackexchange.com
11
Historical reasons for adoption of Turing Machine as primary model of computation.
cstheory.stackexchange.com
9
Fault-tolerant programming languages / paradigms?
cstheory.stackexchange.com
8
Abstract algebra for Theoretical Computer Scientists
cstheory.stackexchange.com
6
How is duality of types defined?
cstheory.stackexchange.com
5
Formal Semantics of Programming Languages
cstheory.stackexchange.com
5
What are the differences between logical relations and simulations?
cstheory.stackexchange.com
5
References on model checking and pi calculi
cstheory.stackexchange.com
5
Looking for a simple example of Transition Semantics
cs.stackexchange.com
5
How can SML infer types like this?
cs.stackexchange.com
Stack Exchange works best with JavaScript enabled
stackoverflow.com
cstheory.stackexchange.com
math.stackexchange.com
cs.stackexchange.com
