Caml Weekly NewsNews frow the Caml listCaml Weekly News, 27 May 2003- May 27, 2003 Theorem proving example code available Data structures Generating a call-graphhttp://pauillac.inria.fr/~aschmitt/cwn/2003.05.27.html Caml Weekly News, 20 May 2003- May 20, 2003 POSIX Threads: kill Printf question Generating dynamically libraries with OCaml Reading a file Ocaml and large development projects Ocaml-Sqlite 0.3.4http://pauillac.inria.fr/~aschmitt/cwn/2003.05.20.html Caml Weekly News, 13 May 2003- May 13, 2003 ODLL Release XmlLight 2 Release Paper on zippers Structural vs physical equality Ocaml-MySQL 1.0.0http://pauillac.inria.fr/~aschmitt/cwn/2003.05.13.html Caml Weekly News, 06 May 2003- May 6, 2003 Dynamic HTML: DTD validation with phantom types memoization and CPS comparison with C performance recursive modules GCamlhttp://pauillac.inria.fr/~aschmitt/cwn/2003.05.06.html |