Skip to main content
Theoretical Computer Science
gasche's user avatar
gasche's user avatar
gasche's user avatar
gasche
  • Member for 13 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
2,040
reputation
23k
reached
27
answers
2
questions
Communities
Badges
View all badges
1
gold badge
16
silver badges
16
bronze badges
Top tags
View all tags
137
Score
22
Posts
76
Posts %
40
Score
8
Posts
28
Posts %
33
Score
6
Posts
21
Posts %
29
Score
4
Posts
14
Posts %
26
Score
6
Posts
21
Posts %
25
Score
4
Posts
14
Posts %
Top posts
View all questions and answers
answer
18
Why isn't it possible to recover/resume after an Exception?
Apr 7, 2012
answer
12
Has the semantics of TeX (as a programming language) ever been formalized?
Feb 26, 2018
answer
11
Are there any annotated formal verification systems for pure functional programming languages?
Sep 19, 2014
question
10
What is the "standard" lambda-calculus model for bicartesian closed categories?
Jun 17, 2021
answer
8
What's new in compiler optimization techniques over last few years?
May 6, 2011
answer
8
Can one automate algorithmic analysis?
Dec 26, 2013
answer
8
Formal semantics of OCaml in Coq
Mar 3, 2017
answer
8
What's the definition of join on iso-recursive types?
Jun 12, 2017
answer
7
Conservative Approximation of Kleene-Mycroft Iteration for Polymorphic Recursion?
Jul 25, 2019
answer
7
Is there a mathematical analysis/proof available for correctness of solutions to inter process communication problems?
Jun 24, 2014
Top network posts
View all network posts
94
When should objects be used in OCaml?
79
What are advantages and disadvantages of "point free" style in functional programming?
77
What, if anything, is wrong with this shuffling algorithm and how can I know?
61
SOLID for functional programming
55
OCaml internals: Exceptions