algorithms formal-languages finite-automata regular-expressions asked Mar 23 '12 at 7:35

algebra lattice order-theory asked Mar 31 '12 at 8:04

types ocaml extend asked Jul 30 '11 at 6:58

bytecode jasmin asked Apr 23 '12 at 20:23

java design-patterns project-management asked May 5 '12 at 15:04

ocaml typing asked Jun 19 '12 at 16:12