Theoretical Computer Science
Meta user
Network profile
1,562
reputation
1
12
13

gasche

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

20
answers
0
questions
~17k
people reached
  • Member for 8 years, 5 months
  • 197 profile views
  • Last seen Jul 26 at 7:34

Communities (5)

Top network posts

Top tags (36)

Score 116
Posts 17
Posts % 85
Score 33
Posts 6
Score 23
Posts 4
Score 22
Posts 3
Score 21
Posts 3
Score 20
Posts 3
View all tags →

Top posts (20) All Questions Answers | Votes Newest

17 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 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
7 What's the definition of join on iso-recursive types? Jun 12 '17
View all questions and answers →

Badges (26)

Gold

1

Rarest

Silver

12

Rarest

Bronze

13

Rarest

View all badges →