[Caml-list] Divide and print with precision
2014-10-15 9:22 UTC
[Caml-list] OCaml 4.02.1
2014-10-14 19:00 UTC (2+ messages)
[Caml-list] [ANN] ppx_overload : ppx for user definable SML style overloading
2014-10-14 14:55 UTC (5+ messages)
[Caml-list] constructor disambiguation for gadts
2014-10-14 12:34 UTC (4+ messages)
[Caml-list] [Announce] FoCaLiZe 0.9.0 released
2014-10-14 8:08 UTC
[Caml-list] CAML resources for mathematicians / French agrégation
2014-10-13 18:05 UTC (5+ messages)
[Caml-list] NETYS 2015 Call for Papers
2014-10-13 16:42 UTC
[Caml-list] [ANN] Core Suite 112.01.00 + rpc_parallel
2014-10-13 11:49 UTC
[Caml-list] RTA 2015 - First Call For Papers
2014-10-13 6:17 UTC
[Caml-list] ANN: ppx_blob v0.1
2014-10-11 20:00 UTC
[Caml-list] BigDat 2015: registration deadline 23 October
2014-10-11 19:30 UTC
[Caml-list] Mathematics of Program Construction (MPC 2015): first call for papers
2014-10-10 14:04 UTC
[Caml-list] [ANN] Macaque 0.7 and 0.7.1
2014-10-09 22:59 UTC
[Caml-list] ICFP 2015 Call for Workshop and Co-located Event Proposals
2014-10-09 22:25 UTC
[Caml-list] ounit and js_of_ocaml
2014-10-09 11:27 UTC
[Caml-list] Format java-like comment block
2014-10-09 11:09 UTC
[Caml-list] Bug in Scanf (Version 4.02.0)
2014-10-09 10:19 UTC (2+ messages)
[Caml-list] Thoughts on targeting windows
2014-10-09 9:33 UTC (4+ messages)
[Caml-list] OCaml projects for the FOSS Outreach Program
2014-10-09 8:29 UTC
[Caml-list] [ANN][BETA] Self-containted OCaml distribution for Windows
2014-10-08 20:46 UTC (2+ messages)
[Caml-list] Language feature stability levels
2014-10-08 18:26 UTC (4+ messages)
[Caml-list] questions about merlin, vim and the Locate command
2014-10-08 14:27 UTC (2+ messages)
[Caml-list] hook before gc major collections
2014-10-07 9:12 UTC (5+ messages)
[Caml-list] Clarification for the configuration of comparison functions
2014-10-06 20:50 UTC (9+ messages)
[Caml-list] JLAMP special issue on Open Problems in Concurrency Theory -- 2nd cfp
2014-10-06 18:02 UTC (2+ messages)
[Caml-list] Feedback on -safe-string migration attempts
2014-10-06 11:08 UTC (5+ messages)
[Caml-list] [ANN] slacko-0.9.0
2014-10-05 2:23 UTC (6+ messages)
[Caml-list] NFM 2015 - 3rd call for papers
2014-10-04 18:17 UTC
[Caml-list] LATA 2015: extended submission deadline 16 October
2014-10-04 15:12 UTC
[Caml-list] [fm-announcements] NFM 2015 - 3rd call for papers
2014-10-03 16:28 UTC
[Caml-list] Compile and link a C program
2014-10-03 10:00 UTC (4+ messages)
[Caml-list] Why List.map does not be implemented tail-recursively?
2014-10-02 10:09 UTC (13+ messages)
` [Caml-list] Why List.map does not be implemented
[Caml-list] Str, regular expressions, longest match
2014-10-01 19:10 UTC (4+ messages)
[Caml-list] ocaml-re library, partial match semantics
2014-10-01 11:53 UTC (2+ messages)
[Caml-list] ocaml.org ssl certificate problem
2014-09-30 7:31 UTC (3+ messages)
[Caml-list] ETAPS 2015 final call for papers
2014-09-29 23:53 UTC
[Caml-list] CAV Call for Papers
2014-09-29 14:43 UTC
[Caml-list] Unable to build Android cross-compiler with OCaml 4.02.0
2014-09-29 13:43 UTC (2+ messages)
[Caml-list] testing private functions with oUnit
2014-09-29 13:23 UTC (12+ messages)
[Caml-list] Why List.map does not be implemented tail-recursively?
2014-09-29 9:15 UTC (8+ messages)
[Caml-list] Alpha release of DeCaP (combinator library + extensible OCaml parser)
2014-09-27 7:21 UTC
[Caml-list] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3
2014-09-25 21:00 UTC
[Caml-list] CiE 2015: Evolving Computability - Bucharest, 29/6-3/7/2015
2014-09-25 20:08 UTC
[Caml-list] Succinct data structures
2014-09-25 15:57 UTC (2+ messages)
[Caml-list] ANN: batteries 2.3.0 -- with support for OCaml 4.02.0
2014-09-25 14:23 UTC
[Caml-list] Threads in byte code and native code work differently
2014-09-25 12:17 UTC (3+ messages)
[Caml-list] OCaml 4.02.1 is coming soon
2014-09-25 5:11 UTC (5+ messages)
[Caml-list] improve omake [was One build system to rule them all]
2014-09-24 15:47 UTC (3+ messages)
[Caml-list] JFLA 2015 : extension de deadline
2014-09-24 8:20 UTC
[Caml-list] improve omake [was One build system to rule them all]
2014-09-24 2:35 UTC (16+ messages)
[Caml-list] Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track
2014-09-23 13:21 UTC
[Caml-list] SERA 2015 - CFP
2014-09-22 20:34 UTC
[Caml-list] Networking Application
2014-09-22 16:39 UTC (6+ messages)
[Caml-list] Vacancy: New HIPERFIT PhD Scholarship Available
2014-09-22 10:49 UTC
[Caml-list] One shot OPAM
2014-09-22 10:33 UTC (2+ messages)
[Caml-list] Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo
2014-09-22 8:16 UTC
[Caml-list] Last Call for PLMW Scholarship Applications: (new deadline: this Wednesday, September 24!)
2014-09-22 6:12 UTC
[Caml-list] SLSP 2014: call for participation
2014-09-20 15:57 UTC
[Caml-list] Ocamlbuild, -ocamlc, and -use-ocamlfind in ocaml 4.02.0
2014-09-19 21:18 UTC (4+ messages)
[Caml-list] One build system to rule them all?
2014-09-19 15:03 UTC (22+ messages)
[Caml-list] [ANN] Lambdoc 1.0-beta1
2014-09-19 14:02 UTC (3+ messages)
[Caml-list] opam local switch
2014-09-19 7:30 UTC (7+ messages)
[Caml-list] Camlp5 6.12 compatible with ocaml 4.02.0 release
2014-09-19 7:22 UTC
[Caml-list] memory mapped files with bigarray on windows
2014-09-18 14:41 UTC (4+ messages)
` AW: "
[Caml-list] [Announce] LablTk 8.06.0 and LablGTK 2.18.2
2014-09-18 9:09 UTC
[Caml-list] [ANN] findlib-1.5.3
2014-09-16 11:35 UTC
[Caml-list] type printing error
2014-09-16 11:34 UTC (2+ messages)
[Caml-list] CfP: Semantic Web journal special issues: Linked Data, aignment, smart cities, visualization
2014-09-16 8:10 UTC
[Caml-list] BOB 2015 - 2nd Call for Contributions (Deadline Sep 30)
2014-09-16 8:01 UTC
[Caml-list] Call for participation: SERENE 2014 Workshop and Autumn School on Software Engineering for Resilient Systems
2014-09-15 16:52 UTC
[Caml-list] research engineer / post-doc opening
2014-09-15 13:35 UTC (2+ messages)
` [Caml-list] [now 2-year] "
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