dependent-type type-checking extensional-type-theory asked Feb 13, 2022 at 14:14

http haskell haskell-tagsoup asked Sep 8, 2011 at 20:36

haskell parallel-processing asked Dec 12, 2011 at 19:57

c++ algorithm sieve-of-eratosthenes asked Jan 28, 2011 at 5:31

algorithm haskell asked Jun 26, 2011 at 18:45

haskell functional-programming asked Jul 23, 2011 at 8:36

ocaml abstract-syntax-tree asked Jul 24, 2015 at 10:28

haskell compiler hoopl asked May 29, 2012 at 19:26

haskell dictionary plagiarism-detection asked Oct 3, 2011 at 14:36