[Caml-list] OCaml on the Arduino (or similar)
2014-01-19 0:12 UTC
[Caml-list] [ANN] yypkg 1.7.0
2014-01-18 17:38 UTC
[Caml-list] Last Mile: Fifth International Conference on Software Business (ICSOB 2014)
2014-01-18 11:58 UTC
[Caml-list] Who was working on ocaml bindings for zeromq?
2014-01-18 11:33 UTC (6+ messages)
[Caml-list] ocaml considered dangerous
2014-01-18 9:59 UTC (14+ messages)
[Caml-list] How much optimized is the 'a option type ?
2014-01-18 1:37 UTC (24+ messages)
[Caml-list] Need help with higher order functors
2014-01-17 14:48 UTC (3+ messages)
[Caml-list] camlcity.org down for the rest of the week
2014-01-16 12:04 UTC
[Caml-list] Google summer of code
2014-01-15 18:38 UTC (5+ messages)
[Caml-list] Proposal: re-design, to games (was: of ocaml headers)
2014-01-15 17:12 UTC (2+ messages)
[Caml-list] [ANN] release of Logtk 0.2
2014-01-15 17:00 UTC
[Caml-list] Doing compiler patch review with a dedicated mailing-list
2014-01-14 15:11 UTC (25+ messages)
[Caml-list] SynCoP 2014 (ETAPS workshop): deadline extension
2014-01-14 14:50 UTC
[Caml-list] IJCAR 2014 - Deadline Extended and Final Call for Papers
2014-01-13 20:23 UTC
[Caml-list] CfP: UNIF 2014
2014-01-13 13:46 UTC
[Caml-list] KICSS 2014: Preliminary Call for Papers
2014-01-12 12:19 UTC
[Caml-list] CiE 2014: Language, Life, Limits - extended deadline
2014-01-11 15:16 UTC
[Caml-list] Can otags process *.m{,i} files that contain macros?
2014-01-11 15:01 UTC
[Caml-list] ocamldebug improvement patches
2014-01-11 14:35 UTC (3+ messages)
[Caml-list] ICSOB 2014: Industry Day - Final Call for Papers
2014-01-11 13:52 UTC
[Caml-list] SSTiC 2014: January 18, 2nd registration deadline
2014-01-11 10:47 UTC
[Caml-list] UTP-2014 Unifying Theories of Programming - call for papers
2014-01-10 23:49 UTC
[Caml-list] External dependency solvers for opam
2014-01-10 17:25 UTC
[Caml-list] MEDI 2014: First Call for Papers
2014-01-10 16:01 UTC
[Caml-list] ReactiveML 1.09.02
2014-01-10 13:34 UTC
[Caml-list] SFM-14:ESM first call for participation
2014-01-09 18:56 UTC
[Caml-list] Second CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014)
2014-01-09 15:04 UTC
[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
2014-01-09 10:15 UTC (3+ messages)
` [Caml-list] 1st CFP, Intersection Types and Related Systems 2014
` [Caml-list] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS
[Caml-list] Final call for papers: SynCoP 2014 (ETAPS workshop)
2014-01-09 4:00 UTC
[Caml-list] Concurrent/parallel programming
2014-01-09 2:52 UTC (18+ messages)
` [Caml-list] [ocaml-infra] "
[Caml-list] Bugs found when porting 0install from python to ocaml
2014-01-08 19:29 UTC
[Caml-list] ICFP 2014: Call for papers
2014-01-08 1:39 UTC
[Caml-list] wrapping a string in an in_channel
2014-01-07 21:02 UTC (5+ messages)
[Caml-list] Adding functions to Pervasives
2014-01-07 17:25 UTC (2+ messages)
[Caml-list] Deadline extension: JSC - SCSS special issue
2014-01-07 16:41 UTC
[Caml-list] How to see an OCaml change in a browser
2014-01-07 4:50 UTC (3+ messages)
[Caml-list] [Coq-Club] Compilation of CoQ on Linux
2014-01-06 17:43 UTC
[Caml-list] ocamlnet problem ... "inconsistent assumptions over implementation Netsys"
2014-01-06 17:40 UTC (2+ messages)
[Caml-list] OpenGL {3,4} and OpenGL ES {2,3} bindings, testers welcome
2014-01-06 0:17 UTC
[Caml-list] 1st Call for Papers - TFPIE 2014
2014-01-05 20:50 UTC
[Caml-list] [ANN] Core Suite 109.58.00
2014-01-03 15:42 UTC
[Caml-list] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP
2014-01-03 10:19 UTC
[Caml-list] Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India)
2014-01-02 16:55 UTC
[Caml-list] Libraries exporting external definitions in modules
2014-01-02 10:22 UTC (4+ messages)
[Caml-list] LAST MILE: 17th International Conference on Business Information Systems (BIS 2014)
2013-12-31 10:15 UTC
[Caml-list] SDL2 bindings, testers and feedback welcome
2013-12-30 13:28 UTC (6+ messages)
[Caml-list] [ANN] Lablqt
2013-12-30 8:43 UTC (4+ messages)
[Caml-list] OCaml Labs activities in 2013
2013-12-29 14:55 UTC
[Caml-list] [ANN] final release of OPAM 1.1.0
2013-12-26 20:54 UTC (3+ messages)
[Caml-list] VMCAI 2014 call for participation
2013-12-26 20:04 UTC
[Caml-list] isn't iksprintf missing in the stdlib?
2013-12-26 11:48 UTC (3+ messages)
[Caml-list] signature of a lazy Printf.sprintf-like
2013-12-25 14:38 UTC (2+ messages)
[Caml-list] Trying out the arm64 compiler
2013-12-23 22:03 UTC (7+ messages)
[Caml-list] [ANN] Win-builds 1.3 RC1 - Package manager on/for Windows with cross-compilers
2013-12-23 20:38 UTC (2+ messages)
[Caml-list] Pattern match fall-through for GADTs
2013-12-23 19:25 UTC
[Caml-list] ETAPS 2015 call for satellite events
2013-12-23 15:53 UTC
[Caml-list] Ackermann Award 2014
2013-12-23 13:59 UTC
[Caml-list] Moving ocaml to github (as well)
2013-12-23 6:41 UTC (11+ messages)
[Caml-list] Question about garbage collection and impact on performance
2013-12-22 12:43 UTC (7+ messages)
[Caml-list] [ANN] InvarGenT v1.1: GADTs for invariants and postconditions
2013-12-21 20:01 UTC
[Caml-list] AlCoB 2014: 3rd call for papers
2013-12-21 14:56 UTC
[Caml-list] CfP: Semantics For Big Data. Special issue of the Semantic Web journal
2013-12-21 3:42 UTC
[Caml-list] Natdynlink segfault
2013-12-20 16:56 UTC (2+ messages)
[Caml-list] OCaml 4.00.1 for HP-UX and AIX
2013-12-20 11:18 UTC
[Caml-list] GADT definition
2013-12-19 23:47 UTC (7+ messages)
[Caml-list] UTP-2014 Unifying Theories of Programming - call for papers
2013-12-19 3:41 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