[Caml-list] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops
2015-02-03 6:44 UTC
[Caml-list] Option to have source code printer also print comments
2015-02-03 4:58 UTC
[Caml-list] Simple compression library
2015-02-02 17:53 UTC (7+ messages)
[Caml-list] unmarshaling large data from string on 32 bits
2015-02-02 13:08 UTC (3+ messages)
[Caml-list] [CFP] CICM-15 - 2nd Call for Papers
2015-02-02 12:48 UTC
[Caml-list] ISPDC 2015: New Extended Submission Deadline!
2015-02-01 16:21 UTC
[Caml-list] WETICE 2015: Final Call for Papers (*** extended submission deadline ***)
2015-01-31 12:53 UTC
[Caml-list] AlCoB 2015: 3rd call for papers
2015-01-31 11:48 UTC
[Caml-list] [ANN] Merlin 2.1 released
2015-01-30 12:48 UTC (2+ messages)
[Caml-list] WETICE/AROSA 2015: 5th Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures
2015-01-30 5:47 UTC
[Caml-list] La Corrézienne fête la Saint-Valentin
2015-01-29 17:59 UTC
[Caml-list] Detecting dead code, discovering a project's structure
2015-01-29 6:24 UTC (14+ messages)
[Caml-list] record update-apply
2015-01-29 3:08 UTC (3+ messages)
[Caml-list] first class module types with "with type"
2015-01-29 2:02 UTC (2+ messages)
[Caml-list] [ANN] Win-builds 1.5.0 - fully-bootstrapped free software distribution for Windows
2015-01-28 13:01 UTC (3+ messages)
[Caml-list] This expression has type
2015-01-27 23:48 UTC (3+ messages)
[Caml-list] Post-Doctoral position for the security of binary code
2015-01-27 17:59 UTC
[Caml-list] Ackermann Award 2015
2015-01-27 15:23 UTC
[Caml-list] Merlin reporting false erors?
2015-01-27 12:26 UTC
[Caml-list] Fwd: [ANN] Core Suite 112.06.02
2015-01-27 11:38 UTC
[Caml-list] Forcing OCamlbuild to compile a file before another
2015-01-26 12:30 UTC (6+ messages)
[Caml-list] Explicit Arity with Polymorphic Variants
2015-01-26 4:05 UTC (11+ messages)
[Caml-list] IEEE/ACM UCC 2015: First Call for Papers, Tutorial and Workshop Proposals
2015-01-25 11:30 UTC
[Caml-list] [ANN] otr 0.1.0
2015-01-24 21:34 UTC
[Caml-list] InfoSec 2015: registration deadline 3 February
2015-01-24 17:35 UTC
[Caml-list] Last Mile: The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015)
2015-01-24 11:45 UTC
[Caml-list] new art made with ocaml
2015-01-23 17:46 UTC (2+ messages)
[Caml-list] Strange type inference error
2015-01-23 15:04 UTC (2+ messages)
[Caml-list] [ANN] Uutf 0.9.4
2015-01-23 12:40 UTC
[Caml-list] Program not linked with -g, cannot print stack backtrace
2015-01-22 10:09 UTC (3+ messages)
[Caml-list] First Call for Papers: SETS 2015
2015-01-21 14:21 UTC
[Caml-list] AVoCS 2015: First Call for Papers
2015-01-21 11:55 UTC
[Caml-list] behaviour of mod
2015-01-20 21:57 UTC (6+ messages)
[Caml-list] CFP: CRV15 - 2nd Competition on Runtime Verification
2015-01-20 6:46 UTC
[Caml-list] [ANN] ppx_monadic.1.0.2, ppx for monadic do, pattern guards and monadic comprehension
2015-01-20 3:53 UTC (11+ messages)
` [Caml-list] [ANN] ppx_monadic.1.0.2, ppx for monadic do, pattern
` [Caml-list] [ANN] ppx_monadic.1.0.2, ppx for monadic do,
[Caml-list] [ANN] ocamlnet-4.0.1
2015-01-19 19:05 UTC (2+ messages)
[Caml-list] [ANN] new releases: pxp, webdav, cache, netamqp, wdialog
2015-01-18 18:34 UTC
[Caml-list] [logic-programming] Call For Workshop Proposals: 31st International Conference on Logic Programming (ICLP 2015)
2015-01-18 17:55 UTC
[Caml-list] WIMS 2015: Second Call for Papers
2015-01-18 13:17 UTC
[Caml-list] BigDat 2015: early registration deadline 23 January
2015-01-17 14:38 UTC
[Caml-list] IEEE/ACIS SERA 2015: Deadline extension - January 22, 2015
2015-01-16 20:54 UTC
[Caml-list] Popularity of OCaml among Red Monk rankings
2015-01-16 4:30 UTC
[Caml-list] [ANN] ppx_deriving 2.0, ppx_deriving_yojson 2.3
2015-01-15 13:53 UTC
[Caml-list] Mathematics of Program Construction (MPC 2015): final call for papers
2015-01-15 13:38 UTC
[Caml-list] Quizz
2015-01-15 9:41 UTC (8+ messages)
[Caml-list] CFP: Practical Aspects of Declarative Languages (PADL 2015)
2015-01-15 3:26 UTC
[Caml-list] OCaml meetup in Paris: 20th of January, 7pm
2015-01-14 20:18 UTC
[Caml-list] Telling OCamlbuild via _tags that a file has no dependencies
2015-01-14 19:48 UTC
[Caml-list] TYPES 2015 call for contributions
2015-01-14 18:00 UTC
[Caml-list] Telling OCamlbuild that a file has no dependencies
2015-01-14 15:40 UTC
[Caml-list] Nouveau look, nouvelles fonctions
2015-01-14 9:45 UTC
[Caml-list] 10th Ershov Informatics Conference, Call for Papers
2015-01-13 15:30 UTC
[Caml-list] OASIS and -no-alias-deps: the non-evil approach
2015-01-13 14:38 UTC
[Caml-list] Ocaml programmers interested in human-level AI
2015-01-12 20:28 UTC (13+ messages)
` [Caml-list] opam-installext (Was: Ocaml programmers interested in human-level AI)
[Caml-list] Problem with universal functions in a module
2015-01-12 14:28 UTC (11+ messages)
[Caml-list] CfP WWV 2015: 11th Workshop on Automated Specification and Verification of Web Systems
2015-01-12 9:37 UTC
[Caml-list] WETICE 2015: Second Call for Papers
2015-01-11 12:00 UTC
[Caml-list] ANN: simplified BER MetaOCaml N102, for OCaml 4.02.1
2015-01-10 17:55 UTC (2+ messages)
[Caml-list] ISPDC 2015: Final Call for Papers
2015-01-10 10:27 UTC
[Caml-list] Static linking of ppx for iocamljs notebooks
2015-01-10 4:33 UTC (2+ messages)
[Caml-list] 2 positions (PhD/Post-doc) available in Formal Methods for cloud computing and evolving systems, U. of Oslo
2015-01-09 14:17 UTC
[Caml-list] [ANNOUNCE] llpp v21
2015-01-09 2:49 UTC
[Caml-list] [ANN] ocaml-imap.1.0
2015-01-08 18:39 UTC
[Caml-list] CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015
2015-01-08 17:48 UTC
[Caml-list] RTA 2015: 2nd CFP
2015-01-08 13:29 UTC
[Caml-list] TLCA: 1st CALL for PAPERS
2015-01-07 15:45 UTC (2+ messages)
` [Caml-list] TLCA: FINAL CALL FOR PAPERS
[Caml-list] [fm-announcements] Postdoc Position Announcement
2015-01-07 15:29 UTC
[Caml-list] Module aliases ideal name-spacing
2015-01-07 15:15 UTC (7+ messages)
[Caml-list] LambdaConf 2015 - CFP
2015-01-07 15:02 UTC (2+ messages)
[Caml-list] SFM-16:MP school in Bertinoro -- first call for participation
2015-01-07 12:15 UTC
[Caml-list] CFP and Special Issue - 13th IEEE/ACIS SERA 2015
2015-01-07 11:26 UTC
[Caml-list] Universe Library for OCaml
2015-01-06 21:02 UTC (2+ messages)
[Caml-list] Anecdote about OPAM pinning
2015-01-05 0:54 UTC (2+ messages)
[Caml-list] Problem with GADTs and escaping types
2015-01-04 17:12 UTC (2+ messages)
[Caml-list] ocamldep & compilation units
2015-01-03 18:18 UTC (5+ messages)
[Caml-list] InfoSec 2015: registration deadline 3 January
2014-12-31 11:39 UTC
[Caml-list] CONTEXT 2015: First Call for Papers and Call for Workshop Proposals
2014-12-29 12:11 UTC
[Caml-list] ISCC 2015: Third Call for Papers
2014-12-28 12:36 UTC
[Caml-list] FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo)
2014-12-28 8:50 UTC
[Caml-list] Object Features
2014-12-26 23:45 UTC (4+ messages)
[Caml-list] New release of Menhir (20141215)
2014-12-26 12:16 UTC (6+ messages)
[Caml-list] Core_Int32 conversion
2014-12-24 16:42 UTC (4+ messages)
[Caml-list] AlCoB 2015: 2nd call for papers
2014-12-24 11:54 UTC
[Caml-list] [ANN] Uuseg 0.8.0 Unicode Text Segmentation
2014-12-23 18:58 UTC
[Caml-list] [ANN] Uucp 0.9.1
2014-12-23 17:30 UTC
[Caml-list] [fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verification
2014-12-23 15:16 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