Skip to main content
Olle Härstedt's user avatar
Olle Härstedt's user avatar
Olle Härstedt's user avatar
Olle Härstedt
Backend Developer at LimeSurvey GmbH
  • Member for 11 years, 4 months
  • Last seen this week
Profile Activity
Stats
3,914
reputation
150k
reached
53
answers
205
questions
Communities
View all
About

I'm interested in back-end development, compiler techniques and type theory.

I have lots of experience with economical integration and accounting software.

Badges
View all badges
1
gold badge
25
silver badges
60
bronze badges
Top tags
View all tags
11
Score
55
Posts
21
Posts %
7
Score
17
Posts
7
Posts %
4
Score
10
Posts
4
Posts %
3
Score
38
Posts
15
Posts %
2
Score
18
Posts
7
Posts %
2
Score
12
Posts
5
Posts %
Top posts
View all questions, answers, and articles
25
Can Coq be used (easily) as a model checker?
Mar 15, 2014
19
__memcpy_sse2_unaligned - what does this mean in detail?
Sep 11, 2015
15
Why doesn't OCaml support record subtyping?
Mar 6, 2013
14
Dependent types in OCaml
Mar 28, 2013
9
Using menhir with sedlex
Jun 15, 2015
7
Linear types in OCaml
Mar 25, 2013
7
OCaml branches information [closed]
Apr 14, 2013
7
Concoqtion (Coq + MetaOCaml) - why abandoned?
Apr 17, 2013
7
Including module, coercing
Jul 1, 2013
7
Memory leak with getline and strsep
Feb 24, 2015
Top network posts
View all network posts
8
Type-system combining type-states and typed effects?
7
Is all change movement?
6
Why does Joomla have both models and tables?
5
Get a stacktrace instead of error 0