[Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
2014-04-16 15:38 UTC (2+ messages)
` [Caml-list] PAS 2014 - Third International Seminar "
[Caml-list] Second Call for Papers: LDAB@CIBB2014
2014-04-16 14:35 UTC
[Caml-list] Second Call for Papers: International Conference on Formal Methods in Computer-Aided Design (FMCAD) 2014
2014-04-16 12:49 UTC
[Caml-list] Keeping A big data optimization problem functional
2014-04-16 11:02 UTC (10+ messages)
[Caml-list] ATVA 2014: Last Call for Papers -- Sydney November 3-7
2014-04-16 9:18 UTC
[Caml-list] IHP thematic trimester -- Kick-off meeting -- Tuesday April 22
2014-04-16 8:11 UTC
[Caml-list] [ANN] React 1.0.0
2014-04-15 19:21 UTC (19+ messages)
` [Caml-list] OCaml script on windows (was Re: [ANN] React 1.0.0)
` [Caml-list] topkg (was Re: OCaml script on windows (was Re: [ANN] React 1.0.0))
[Caml-list] [ANNOUNCE] llpp v18
2014-04-15 16:02 UTC (3+ messages)
[Caml-list] ppc64le backend
2014-04-15 14:34 UTC
[Caml-list] Haskell Symposium: Second call for papers
2014-04-15 14:01 UTC
[Caml-list] [ANN] P3 v. 2014-04-15d
2014-04-15 13:15 UTC
[Caml-list] Vacancies: Two New HIPERFIT PhD Scholarships Available
2014-04-15 12:13 UTC
[Caml-list] Oregon PL Summer School: register by May 2nd
2014-04-15 8:54 UTC
[Caml-list] Summer School on Advances in Programming Langauges
2014-04-14 17:24 UTC
[Caml-list] WWV 2014: call for papers
2014-04-14 15:54 UTC (2+ messages)
` [Caml-list] WWV 2014: final "
[Caml-list] PhD Position in dependent types, testing & hardware design
2014-04-14 8:34 UTC
[Caml-list] Ocaml compiler documentation
2014-04-14 7:44 UTC (16+ messages)
[Caml-list] Call for Participation: FormaliSE 2014 (co-located with ICSE 2014)
2014-04-13 15:49 UTC
[Caml-list] SLSP 2014: 3rd call for papers
2014-04-13 14:36 UTC
[Caml-list] APLAS 2014: 2nd Call for papers
2014-04-13 8:22 UTC
[Caml-list] CFP - ICDCN 2014
2014-04-12 22:07 UTC
[Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0)
2014-04-12 15:24 UTC (2+ messages)
[Caml-list] [ANN] Ocsigen Js_of_ocaml 2.0
2014-04-11 13:42 UTC (3+ messages)
[Caml-list] PPDP 2014: Call for Papers
2014-04-11 10:09 UTC
[Caml-list] ATVA - (Final) Call for Workshop Proposals
2014-04-11 6:45 UTC
[Caml-list] First class modules question
2014-04-10 22:03 UTC (3+ messages)
[Caml-list] [ANN] index2share 0.5.72
2014-04-10 15:31 UTC
[Caml-list] CiE 2014: Language, Life, Limits - Call for Presentations, Registration
2014-04-08 20:38 UTC
[Caml-list] Speeding up compilation
2014-04-08 17:32 UTC (12+ messages)
[Caml-list] 4th International SAT/SMT Summer School
2014-04-08 15:09 UTC
[Caml-list] [ANN] Experiment: OCaml patch review on github.com/ocaml/ocaml
2014-04-08 13:39 UTC (10+ messages)
` [Caml-list] [ocaml-platform] "
[Caml-list] Call for Papers: CrossFyre Workshop, July 3-4, 2014 - Bochum, Germany
2014-04-08 7:42 UTC
[Caml-list] Hashset implementation
2014-04-08 6:23 UTC (3+ messages)
[Caml-list] [ANN] Core Suite 111.08.00
2014-04-08 5:47 UTC
[Caml-list] Oregon PL Summer School: call for participation
2014-04-07 17:31 UTC
[Caml-list] 2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems
2014-04-07 7:58 UTC
[Caml-list] Second CFP: Higher-order, Typed, Inferred, Strict: ML Family Workshop
2014-04-07 6:04 UTC
[Caml-list] OCaml 2014 - Call for Presentations
2014-04-07 5:23 UTC
[Caml-list] [ANN] IOCaml 0.4
2014-04-06 10:59 UTC (4+ messages)
[Caml-list] State of .depend.nt files in the compiler
2014-04-06 10:00 UTC
[Caml-list] 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014): 2nd Call for Papers
2014-04-06 9:44 UTC
[Caml-list] TPNC 2014: 1st call for papers
2014-04-05 13:19 UTC
[Caml-list] 4th International Conference on Model & Data Engineering (MEDI 2014): Third Call for Papers
2014-04-05 11:06 UTC
[Caml-list] [fm-announcements] 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended deadline: April 19th)
2014-04-04 21:18 UTC
[Caml-list] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13)
2014-04-04 14:34 UTC
[Caml-list] [JOB] OCaml Engineers and Scientists at CEA, Software Security Labs (Paris Saclay, France)
2014-04-04 8:13 UTC
[Caml-list] Wrapping up the Set module in another
2014-04-03 20:31 UTC (6+ messages)
` [Caml-list] More efficient compilation of functors? (was: Wrapping up the Set module in another)
[Caml-list] Last CfP: UNIF 2014
2014-04-03 19:25 UTC
[Caml-list] Activating wiki on ocaml github
2014-04-03 18:15 UTC (14+ messages)
[Caml-list] Polymorphic module type constraints
2014-04-03 16:52 UTC (2+ messages)
[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
2014-04-02 19:34 UTC (4+ messages)
` [Caml-list] 1st CFP, Intersection Types and Related Systems 2014
` [Caml-list] ITRS 2014 - DEADLINE EXTENSION
` [Caml-list] LINEARITY 2014: Second Call for Papers
[Caml-list] [fm-announcements] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE, FRANCE, JULY 7-10, 2014
2014-04-01 15:30 UTC
[Caml-list] OCaml release 5.00
2014-04-01 14:52 UTC
[Caml-list] [TFPIE2014] final call for papers
2014-04-01 14:34 UTC
[Caml-list] Phishing ciblé vers Inria / Phishing campaign targeting Inria
2014-04-01 12:16 UTC
[Caml-list] [TFP2014] First Call for Participation
2014-04-01 11:04 UTC
[Caml-list] Call for participation: summer school on programming techniques (EJCP 2014)
2014-04-01 10:07 UTC
[Caml-list] [JOB] OCaml backend developer at Ahrefs in Singapore
2014-04-01 9:50 UTC
[Caml-list] Phishing ciblé vers Inria / Phishing campaign targeting Inria
2014-04-01 9:18 UTC
[Caml-list] Call for Papers: LDAB@CIBB2014
2014-04-01 7:08 UTC
[Caml-list] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014
2014-03-31 18:01 UTC
[Caml-list] FLoC workshops - Interpolation, Vampire
2014-03-31 16:49 UTC
[Caml-list] [JOB] C++/OCaml position at RTT in Munich
2014-03-31 16:18 UTC
[Caml-list] One PhD position for EU students available at the University of Dundee, Scotland
2014-03-31 10:13 UTC
[Caml-list] Anybody interested in creating binary RPMs for each official release of the compiler?
2014-03-31 6:02 UTC (12+ messages)
[Caml-list] Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014
2014-03-29 21:39 UTC
[Caml-list] Call for Participation: FM 2014
2014-03-29 16:18 UTC
[Caml-list] RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart
2014-03-29 15:27 UTC
[Caml-list] SSTiC 2014: April 12, 5th registration deadline
2014-03-29 12:16 UTC
[Caml-list] ocaml toplevel: is it possible to separate what is sent on stdout from the answers from the toplevel?
2014-03-29 11:02 UTC (3+ messages)
[Caml-list] ICOOOLPS 2014 call for papers
2014-03-28 14:44 UTC
[Caml-list] need help to investigate an ocaml build error on ppc64le archi
2014-03-28 11:59 UTC (4+ messages)
` [Caml-list] Where is defined the caml_program initial entry point called from asmrun/*/
[Caml-list] X11 in Mac OSX 10.9
2014-03-27 13:43 UTC (3+ messages)
[Caml-list] Trivial compiler patches
2014-03-27 12:23 UTC (12+ messages)
[Caml-list] Static linking via Ctypes?
2014-03-26 17:25 UTC (12+ messages)
[Caml-list] Types Meeting 2014 in Paris, 12 - 15 May: call for participation
2014-03-26 10:11 UTC
[Caml-list] release 2.0 of itv-tree
2014-03-26 2:43 UTC
[Caml-list] [ANN] OASIS v0.4.3
2014-03-26 1:33 UTC (2+ messages)
[Caml-list] Bigarray constants
2014-03-26 1:04 UTC
[Caml-list] AI4FM 2014: Call for Participation
2014-03-25 16:16 UTC
[Caml-list] The European Master's Program in Computational Logic: Application until 31 May 2014
2014-03-25 6:43 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).