teaching asked Nov 20 '12 at 15:38

haskell asked Feb 16 '11 at 23:29

haskell agda dependent-type asked Sep 12 '12 at 1:54

reference-request pl.programming-languages type-theory coq dependent-type asked Dec 22 '11 at 19:58

functional-programming haskell asked Jan 5 '12 at 0:34

research reference-request asked Aug 29 '12 at 19:49

r programming-languages haskell go semantic-web asked Oct 19 '10 at 22:52

haskell agda asked Jan 11 at 23:56

machine-learning conferences asked Nov 7 '11 at 13:17

pl.programming-languages type-theory type-systems dependent-type asked Mar 21 at 12:22