[Caml-list] [ANN] IOCamlJS v0.1
2014-02-25 22:02 UTC
[Caml-list] *Deadline extended* Final call for contributions AI4FM 2014
2014-02-25 14:01 UTC
[Caml-list] camlp4 for js_of_ocaml toplevels
2014-02-24 23:31 UTC (4+ messages)
[Caml-list] Using bisect and coveralls.io
2014-02-24 19:15 UTC
[Caml-list] how to convert strings to Ocaml values at run-time?
2014-02-24 13:48 UTC (6+ messages)
[Caml-list] [LOPSTR 2014] First Call for Papers
2014-02-24 12:18 UTC
[Caml-list] Call for Participation RAMiCS 2014
2014-02-24 6:30 UTC
[Caml-list] [ANN] OASIS 0.4.2
2014-02-23 15:47 UTC (2+ messages)
[Caml-list] Error: In this definition, a type variable cannot be deduced from the type parameters
2014-02-23 9:18 UTC (2+ messages)
[Caml-list] [RFC] Remaining changes for cross-compilation support in OCaml
2014-02-22 20:24 UTC (15+ messages)
` [Caml-list] [RFC] Remaining changes for cross-compilation support
[Caml-list] Looking for GPG bindings (for package signing in yypkg)
2014-02-22 13:42 UTC
[Caml-list] First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems
2014-02-21 15:45 UTC
[Caml-list] Creating an OPAM package that wraps c functions that can be used in a non-custom utop
2014-02-21 11:11 UTC (2+ messages)
[Caml-list] APLAS 2014: Call for papers
2014-02-21 0:01 UTC
[Caml-list] ICECCS 2014: deadline extension / Call for tutorials
2014-02-20 21:33 UTC
[Caml-list] Constraining mutability of record types with interfaces
2014-02-20 19:30 UTC (2+ messages)
[Caml-list] TYPES 2014 in Paris, May 12 - 15: last call for contributions
2014-02-20 9:38 UTC
[Caml-list] Second Call for Papers: SETS 2014
2014-02-19 14:32 UTC
[Caml-list] Second Call for Papers: SETS 2014
2014-02-19 14:25 UTC
[Caml-list] unix domain sockets on windows
2014-02-19 11:47 UTC (3+ messages)
[Caml-list] [HLPP2014, Amsterdam] Appel aux communications, Call for papers
2014-02-19 10:20 UTC
[Caml-list] [ANN] InvarGenT v1.2: GADTs for invariants and postconditions
2014-02-18 19:02 UTC
[Caml-list] [ANN] IOCaml v0.3
2014-02-18 12:22 UTC (2+ messages)
[Caml-list] Doing compiler patch review with a dedicated mailing-list
2014-02-17 22:55 UTC (10+ messages)
[Caml-list] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
2014-02-17 13:58 UTC
[Caml-list] Ackermann Award 2014
2014-02-17 10:13 UTC
[Caml-list] 4th International Conference on Model & Data Engineering (MEDI 2014): Second Call for Papers
2014-02-16 11:28 UTC
[Caml-list] ATVA 2014: First Call for Papers
2014-02-16 2:05 UTC
[Caml-list] LATA 2014: call for participation
2014-02-15 18:34 UTC
[Caml-list] First class modules aliases
2014-02-15 15:05 UTC (7+ messages)
` [Caml-list] First class modules from C
[Caml-list] ICSOB 2014: Industry Day - Final Call for Papers (Extended Deadline)
2014-02-15 11:25 UTC
[Caml-list] menhir types cannot be open polymorphic variant
2014-02-14 13:30 UTC (4+ messages)
[Caml-list] [fm-announcements] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014
2014-02-14 5:50 UTC
[Caml-list] [ANN] opass 1.0.0
2014-02-13 21:12 UTC
[Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
2014-02-13 8:43 UTC (6+ messages)
` [Caml-list] CFP: Graph Computation Models (GCM2012)
` [Caml-list] Second "
` [Caml-list] Last "
` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013
` [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014
[Caml-list] CFP: ICGSE 2014 (9. IEEE International Conference on Global Software Engineering)
2014-02-13 4:05 UTC
[Caml-list] Silicon Valley OCaml programmers
2014-02-12 16:53 UTC (2+ messages)
[Caml-list] SDL2 bindings, testers and feedback welcome
2014-02-12 10:43 UTC (2+ messages)
[Caml-list] FSFMA: call for papers (FM satellite)
2014-02-11 18:53 UTC
[Caml-list] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014
2014-02-11 8:06 UTC
[Caml-list] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
2014-02-11 2:29 UTC
[Caml-list] ocaml.org licensing
2014-02-10 23:21 UTC (3+ messages)
` [Caml-list] [ocaml-infra] "
[Caml-list] Proposal: extend try to handle success
2014-02-10 14:39 UTC (14+ messages)
[Caml-list] OCaml 2014 - Call for Presentations
2014-02-10 9:49 UTC
[Caml-list] [ANN] Core Suite 110.01.00
2014-02-10 9:10 UTC
[Caml-list] Type of term
2014-02-10 8:58 UTC (8+ messages)
[Caml-list] Oregon Programming Languages Summer School, 2014
2014-02-10 2:05 UTC
[Caml-list] [ANN] Cmdliner 0.9.4
2014-02-09 21:34 UTC
[Caml-list] Netflow, sFlow and JFlow reading/parsing in OCaml
2014-02-09 14:10 UTC
[Caml-list] ICEIRD 2014: Final Call for Abstracts
2014-02-08 12:33 UTC
[Caml-list] SSTiC 2014: February 15, 3rd registration deadline
2014-02-08 8:00 UTC
[Caml-list] OCamlPro Highlights: Dec 2013 & Jan 2014
2014-02-07 10:48 UTC (11+ messages)
[Caml-list] ETAPS 2014 call for participation
2014-02-06 23:39 UTC
[Caml-list] SFM-14:ESM second call for participation
2014-02-06 17:40 UTC
[Caml-list] AI4FM 2014: Call for Short Contributions
2014-02-06 17:01 UTC
[Caml-list] 2nd Call for Papers - TFPIE 2014
2014-02-06 13:29 UTC
[Caml-list] GPCE 2104 - Call for Papers
2014-02-06 13:16 UTC
[Caml-list] [fm-announcements] CFP: 21st International Symposium on Model Checking of Software - SPIN 2014
2014-02-06 2:35 UTC
[Caml-list] Default methods for module signatures
2014-02-05 21:17 UTC (7+ messages)
[Caml-list] Question about objects and method overriding
2014-02-05 18:22 UTC (9+ messages)
[Caml-list] [Windows 8.1/x64] Native port with Microsoft SDK
2014-02-04 21:45 UTC (3+ messages)
[Caml-list] TSD 2014 - First Call for Papers
2014-02-04 21:01 UTC
[Caml-list] ICECCS 2014: 2nd call for papers
2014-02-04 17:03 UTC
[Caml-list] is there a runtime cost for this
2014-02-04 16:53 UTC (4+ messages)
[Caml-list] Why is struct caml_ba_proxy allocated outside the GC heap and why doesn't it have a finalizer?
2014-02-04 15:32 UTC (5+ messages)
[Caml-list] Purity in ocaml
2014-02-03 9:20 UTC (13+ messages)
[Caml-list] any automated FFI bindings generators?
2014-02-02 17:04 UTC (10+ messages)
[Caml-list] DeSE 2014: First Call for Papers
2014-02-02 13:13 UTC
[Caml-list] AlCoB 2014: extended submission deadline 11 February
2014-02-01 17:28 UTC
[Caml-list] How much optimized is the 'a option type ?
2014-02-01 15:58 UTC (20+ messages)
[Caml-list] Proposal: re-design of ocaml headers
2014-02-01 15:27 UTC (7+ messages)
[Caml-list] [ANN] OPAM 1.1.1 released
2014-02-01 11:15 UTC (3+ messages)
[Caml-list] PhD Position: Modelling and Verification of Asynchronous, Concurrent Systems
2014-01-31 10:57 UTC
[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
2014-01-31 9:46 UTC (5+ messages)
` [Caml-list] 1st CFP, Intersection Types and Related Systems 2014
` [Caml-list] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS
` [Caml-list] Joint 25th RTA & 12th TLCA: Last reminder
` [Caml-list] Joint 25th RTA & 12th TLCA: Deadline extension
[Caml-list] TFP 2014 - 2nd call for papers
2014-01-31 9:00 UTC
[Caml-list] OCaml CAN support (controller area network)
2014-01-30 14:17 UTC (2+ messages)
[Caml-list] [ANN] Experiment: OCaml patch review on github.com/ocaml/ocaml
2014-01-30 11:34 UTC
[Caml-list] Do we have a hoogle for OCaml these days?
2014-01-30 10:30 UTC (3+ messages)
[Caml-list] Vienna Summer of Logic Announcement
2014-01-29 13:23 UTC
[Caml-list] UTP-2014 Unifying Theories of Programming - deadline extended
2014-01-24 17:58 UTC
[Caml-list] Call for Papers: SETS 2014
2014-01-22 13:10 UTC
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