f# ocaml sml functor ml asked Feb 8 at 16:56

logic proof-assistants automated-theorem-proving coq asked Mar 27 '12 at 11:18

logic automated-theorem-proving proof-assistants asked Mar 29 '12 at 12:00

programming-languages functional-programming category-theory asked Feb 14 at 12:50

functional-programming category-theory asked Feb 15 at 18:58

programming-languages history type-theory category-theory asked Feb 14 at 0:48

logic proof-assistants automated-theorem-proving smt-solvers asked Mar 29 '12 at 20:51

reference-request logic proof-assistants asked Aug 8 '12 at 0:13

f# ocaml type-inference typing asked Sep 9 '12 at 18:32

debugging f# ocaml asked Sep 15 '12 at 13:32