[Caml-list] how to encourage adoption of OCaml?
2016-06-30 10:16 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] About contributions to the Standard Library
2016-06-27 13:21 UTC (10+ messages)
` [Caml-list] About "precise (formal) things that can be said about properties of certain interfaces"
[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 (4+ messages)
[Caml-list] Building ocamlbuild with opam fails after opam switch <version>
2016-06-25 20:06 UTC (6+ messages)
[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
[Caml-list] CFP: ML workshop 2016
2016-05-26 13:20 UTC
[Caml-list] Is this a bug in Num.float_of_num ?
2016-05-26 9:16 UTC (3+ messages)
[Caml-list] Hash consed Patricia trees
2016-05-25 19:25 UTC (5+ messages)
[Caml-list] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
2016-05-24 19:13 UTC
[Caml-list] [ANN] Bos 0.1.0
2016-05-24 14:02 UTC (8+ messages)
[Caml-list] [ANN] opam-cross-windows
2016-05-24 12:35 UTC (7+ messages)
[Caml-list] [ANN] Fpath 0.7.0
2016-05-24 10:14 UTC (2+ messages)
[Caml-list] [ANN] Topkg 0.7.0
2016-05-23 22:36 UTC (2+ messages)
[Caml-list] [ANN] TyXML 4.0
2016-05-23 22:27 UTC
[Caml-list] Syntax for several matches, each with a "when" clause, but only one result
2016-05-23 15:35 UTC (5+ messages)
[Caml-list] Prochain meetup OUPS 7 juin 2016 / Next OUPS meetup, 7th of June 2016
2016-05-23 11:00 UTC (2+ messages)
[Caml-list] More frequent pushes to Jane Street github repositories + janestreet/opam-repository
2016-05-23 9:39 UTC
[Caml-list] [ANN] rresult 0.4.0 // fmt 0.8.0 // logs 0.6.0
2016-05-23 1:11 UTC
[Caml-list] Beginner - Ocsigen Installation assistance
2016-05-22 7:34 UTC (5+ messages)
[Caml-list] Simple library to manipulate automata?
2016-05-21 11:48 UTC (2+ messages)
[Caml-list] Coverage profiling with bisect_ppx, Oasis, and OCamlbuild - best practice?
2016-05-19 19:03 UTC (2+ messages)
[Caml-list] Predefined OrderedType module for plain int?
2016-05-19 10:33 UTC (2+ messages)
[Caml-list] small GADT problem
2016-05-19 10:13 UTC (2+ messages)
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