Theoretical Computer Science
gasche's user avatar
gasche's user avatar
gasche's user avatar
gasche
  • Member for 12 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
2,040
reputation
22k
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
All Questions Answers
Score Newest
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
92
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?
60
SOLID for functional programming
54
Tail recursive function to find depth of a tree in Ocaml

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.