User svenningsson - Stack Apps

1. Home
2. Your Apps
3. Questions
4. Unanswered
5. AI Assist Labs
6. Tags
8. Chat
9. Users
Stack Internal

Stack Overflow for Teams is now called Stack Internal. Bring the best of human thought and AI automation together at your work.
Try for free Learn more
Stack Internal
Bring the best of human thought and AI automation together at your work. Learn more

svenningsson

Member for 15 years, 6 months
Last seen more than 7 years ago

cse.chalmers.se/~josefs
Gothenburg, Sweden

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

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

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Autobiographer

May 25, 2010

Posts

This user hasn’t posted yet.

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?