Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,717
reputation
1
14
13

gasche

Apparently, this user prefers to keep an air of mystery about them.

22
answers
0
questions
~19k
people reached
  • Member for 9 years, 10 months
  • 231 profile views
  • Last seen Feb 27 at 10:34

Communities (5)

Top network posts

Top tags (39)

Score 130
Posts 19
Posts % 86
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 (22)

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 Formal semantics of OCaml in Coq Mar 3 '17
8 Can one automate algorithmic analysis? Dec 26 '13
8 What's new in compiler optimization techniques over last few years? May 6 '11
7 Is there a mathematical analysis/proof available for correctness of solutions to inter process communication problems? Jun 24 '14
7 Implementing “Internal” Languages Apr 14 '16
7 What are the negative consequences of extending CIC with axioms? Dec 19 '15
View all questions and answers →

Badges (28)

Gold

1

Rarest

Silver

14

Rarest

Bronze

13

Rarest

View all badges →