Theoretical Computer Science
user avatar
user avatar
user avatar
gasche
  • Member for 11 years
  • Last seen more than a week ago
Profile Activity
Stats
1,872
reputation
21k
reached
24
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
88
Posts %
38
Score
7
Posts
28
Posts %
33
Score
6
Posts
24
Posts %
28
Score
4
Posts
16
Posts %
25
Score
4
Posts
16
Posts %
20
Score
3
Posts
12
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
answer
8
What's the definition of join on iso-recursive types?
Jun 12, 2017
answer
8
Can one automate algorithmic analysis?
Dec 26, 2013
answer
8
Formal semantics of OCaml in Coq
Mar 3, 2017
question
8
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
7
What are the negative consequences of extending CIC with axioms?
Dec 19, 2015
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
83
When should objects be used in OCaml?
78
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?
56
SOLID for functional programming
51
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.