caml-list  

Messages by Date

• 2012/04/14 [Caml-list] LOLA 2012: Call for Talk Proposals (deadline extended) Amal Ahmed
• 2012/04/14 [Caml-list] SSLST 2012: 1st announcement GRLMC
• 2012/04/14 Re: [Caml-list] Printexc.register_printer without catch Matthias Puech
• 2012/04/14 Re: [Caml-list] Non-blocking IO interface design Daniel Bünzli
• 2012/04/13 [Caml-list] Re: Variance of GADT parameters Gabriel Scherer
• 2012/04/13 Re: [Caml-list] Printexc.register_printer without catch Jérémie Dimino
• 2012/04/13 Re: [Caml-list] Printexc.register_printer without catch Mark Shinwell
• 2012/04/13 Re: [Caml-list] Printexc.register_printer without catch Matthias Puech
• 2012/04/13 Re: [Caml-list] Printexc.register_printer without catch Gabriel Scherer
• 2012/04/13 [Caml-list] Printexc.register_printer without catch Matthias Puech
• 2012/04/12 [Caml-list] Re: Variance of GADT parameters Jacques Garrigue
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Leo P White
• 2012/04/12 Re: [Caml-list] Current SVN head and findlib. Philippe Veber
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Alain Frisch
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Leo P White
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Alain Frisch
• 2012/04/12 Re: [Caml-list] Current SVN head and findlib. Philippe Veber
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Philippe Veber
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Alain Frisch
• 2012/04/12 Re: [Caml-list] Current SVN head and findlib. Stéphane Glondu
• 2012/04/12 Re: [Caml-list] Current SVN head and findlib. Jonathan Protzenko
• 2012/04/12 Re: [Caml-list] [ANN] ocamlopen 1.0.2 Gabriel Scherer
• 2012/04/12 [Caml-list] Current SVN head and findlib. Philippe Veber
• 2012/04/11 [Caml-list] [ANN] ocamlopen 1.0.2 Leo P White
• 2012/04/11 [Caml-list] 2nd Call for Participation: RTA 2012 Georg Moser
• 2012/04/11 [Caml-list] LOLA 2012: Final Call for Talk Proposals Amal Ahmed
• 2012/04/11 Re: [Caml-list] exn vs option David House
• 2012/04/11 Re: [Caml-list] exn vs option David House
• 2012/04/11 Re: [Caml-list] exn vs option Goswin von Brederlow
• 2012/04/11 Re: [Caml-list] include path problem: -I +site-lib/lib not working Adrien
• 2012/04/11 [Caml-list] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers S B Cooper
• 2012/04/10 [Caml-list] include path problem: -I +site-lib/lib not working Martin DeMello
• 2012/04/10 Re: [Caml-list] Timing module initializations (working but crashy) Adrien
• 2012/04/10 Re: [Caml-list] Recursive polymorphic variants Romain Bardou
• 2012/04/10 Re: [Caml-list] Recursive polymorphic variants David House
• 2012/04/10 [Caml-list] Recursive polymorphic variants Gabriel Kerneis
• 2012/04/10 Re: [Caml-list] Non-blocking IO interface design Yaron Minsky
• 2012/04/10 Re: [Caml-list] Non-blocking IO interface design Daniel Bünzli
• 2012/04/09 Re: [Caml-list] Non-blocking IO interface design Anil Madhavapeddy
• 2012/04/09 Re: [Caml-list] Articles on using types for enhancing sw-quality? oliver
• 2012/04/09 Re: [Caml-list] Articles on using types for enhancing sw-quality? Gabriel Scherer
• 2012/04/08 Re: [Caml-list] Articles on using types for enhancing sw-quality? Gabriel Kerneis
• 2012/04/08 Re: [Caml-list] Articles on using types for enhancing sw-quality? Cedric Cellier
• 2012/04/08 [Caml-list] Timing module initializations (working but crashy) Adrien
• 2012/04/08 [Caml-list] Non-blocking IO interface design Daniel Bünzli
• 2012/04/08 Re: [Caml-list] Articles on using types for enhancing sw-quality? Daniel Bünzli
• 2012/04/07 [Caml-list] ESOCC'12: Call for Papers (EXTENDED Deadline for Research Papers) Ernesto Pimentel Sánchez
• 2012/04/07 Re: [Caml-list] Articles on using types for enhancing sw-quality? Gabriel Scherer
• 2012/04/07 [Caml-list] Articles on using types for enhancing sw-quality? oliver
• 2012/04/07 [Caml-list] Call for Papera - Automated Theory Exploration (ATx) Peter Höfner
• 2012/04/07 Re: [Caml-list] Strategies for finding memory leaks Hans Ole Rafaelsen
• 2012/04/06 [Caml-list] Final CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
• 2012/04/05 Re: [Caml-list] exn vs option Pierre Chopin
• 2012/04/05 [Caml-list] CFP - The 6th International Symposium on Intelligent Distributed Computing Doina Bein
• 2012/04/05 Re: [Caml-list] Size of Bigarray elements, or matching with 'kind'? Florent Monnier
• 2012/04/05 Re: [Caml-list] Size of Bigarray elements, or matching with 'kind'? Anthony Tavener
• 2012/04/05 [Caml-list] [CFP] Call for Papers WCB12 Sebastian Will
• 2012/04/05 Re: [Caml-list] exn vs option Daniel Bünzli
• 2012/04/05 Re: [Caml-list] exn vs option Goswin von Brederlow
• 2012/04/05 Re: [Caml-list] exn vs option Benedikt Grundmann
• 2012/04/04 Re: [Caml-list] exn vs option Raphael Proust
• 2012/04/04 [Caml-list] Size of Bigarray elements, or matching with 'kind'? Anthony Tavener
• 2012/04/04 Re: [Caml-list] exn vs option Francois Berenger
• 2012/04/04 Re: [Caml-list] exn vs option Julien Verlaguet
• 2012/04/04 Re: [Caml-list] exn vs option John Carr
• 2012/04/04 [Caml-list] exn vs option Pierre Chopin
• 2012/04/04 [Caml-list] LOLA 2012: Call for Talk Proposals Amal Ahmed
• 2012/04/04 [Caml-list] GC speed for custom blocks, was: Strategies for finding memory leaks Gerd Stolpmann
• 2012/04/04 [Caml-list] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals Amal Ahmed
• 2012/04/04 Re: [Caml-list] Strategies for finding memory leaks Gerd Stolpmann
• 2012/04/04 Re: [Caml-list] Strategies for finding memory leaks Gabriel Scherer
• 2012/04/04 Re: [Caml-list] Strategies for finding memory leaks Hans Ole Rafaelsen
• 2012/04/03 Re: [Caml-list] ocurl: missing CURLINFO_REDIRECT_URL ygrek
• 2012/04/03 [Caml-list] CFP: Graph Computation Models (GCM2012) Rachid Echahed
• 2012/04/03 Re: [Caml-list] When functor yields many types - include a module with extra type equality? Hezekiah M. Carty
• 2012/04/03 [Caml-list] CALL FOR PAPERS - TPMC 2012 - Deadline for submissions (2nd call): 30 April 2012 Doina Bein
• 2012/04/03 Re: [Caml-list] When functor yields many types - include a module with extra type equality? Gabriel Scherer
• 2012/04/03 Re: [Caml-list] Re: New version of the binary installer for Windows Jonathan Protzenko
• 2012/04/03 Re: [Caml-list] Strategies for finding memory leaks Jerome Vouillon
• 2012/04/03 [Caml-list] When functor yields many types - include a module with extra type equality? Dawid Toton
• 2012/04/03 Re: [Caml-list] Strategies for finding memory leaks Gerd Stolpmann
• 2012/04/02 Re: [Caml-list] How could I implement an efficient ring buffer? Francois Berenger
• 2012/04/02 RE: [Caml-list] How could I implement an efficient ring buffer? Jon Harrop
• 2012/04/02 Re: [Caml-list] How could I implement an efficient ring buffer? Benedikt Grundmann
• 2012/04/02 Re: [Caml-list] How could I implement an efficient ring buffer? Gabriel Scherer
• 2012/04/02 RE: [Caml-list] How could I implement an efficient ring buffer? David Allsopp
• 2012/04/02 [Caml-list] How could I implement an efficient ring buffer? Hongbo Zhang
• 2012/04/02 Re: [Caml-list] Strategies for finding memory leaks Hans Ole Rafaelsen
• 2012/04/02 [Caml-list] Second call for papers TFPIE 2012 (including registration information) Peter Achten
• 2012/04/02 [Caml-list] Second call for papers TFPIE 2012 Peter Achten
• 2012/04/02 Re: [Caml-list] Re: New version of the binary installer for Windows Jonathan Protzenko
• 2012/04/02 Re: [Caml-list] Re: New version of the binary installer for Windows Romain Bardou
• 2012/04/02 Re: [Caml-list] Strategies for finding memory leaks John Carr
• 2012/04/02 Re: [Caml-list] Re: New version of the binary installer for Windows Adrien
• 2012/04/02 Re: [Caml-list] Strategies for finding memory leaks Richard W.M. Jones
• 2012/04/02 RE: [Caml-list] Re: New version of the binary installer for Windows David Allsopp
• 2012/04/02 Re: [Caml-list] Re: New version of the binary installer for Windows Alain Frisch
• 2012/04/02 Re: [Caml-list] Strategies for finding memory leaks Hans Ole Rafaelsen
• 2012/04/02 Re: [Caml-list] Re: New version of the binary installer for Windows Romain Bardou
• 2012/04/01 Re: [Caml-list] Strategies for finding memory leaks Richard W.M. Jones
• 2012/03/31 Re: [Caml-list] Wish: mutable variant types, equivalence with records Alain Frisch
• 2012/03/31 Re: [Caml-list] Native dynlink and reloading modules Richard W.M. Jones
• 2012/03/31 Re: [Caml-list] Wish: mutable variant types, equivalence with records Goswin von Brederlow
• 2012/03/31 [Caml-list] Re: New version of the binary installer for Windows Sylvain Le Gall
• 2012/03/30 Re: [Caml-list] Re: New version of the binary installer for Windows Kakadu
• 2012/03/30 Re: [Caml-list] Wish: mutable variant types, equivalence with records François Bobot
• 2012/03/30 RE: [Caml-list] Re: New version of the binary installer for Windows David Allsopp
• 2012/03/30 [Caml-list] Re: New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/30 [Caml-list] The Turing Centenary Conference in Manchester: 2nd Call for Papers and Call For Participation Geoff Sutcliffe
• 2012/03/30 Re: [Caml-list] Wish: mutable variant types, equivalence with records Goswin von Brederlow
• 2012/03/29 [Caml-list] CfP: Math Information Retrieval Worksohp 14. July 2012 m . kohlhase
• 2012/03/29 [Caml-list] Semantic Web Journal Special Call for Papers: Big Data and the Semantic Web Pascal Hitzler
• 2012/03/29 [Caml-list] ocurl: missing CURLINFO_REDIRECT_URL oliver
• 2012/03/29 Re: [Caml-list] Wish: mutable variant types, equivalence with records François Bobot
• 2012/03/29 Re: [Caml-list] Reducing boxing for floats Dario Teixeira
• 2012/03/29 Re: [Caml-list] Broken link in Module Format doc Ricardo Catalinas Jiménez
• 2012/03/29 [Caml-list] [ANN] Ocsigen Eliom 2.1 Vincent Balat
• 2012/03/29 Re: [Caml-list] Broken link in Module Format doc Mehdi Dogguy
• 2012/03/29 Re: [Caml-list] New version of the binary installer for Windows Kakadu
• 2012/03/29 Re: [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/29 Re: [Caml-list] New version of the binary installer for Windows Gabriel Scherer
• 2012/03/29 Re: [Caml-list] New version of the binary installer for Windows Kakadu
• 2012/03/28 [Caml-list] CALL FOR PARTICIPATION: FLOPS 2012 Peter Thiemann
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Adrien
• 2012/03/28 [Caml-list] Reducing boxing for floats Alain Frisch
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/28 RE: [Caml-list] New version of the binary installer for Windows David Allsopp
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Wojciech Meyer
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/28 Re: [Caml-list] New version of the binary installer for Windows Kakadu
• 2012/03/28 [Caml-list] New version of the binary installer for Windows Jonathan Protzenko
• 2012/03/28 Re: [Caml-list] Broken link in Module Format doc Gabriel Scherer
• 2012/03/28 [Caml-list] Broken link in Module Format doc Ricardo Catalinas Jiménez
• 2012/03/28 [Caml-list] Relational and Algebraic Methods in Computer Science - CfP Peter Höfner
• 2012/03/27 [Caml-list] Intersection Types and Related Systems (ITRS 2012) -- Final Call Luca Paolini
• 2012/03/26 [Caml-list] ESOCC'12: Second call for papers Ernesto Pimentel Sánchez
• 2012/03/26 [Caml-list] Call for Participation: RTA 2012 Georg Moser
• 2012/03/26 Re: [Caml-list] Wish: mutable variant types, equivalence with records Romain Bardou
• 2012/03/25 [Caml-list] GADT and optional arguments: Can they work? Goswin von Brederlow
• 2012/03/25 Re: [Caml-list] Wish: mutable variant types, equivalence with records Goswin von Brederlow
• 2012/03/24 Re: [Caml-list] Wish: mutable variant types, equivalence with records Lukasz Stafiniak
• 2012/03/24 Re: [Caml-list] Wish: mutable variant types, equivalence with records Wojciech Meyer
• 2012/03/24 Re: [Caml-list] Wish: mutable variant types, equivalence with records Jonathan Protzenko
• 2012/03/24 Re: [Caml-list] Wish: mutable variant types, equivalence with records Lukasz Stafiniak
• 2012/03/24 Re: [Caml-list] Wish: mutable variant types, equivalence with records Lukasz Stafiniak
• 2012/03/24 Re: [Caml-list] Wish: mutable variant types, equivalence with records Lukasz Stafiniak
• 2012/03/24 [Caml-list] Wish: mutable variant types, equivalence with records Goswin von Brederlow
• 2012/03/24 Re: [Caml-list] Strategies for finding memory leaks Goswin von Brederlow
• 2012/03/23 [Caml-list] Software engineer position at MyLife Martin Jambon
• 2012/03/23 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Jacques Garrigue
• 2012/03/23 [Caml-list] [ANN] Js_of_ocaml version 1.1 Jerome Vouillon
• 2012/03/23 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Gabriel Scherer
• 2012/03/23 Re: [Caml-list] Strategies for finding memory leaks Hans Ole Rafaelsen
• 2012/03/23 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Roberto Di Cosmo
• 2012/03/23 Re: [Caml-list] Re: OCaml app for iOS, Schnapsen card game Alan Schmitt
• 2012/03/23 Re: [Caml-list] Re: OCaml app for iOS, Schnapsen card game Kakadu
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Jacques Garrigue
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Gabriel Scherer
• 2012/03/22 Re: [Caml-list] Insufficient polymorphism in local let. Gabriel Scherer
• 2012/03/22 [Caml-list] Insufficient polymorphism in local let. David Brown
• 2012/03/22 [Caml-list] GADT example for universal list Goswin von Brederlow
• 2012/03/22 [Caml-list] Re: OCaml app for iOS, Schnapsen card game Jeffrey Scofield
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Roberto Di Cosmo
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Jacques Garrigue
• 2012/03/22 Re: [Caml-list] Native dynlink and reloading modules Richard W.M. Jones
• 2012/03/22 Re: [Caml-list] Native dynlink and reloading modules Pierre Chambart
• 2012/03/22 [Caml-list] Re: Wanted: GADT examples: string length, counting module x Goswin von Brederlow
• 2012/03/22 Re: [Caml-list] Native dynlink and reloading modules Richard W.M. Jones
• 2012/03/22 Re: [Caml-list] Strategies for finding memory leaks Goswin von Brederlow
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Didier Remy
• 2012/03/22 Re: GADT examples: composable functions list (Was: Re: [Caml-list] Wanted: GADT examples: string length, counting module x) Markus Mottl
• 2012/03/22 Re: [Caml-list] JavaScript parser? Alan Schmitt
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Jonathan Protzenko
• 2012/03/22 Re: [Caml-list] Native dynlink and reloading modules Alain Frisch
• 2012/03/22 Re: [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Julien Signoles
• 2012/03/22 Re: [Caml-list] JavaScript parser? Gabriel Scherer
• 2012/03/22 [Caml-list] Native dynlink and reloading modules Richard W.M. Jones
• 2012/03/22 [Caml-list] JavaScript parser? Alan Schmitt
• 2012/03/22 Re: GADT examples: composable functions list (Was: Re: [Caml-list] Wanted: GADT examples: string length, counting module x) Roberto Di Cosmo
• 2012/03/22 [Caml-list] Funny name for a type variable in the output: should this be filed on the BTS? Roberto Di Cosmo
• 2012/03/22 Re: GADT examples: composable functions list (Was: Re: [Caml-list] Wanted: GADT examples: string length, counting module x) Daniel Bünzli
• 2012/03/22 GADT examples: composable functions list (Was: Re: [Caml-list] Wanted: GADT examples: string length, counting module x) Roberto Di Cosmo
• 2012/03/22 Re: [Caml-list] Wanted: GADT examples: string length, counting module x Gabriel Scherer
• 2012/03/21 [Caml-list] Wanted: GADT examples: string length, counting module x oleg
• 2012/03/21 Re: [Caml-list] OCaml app for iOS, Schnapsen card game Anthony Tavener
• 2012/03/21 [Caml-list] OCaml app for iOS, Schnapsen card game Jeffrey Scofield
• 2012/03/21 Re: [Caml-list] ocamlmklib fails with code compiled with ocamlopt -c Wojciech Meyer
• 2012/03/21 [Caml-list] ocamlmklib fails with code compiled with ocamlopt -c Ricardo Catalinas Jiménez
• 2012/03/21 Re: [Caml-list] Unix.getlogin () fails when stdin is redirected malc
• 2012/03/21 Re: [Caml-list] Re: Unix.getlogin () fails when stdin is redirected Török Edwin
• 2012/03/21 Re: [Caml-list] Unix.getlogin () fails when stdin is redirected Gerd Stolpmann
• 2012/03/21 [Caml-list] Strategies for finding memory leaks Hans Ole Rafaelsen
• 2012/03/21 Re: [Caml-list] Wanted: GADT examples: string length, counting module x Goswin von Brederlow
• 2012/03/21 Re: [Caml-list] Explicitely named type variable and type constraints. Philippe Veber
• 2012/03/21 Re: [Caml-list] Explicitely named type variable and type constraints. Alain Frisch
• 2012/03/21 Re: [Caml-list] Explicitely named type variable and type constraints. Thomas Braibant
• 2012/03/21 Re: [Caml-list] Explicitely named type variable and type constraints. Alan Schmitt

• Earlier messages
• Later messages