Theoretical Computer Science
gasche
  • Member for 10 years, 4 months
Profile Activity
Stats
1,842
reputation
19k
reached
23
answers
1
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (5)

Top network posts

1
gold badge
15
silver badges
15
bronze badges
View all badges

Top tags (40)

Score 133
Posts 21
Posts % 88
Score 35
Posts 6
Score 33
Posts 6
Score 28
Posts 4
Score 22
Posts 3
Score 20
Posts 3
View all tags →

Top posts (24)

All Questions Answers
Votes Newest
18 Why isn't it possible to recover/resume after an Exception? Apr 7 '12
11 Are there any annotated formal verification systems for pure functional programming languages? Sep 19 '14
11 Has the semantics of TeX (as a programming language) ever been formalized? Feb 26 '18
8 What's the definition of join on iso-recursive types? Jun 12 '17
8 Can one automate algorithmic analysis? Dec 26 '13
8 Formal semantics of OCaml in Coq Mar 3 '17
8 What is the "standard" lambda-calculus model for bicartesian closed categories? Jun 17
8 What's new in compiler optimization techniques over last few years? May 6 '11
7 What are the negative consequences of extending CIC with axioms? Dec 19 '15
7 Is there a mathematical analysis/proof available for correctness of solutions to inter process communication problems? Jun 24 '14
View all questions and answers →

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.