[Caml-list] How do I declare a value of 'a t instead of '_a t in a module?
2012-05-06 10:39 UTC (3+ messages)
[Caml-list] A shallow option type
2012-05-06 10:20 UTC (8+ messages)
[Caml-list] SSLST 2012: 2nd announcement
2012-05-06 8:00 UTC
[Caml-list] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations
2012-05-06 0:08 UTC
[Caml-list] [ANN] Uutf 0.9.0 and Jsonm 0.9.0
2012-05-05 14:48 UTC
[Caml-list] using modules to wrap c++ classes
2012-05-05 14:11 UTC (11+ messages)
[Caml-list] debugging c wrappers
2012-05-05 12:16 UTC (3+ messages)
[Caml-list] IJCAR 2012 Participation and Travel Awards
2012-05-04 16:17 UTC
[Caml-list] AISec 2012: Call for Papers
2012-05-03 19:24 UTC
[Caml-list] Summer School on Functional Programming for Parallel and Concurrent Applications
2012-05-03 9:54 UTC
[Caml-list] Exception values may crash GC when interfacing C and Caml
2012-05-03 9:21 UTC (5+ messages)
[Caml-list] oasis and c++
2012-05-02 20:41 UTC (2+ messages)
` [Caml-list] "
[Caml-list] generating llvm code that talks to ocaml
2012-05-01 16:54 UTC
[Caml-list] bundling the ocaml compiler with an algorithmic trading platform
2012-05-01 16:02 UTC
[Caml-list] Generating coinductive elements
2012-05-01 11:36 UTC
[Caml-list] Generating coinductive elements
2012-04-30 16:50 UTC (2+ messages)
[Caml-list] SSNC 2012: final announcement
2012-04-29 14:19 UTC
[Caml-list] ocamlfind + sexplib + bin_io
2012-04-28 18:46 UTC (5+ messages)
[Caml-list] Problem with the compiler 3.12.1
2012-04-27 10:54 UTC (4+ messages)
[Caml-list] using infix operators/functions in modules when not using "open"
2012-04-27 8:30 UTC (5+ messages)
[Caml-list] static C library of wrappers: compilation issues
2012-04-26 14:30 UTC (5+ messages)
[Caml-list] EJCP 2012 –clôture des inscriptions le 11 mai
2012-04-26 7:23 UTC
[Caml-list] Memory fragmentation
2012-04-24 19:24 UTC (7+ messages)
` [Caml-list] "
[Caml-list] [ANNOUNCE] llpp v12
2012-04-24 17:52 UTC
[Caml-list] LoCoCo 2012 --- Call for papers
2012-04-24 15:38 UTC
[Caml-list] Stdlib's hashtbl never sized down?
2012-04-24 8:20 UTC (2+ messages)
[Caml-list] GODI, godi-janestreet-core-107.01godi5 ... installation fails
2012-04-23 18:01 UTC (2+ messages)
[Caml-list] CFP - The 6th International Symposium on Intelligent Distributed Computing (IDC 2012) - Special Issue
2012-04-23 15:16 UTC
[Caml-list] announce: ODT 2.2 released
2012-04-23 12:27 UTC
[Caml-list] WING 2012: Call for Presentations
2012-04-23 9:03 UTC
[Caml-list] cocan.org
2012-04-21 16:37 UTC
[Caml-list] SSMBio 2012: 1st announcement
2012-04-21 14:23 UTC
[Caml-list] OCaml marine navigation iPad app
2012-04-20 16:55 UTC
[Caml-list] [ANN] PEC ver. 1.1
2012-04-20 9:24 UTC (17+ messages)
[Caml-list] Kendall tau in OCaml
2012-04-20 5:32 UTC (2+ messages)
[Caml-list] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK
2012-04-20 1:51 UTC
[Caml-list] File - List Migration Announcement
2012-04-19 17:35 UTC
[Caml-list] [ANN] Boolean expression simplifier library
2012-04-19 14:54 UTC (3+ messages)
[Caml-list] Call for participation iFM & ABZ 2012 - program available
2012-04-19 9:28 UTC
[Caml-list] SSNC 2012: 3rd announcement
2012-04-19 9:03 UTC
[Caml-list][Ann] ERic release v0.2
2012-04-18 19:54 UTC
[Caml-list] Build OCaml iOS apps under Lion
2012-04-18 17:22 UTC
[Caml-list] Potential Feature Request: "Remove poly-variants from match-with statements"
2012-04-17 22:28 UTC (3+ messages)
[Caml-list] Conference on Intelligent Computer Mathematics, last call for papers
2012-04-17 13:28 UTC (2+ messages)
` [Caml-list] Conference on Intelligent Computer Mathematics, call for work-in-progress papers
[Caml-list] [ANN] ocamlopen 1.0.2
2012-04-17 10:02 UTC (9+ messages)
[Caml-list] New release of Interval Computation Library
2012-04-16 19:08 UTC
[Caml-list] Current SVN head and findlib
2012-04-16 15:46 UTC (6+ messages)
[Caml-list] [ANN] PG'OCaml 1.5
2012-04-16 14:16 UTC
[Caml-list] post-doc position available at MSR-INRIA joint lab
2012-04-16 13:49 UTC
[Caml-list] include path problem: -I +site-lib/lib not working
2012-04-16 6:04 UTC (3+ messages)
[Caml-list] Variance of GADT parameters
2012-04-16 4:16 UTC (7+ messages)
` [Caml-list] "
[Caml-list] Votre boîte aux lettres que la limite de stockage de 100 Mo
2012-04-15 23:14 UTC
[Caml-list] Nouveau au Maroc : lancement de la boutique mybeauty.ma
2012-04-15 13:14 UTC
[Caml-list] LOLA 2012: Call for Talk Proposals (deadline extended)
2012-04-14 20:14 UTC
[Caml-list] SSLST 2012: 1st announcement
2012-04-14 11:02 UTC
[Caml-list] Non-blocking IO interface design
2012-04-14 9:46 UTC (5+ messages)
[Caml-list] [fm-announcements] RV 2012 - 1st Call For Papers
2012-04-13 15:58 UTC (2+ messages)
` [Caml-list] [fm-announcements] RV 2012 - 2nd "
[Caml-list] Printexc.register_printer without catch
2012-04-13 14:04 UTC (6+ messages)
[Caml-list] You’ve been mentioned
2012-04-12 17:05 UTC
[Caml-list] 2nd Call for Participation: RTA 2012
2012-04-11 18:11 UTC
[Caml-list] LOLA 2012: Final Call for Talk Proposals
2012-04-11 18:09 UTC
[Caml-list] exn vs option
2012-04-11 10:36 UTC (12+ messages)
[Caml-list] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers
2012-04-10 23:29 UTC
[Caml-list] Timing module initializations (working but crashy)
2012-04-10 16:25 UTC (2+ messages)
[Caml-list] Recursive polymorphic variants
2012-04-10 14:39 UTC (3+ messages)
[Caml-list] Articles on using types for enhancing sw-quality?
2012-04-09 17:43 UTC (7+ messages)
[Caml-list] Call for Papera - Automated Theory Exploration (ATx)
2012-04-07 13:32 UTC
[Caml-list] Strategies for finding memory leaks
2012-04-07 13:27 UTC (10+ messages)
` [Caml-list] GC speed for custom blocks, was: "
[Caml-list] ESOCC'12: Call for Papers (EXTENDED Deadline for Research Papers)
2012-04-06 23:09 UTC
[Caml-list] Final CFP: 18th International Conference on Principles & Practice of Constraint Programming
2012-04-05 21:59 UTC
[Caml-list] CFP - The 6th International Symposium on Intelligent Distributed Computing
2012-04-05 17:59 UTC
[Caml-list] Size of Bigarray elements, or matching with 'kind'?
2012-04-05 17:51 UTC (3+ messages)
[Caml-list] [CFP] Call for Papers WCB12
2012-04-05 12:03 UTC
[Caml-list] LOLA 2012: Call for Talk Proposals
2012-04-04 13:56 UTC
[Caml-list] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals
2012-04-04 13:41 UTC
[Caml-list] ocurl: missing CURLINFO_REDIRECT_URL
2012-04-04 6:27 UTC (2+ messages)
[Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
2012-04-04 5:21 UTC (2+ messages)
` [Caml-list] CFP: Graph Computation Models (GCM2012)
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).