Stack Exchange

svenningsson

Gothenburg, Sweden

http://www.cse.chalmers.se/~josefs

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

top accounts reputation activity subscriptions
Top Questions
Top Answers
26
How do I compare two Integers?
stackoverflow.com

26
Why is super-compilation not more prevalent?
stackoverflow.com

22
Can Haskell functions be proved/model-checked/verified with correctness properties?
stackoverflow.com

20
Why does Parsec not use Control.Applicative operators
stackoverflow.com

17
Pattern-matching Seq's in Haskell
stackoverflow.com

12
Why is power set considered non-deterministic example in haskell?
stackoverflow.com

11
Can fold be used to create infinite lists?
stackoverflow.com

11
Which are practically unsolvable problems in programming world?
stackoverflow.com

11
Producer-Consumer model - binary semaphore or mutex?
stackoverflow.com

10
Is it possible to define Omega combinator (λx.xx) in modern Haskell?
stackoverflow.com

9
Compilers for Haskell
stackoverflow.com

8
Java - Which is the best implementation structure for Graph?
stackoverflow.com

8
What are the primary theoretical difficulties with adding ML-style modules to Haskell?
stackoverflow.com

8
Functional languages with concurrent garbage collectors?
stackoverflow.com

8
Is it possible to test the return value of Haskell I/O functions?
stackoverflow.com

8
Reliable cube root in Haskell
stackoverflow.com

8
Haskell how to hide (exclude) a function from module without explicitly listing all the non hidden functions?
stackoverflow.com

7
Compiling to idiomatic C
stackoverflow.com

7
Does OCaml have fusion laws
stackoverflow.com

7
Lifting function `a → b → c` to `[a] → [b] → [[c]]`
stackoverflow.com

6
Which are practically unsolvable problems in programming world?
stackoverflow.com

6
Testing IO actions with Monadic QuickCheck
stackoverflow.com

6
How do I optimise this Haskell limit order book (with code, reports, graphs)?
stackoverflow.com

5
Resources on implementation of functional languages
stackoverflow.com

5
Ordering int pairs
stackoverflow.com

5
Multithreaded Haskell
stackoverflow.com