Mathematics
svenningsson's user avatar
svenningsson's user avatar
svenningsson's user avatar
svenningsson
  • Member for 11 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
163
reputation
250
reached
0
answers
1
question
Communities
View all
About

Researcher in Computer Science. Interested in compiler technology, program optimization, functional programming and algorithms.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
6
Name the property $f(x) \ge x$
Jun 24, 2014
Top network posts
View all network posts
22
Can Haskell functions be proved/model-checked/verified with correctness properties?
20
Why does Parsec not use Control.Applicative operators
17
Pattern-matching Seq's in Haskell
12
"cannot move a value of type FnOnce" when moving a boxed function
12
Why is power set considered non-deterministic example in haskell?

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.