Theoretical Computer Science
gasche's user avatar
gasche's user avatar
gasche's user avatar
gasche
  • Member for 11 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
2,000
reputation
22k
reached
27
answers
1
question
Communities
Badges
View all badges
1
gold badge
15
silver badges
15
bronze badges
Top tags
View all tags
136
Score
22
Posts
79
Posts %
40
Score
8
Posts
29
Posts %
33
Score
6
Posts
21
Posts %
28
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
11
Are there any annotated formal verification systems for pure functional programming languages?
Sep 19, 2014
answer
11
Has the semantics of TeX (as a programming language) ever been formalized?
Feb 26, 2018
question
9
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
Implementing "Internal" Languages
Apr 14, 2016
answer
7
Conservative Approximation of Kleene-Mycroft Iteration for Polymorphic Recursion?
Jul 25, 2019
Top network posts
View all network posts
87
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.