[Caml-list] Ocamldoc ignores section header special comments
2016-07-06 9:44 UTC (3+ messages)
[Caml-list] Q: functors and "has a" inheritance
2016-07-06 8:44 UTC (3+ messages)
[Caml-list] ocamldep, transitive dependencies, build systems, flambda
2016-07-05 13:53 UTC (4+ messages)
[Caml-list] can anyone unsubscribe the email address: Mransan@bloomberg.net
2016-07-05 13:20 UTC
[Caml-list] ocamldep, transitive dependencies, build systems, flambda
2016-07-05 13:17 UTC (2+ messages)
[Caml-list] question: what is the recommended use case of `val` in class type
2016-07-05 13:00 UTC
[Caml-list] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
2016-07-05 10:17 UTC
[Caml-list] question: what is the recommended use case of `val` in class type
2016-07-04 21:56 UTC (4+ messages)
[Caml-list] Garbage collector woes
2016-07-04 17:44 UTC (4+ messages)
[Caml-list] how to encourage adoption of OCaml?
2016-07-04 14:45 UTC (16+ messages)
` [Caml-list] Async and lwt
[Caml-list] [ANN] js_of_ocaml 2.8.1
2016-07-03 18:05 UTC
[Caml-list] Automatic fixing of error messages
2016-07-02 22:37 UTC
[Caml-list] question: what is the recommended use case of `val` in class type
2016-07-02 17:07 UTC (2+ messages)
[Caml-list] question: what is the recommended use case of `val` in class type
2016-07-02 16:59 UTC (2+ messages)
[Caml-list] ICFP 2016 Student Research Competition: Call for Submissions
2016-07-01 2:20 UTC
[Caml-list] Deadline extended: Commercial Users of Functional Programming Call For Tutorials
2016-07-01 2:12 UTC
[Caml-list] How to define a module type for NAxioms.NAxiomsSig + Orders.UsualOrderedTypeFull + ... effectively?
2016-06-30 16:44 UTC (2+ messages)
[Caml-list] About contributions to the Standard Library
2016-06-30 15:52 UTC (13+ messages)
` [Caml-list] About "precise (formal) things that can be said about properties of certain interfaces"
[Caml-list] [qcheck] shrinking counterexamples on exception
2016-06-30 12:15 UTC (2+ messages)
[Caml-list] CFP: 6th Software Security, Protection, and Reverse Engineering Workshop (SSPREW)
2016-06-29 16:05 UTC
[Caml-list] CFP - Special Issue on Adaptive and Reconfigurable Distributed Systems (Elsevier CAEE, Impact Factor: 1.084)
2016-06-29 12:14 UTC
[Caml-list] Different opam file for core-113.33.03 in official tar.gz and local opam repo (one has explicit dependency version numbers, the other not)
2016-06-28 15:17 UTC (2+ messages)
[Caml-list] International summer school on metaprogramming (Cambridge, 8-12 Aug 2016)
2016-06-27 22:02 UTC (2+ messages)
[Caml-list] Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows]
2016-06-27 12:01 UTC (13+ messages)
[Caml-list] Presumed bug in OCaml's garbage collector or in its Weak module
2016-06-27 11:35 UTC (14+ messages)
` AW: "
[Caml-list] RPC for OCaml?
2016-06-26 5:56 UTC (2+ messages)
[Caml-list] Building ocamlbuild with opam fails after opam switch <version>
2016-06-25 20:06 UTC (6+ messages)
[Caml-list] [logic-programming] PADL'17 call for papers
2016-06-25 14:58 UTC
[Caml-list] [ANN] ppx_deriving 4.0, ppx_deriving_yojson 3.0, ppx_deriving_protobuf 2.5
2016-06-24 22:58 UTC
[Caml-list] typing question: universal type variable in class type
2016-06-24 19:09 UTC
[Caml-list] typing question: universal type variable in class type
2016-06-24 18:55 UTC (2+ messages)
[Caml-list] PEPM 2017 Call for Papers
2016-06-23 8:16 UTC
[Caml-list] Versioned deprecations?
2016-06-22 6:55 UTC
[Caml-list] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016
2016-06-21 22:54 UTC
[Caml-list] 7th ITP Conference
2016-06-21 20:17 UTC
[Caml-list] [ANN] Pla v1.0 - pxx for making templates
2016-06-21 15:34 UTC
[Caml-list] 2nd CfP: ARVI COST Summer School on Runtime Verification 2016
2016-06-21 11:36 UTC
[Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE
2016-06-21 8:45 UTC
[Caml-list] CSE with FLambda?
2016-06-21 6:17 UTC (2+ messages)
[Caml-list] Information for writting a ppx
2016-06-20 15:33 UTC (5+ messages)
[Caml-list] [ANN] Merlin 2.5.0 with OCaml 4.03.0 support
2016-06-15 9:23 UTC
[Caml-list] Odd type error reporting
2016-06-15 9:20 UTC (3+ messages)
[Caml-list] CFP extended deadline - 2nd Global Conference on Artificial Intelligence
2016-06-14 15:24 UTC
[Caml-list] CUFP 2016 Call for Tutorials
2016-06-14 6:42 UTC
[Caml-list] CFP - 18th International Conference on Distributed Computing and Networking (ICDCN 2017)
2016-06-14 4:35 UTC
[Caml-list] LOPSTR'16: Final Call for Papers and *Deadline Extension*
2016-06-13 20:26 UTC
[Caml-list] ML workshop 2016: deadline extension until 20th June
2016-06-13 10:40 UTC
[Caml-list] OCaml workshop 2016: deadline extension until 20th June
2016-06-13 7:20 UTC
[Caml-list] APLAS 2016: Deadline extension
2016-06-13 5:43 UTC
[Caml-list] Logging to a channel form C
2016-06-12 20:27 UTC (4+ messages)
[Caml-list] OASIS circular dependency in xml-light
2016-06-11 15:19 UTC (7+ messages)
[Caml-list] Measuring GC latencies for OCaml program
2016-06-11 8:53 UTC (7+ messages)
[Caml-list] Error: The type abbreviation t is cyclic while defining submodules
2016-06-10 20:29 UTC (8+ messages)
[Caml-list] Reading .cmt files
2016-06-10 20:16 UTC
[Caml-list] reverse coercions
2016-06-10 20:04 UTC (6+ messages)
` [Caml-list] octothorpes and backticks?
[Caml-list] Bisect_ppx: removing report output formats, etc
2016-06-10 14:08 UTC (2+ messages)
[Caml-list] omake-0.10.0-test2
2016-06-09 14:31 UTC
[Caml-list] OASIS question: how does one set variables ?
2016-06-08 4:16 UTC (4+ messages)
` [Caml-list] How to include files dynamically
[Caml-list] CiE 2016: Call for Participation - Paris, 27/6-1/7/2016
2016-06-07 21:40 UTC
[Caml-list] Verified refactoring in OCaml and CakeML: 2 postdoc positions: closes 13-June-2016
2016-06-07 14:14 UTC
[Caml-list] WADT 2016 -- Extended Deadline
2016-06-06 13:15 UTC
[Caml-list] Final CFP: 4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design
2016-06-05 13:10 UTC
[Caml-list] Option to fully expand types in error messages?
2016-06-04 6:27 UTC (8+ messages)
[Caml-list] FHPC 2016: Final Call for Papers
2016-06-03 16:25 UTC
[Caml-list] APLAS 2016 Final Call for papers (abstract Jun. 12/paper Jun. 17)
2016-06-03 0:25 UTC
[Caml-list] LOPSTR 2016: 2nd Call for Papers
2016-06-01 21:53 UTC
[Caml-list] [ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching
2016-06-01 20:55 UTC (2+ messages)
` [Caml-list] [ANN] Deadline extended! Erlang Workshop 2016
[Caml-list] Bisect_ppx: does anybody use point kinds?
2016-06-01 20:24 UTC
[Caml-list] OASIS help: link stublib to system lib and another caml lib
2016-06-01 16:25 UTC (5+ messages)
[Caml-list] 2nd CfP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering)
2016-06-01 13:10 UTC
[Caml-list] OCaml workshop 2016: second CFP
2016-06-01 9:22 UTC
[Caml-list] SIGPLAN Programming Languages Mentoring Workshop @ ICFP
2016-05-31 22:02 UTC
[Caml-list] Glsuf 3.3 release
2016-05-31 19:18 UTC
[Caml-list]
2016-05-31 6:28 UTC
[Caml-list] FoCaLiZe 0.9.1 released
2016-05-30 11:56 UTC
[Caml-list] The European Master's Program in Computational Logic: Application until 5 June 2016
2016-05-29 20:03 UTC
[Caml-list] Ocamlforge not available
2016-05-28 17:13 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;
as well as URLs for NNTP newsgroup(s).