Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,842
reputation
1
15
15

gasche

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

23
answers
1
question
~19k
people reached
  • Member for 10 years, 1 month
  • 233 profile views
  • Last seen yesterday

Communities (5)

Top network posts

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 →

Badges (31)

Gold

1

Rarest

Silver

15

Rarest

Bronze

15

Rarest

View all badges →

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.