[Caml-list] Performance penalty for using monad
2017-09-24 11:28 UTC (7+ messages)
[Caml-list] problem with generalisation
2017-09-23 21:04 UTC (3+ messages)
[Caml-list] Prochain meetup OUPS 26 septembre 2017 / Next OUPS meetup, Sep 26th 2017
2017-09-19 7:00 UTC
[Caml-list] KR 2018 Doctoral Consortium Call for Papers
2017-09-19 0:47 UTC
[Caml-list] The University of Strathclyde’s Global Talent Programme - Security and Data Sciences
2017-09-14 8:42 UTC
[Caml-list] Default value in module
2017-09-13 18:57 UTC (7+ messages)
[Caml-list] OCaml & SWIG issue
2017-09-13 0:25 UTC (2+ messages)
[Caml-list] [OOPS @ SAC 2018] Extended submission deadline: Sept. 25
2017-09-12 13:36 UTC
[Caml-list] Tezos Recrute
2017-09-11 17:38 UTC
[Caml-list] ETAPS 2018 joint call for papers
2017-09-11 13:09 UTC (2+ messages)
[Caml-list] Call for Contributions: BOB 2018 - Berlin, Feb 23, 2018
2017-09-11 12:45 UTC
[Caml-list] JFLA 2018 : premier appel à communications
2017-09-11 12:08 UTC
[Caml-list] FSCD 2018 First Call for Papers
2017-09-10 22:57 UTC
[Caml-list] OSX OCaml ld compile errors
2017-09-09 22:20 UTC (4+ messages)
[Caml-list] [ANN] Monads Library
2017-09-09 19:57 UTC
[Caml-list] [ANN] BAP v1.3
2017-09-09 19:53 UTC
[Caml-list] How to generate source files with ocamlbuild
2017-09-09 16:06 UTC (2+ messages)
[Caml-list] CfPart: Reliability, safety and security of railway systems - RSSRail 2017 (Pistoia, Italy)
2017-09-09 15:11 UTC
[Caml-list] [Reminder] PADL 2018 - abstract deadline approaching
2017-09-08 15:12 UTC
[Caml-list] Jbuilder design and hacking session on September 9th in Oxford, UK
2017-09-08 10:47 UTC (3+ messages)
` [Caml-list] Jbuilder design and hacking session
[Caml-list] 1st CfP: OOPS @ SAC 2018 - April 9 - 13, Pau, France
2017-09-06 8:52 UTC
[Caml-list] IJCAR 2018 - Calll for Papers
2017-09-05 14:07 UTC
[Caml-list] [Last CfP] PADL 2018 - abstract deadline EXTENDED TO SEPTEMBER 10, 2017
2017-09-04 14:28 UTC
[Caml-list] About OUPS meetups
2017-09-04 14:01 UTC (3+ messages)
[Caml-list] MACIS 2017: Deadline extension
2017-09-04 9:40 UTC
[Caml-list] [CfP] PADL 2018 - abstract submission DEADLINE APPROACHING
2017-09-01 9:19 UTC
[Caml-list] Typing issue in explicit module
2017-08-30 22:20 UTC (2+ messages)
[Caml-list] FACS 2017 - Doctoral Track: Call for Contributions
2017-08-30 16:31 UTC
[Caml-list] An inconsistency (possibly) in typing constraints with GADT
2017-08-30 8:29 UTC (2+ messages)
[Caml-list] Fuite d'informations vous concernant dans la fuite "Onliner Spambot"
2017-08-30 7:32 UTC
[Caml-list] oasis and C wrapper
2017-08-29 13:55 UTC (6+ messages)
[Caml-list] FMCAD 2017: CALL FOR PARTICIPATION
2017-08-28 13:42 UTC
[Caml-list] [ANN] BuckleScript 1.9: namespace support and better error message
2017-08-28 12:54 UTC
[Caml-list] PPDP and LOPSTR 2017 Call for Participation
2017-08-28 9:13 UTC
[Caml-list] Open 18-month Postdoc Position on Frama-C/E-ACSL
2017-08-28 8:25 UTC
[Caml-list] flambda optimizations depends on unrelated things
2017-08-27 13:25 UTC (3+ messages)
[Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs
2017-08-26 14:23 UTC (2+ messages)
[Caml-list] Smart Cities for the 21st Century, Technological Forecasting and Social Change (TSFC, IF: 2.625; deadline: end of Sep 2017)
2017-08-25 23:00 UTC (2+ messages)
[Caml-list] Second CfP: MACIS 2017
2017-08-25 21:35 UTC
[Caml-list] More precise line number directives?
2017-08-24 17:30 UTC
[Caml-list] MEMOCODE-2017 (Call for Participation)
2017-08-23 7:05 UTC
[Caml-list] [ANN] Mechaml 1.0.0
2017-08-22 19:49 UTC (2+ messages)
[Caml-list] GCAI in Miami - Call for Posters
2017-08-21 17:49 UTC
[Caml-list] default fold for visitors
2017-08-19 9:25 UTC (3+ messages)
[Caml-list] strange type error with -principal
2017-08-18 15:33 UTC (4+ messages)
[Caml-list] 3rd CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages
2017-08-18 14:18 UTC
[Caml-list] [ANN] release of minicli-1.0.0
2017-08-18 3:05 UTC
[Caml-list] [ANN] release of batteries-2.7.0
2017-08-18 0:28 UTC
[Caml-list] [ANN] Bisect_ppx 1.3.0 – code coverage for OCaml
2017-08-17 18:30 UTC
[Caml-list] Error: This variant or record definition does not match that of type ... Their kinds differ
2017-08-17 13:58 UTC (2+ messages)
[Caml-list] KR18 - Preliminary Call for Tutorial and Workshop Proposals
2017-08-13 17:44 UTC
[Caml-list] Overflow with Spacetime
2017-08-10 13:17 UTC (3+ messages)
[Caml-list] Camlp4 install OEM
2017-08-10 12:46 UTC (2+ messages)
[Caml-list] PAPP@SAC 2018 Call for Papers - April 9-13, Pau, France
2017-08-08 15:41 UTC
[Caml-list] Extended deadline: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
2017-08-07 18:35 UTC
[Caml-list] PADL 2018 - 1 month to abstract deadline
2017-08-06 8:00 UTC
[Caml-list] [ANN] ocamlnet-4.1.3
2017-08-05 19:16 UTC
[Caml-list] SAC-SVT 2018: Call for Papers
2017-08-04 7:41 UTC
[Caml-list] Static Analysis Tools team at Facebook hiring
2017-08-03 16:12 UTC
[Caml-list] how do you develop multiple dependent projects simultaneously?
2017-08-03 11:52 UTC (5+ messages)
[Caml-list] FSCD 2017 - Call for participation (early registration ends soon)
2017-08-02 12:10 UTC
[Caml-list] Float precision in OCaml
2017-08-02 8:22 UTC (18+ messages)
[Caml-list] PEPM 2018 Call for Papers
2017-08-01 23:51 UTC
[Caml-list] Checking the error message “Invalid_argument("String.sub / Bytes.sub")”
2017-08-01 14:00 UTC
[Caml-list] Is anybody still using Caml Light ?
2017-08-01 11:10 UTC (2+ messages)
[Caml-list] Loading of dynamic code works with older OCaml versions, but fails with recent versions (>= 4.02.0)
2017-08-01 9:58 UTC (3+ messages)
[Caml-list] [CFP] ICDCN 2018 in Varanasi, India - Extended Deadline: July 30, 2017
2017-07-28 17:28 UTC
[Caml-list] ICDCN 2018 in Varanasi, India - Extended Deadline: July 30, 2017
2017-07-28 17:27 UTC
[Caml-list] A student feedback on OCaml
2017-07-28 15:47 UTC (11+ messages)
` [Caml-list] Probabilistic Functional Programming
[Caml-list] [ANN] Merlin 3.0.1 with OCaml 4.05 support
2017-07-28 10:34 UTC
[Caml-list] TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation
2017-07-27 19:00 UTC
[Caml-list] GCAI 2017 in Miami - Deadline extension
2017-07-27 1:07 UTC (3+ messages)
` [Caml-list] parany: a minimalistic library to parallelize any kind of computation
` [Caml-list] new release of parany (1.0.2): a minimalistic OCaml "
[Caml-list] Sexplib and js_of_ocaml
2017-07-26 9:29 UTC (3+ messages)
[Caml-list] Macro expansion for logging with call site (file & line)
2017-07-25 21:26 UTC (2+ messages)
[Caml-list] Development status of the dependency generator for OCaml
2017-07-25 18:13 UTC (8+ messages)
` [Caml-list] Addition of a data export variant containing only required extensions for build dependency specifications
[Caml-list] [ANN] Lwt 3.1.0 – Promises and concurrent programming
2017-07-24 19:22 UTC
[Caml-list] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
2017-07-24 16:25 UTC
[Caml-list] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
2017-07-24 16:14 UTC
[Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs
2017-07-22 7:27 UTC (3+ messages)
[Caml-list] Flexlink/MinGW/Ctypes linking problem
2017-07-21 9:13 UTC (3+ messages)
[Caml-list] any user feedback/experience with SPOC for programming GPUs in Ocaml?
2017-07-21 8:12 UTC
[Caml-list] linking of stublibs with bytecode target
2017-07-20 14:09 UTC (2+ messages)
[Caml-list] OCaml 4.05.0 released
2017-07-19 13:21 UTC (2+ messages)
[Caml-list] OCamlPro is hiring/recrute on/sur Tezos
2017-07-19 7:34 UTC
[Caml-list] Call for Participation: ICFP 2017
2017-07-18 21:33 UTC
[Caml-list] Support for symbolic links by compilers for OCaml?
2017-07-18 18:10 UTC (2+ messages)
[Caml-list] removal of C compiler variables in in 4.06
2017-07-18 18:04 UTC (10+ messages)
[Caml-list] Options -c and -o are incompatible when compiling C files
2017-07-18 12:22 UTC
[Caml-list] Ocaml-migrate-parsetree and compiler-libs.Types
2017-07-18 11:14 UTC
[Caml-list] OASIS: source_patterns and Eliom
2017-07-18 5:49 UTC
[Caml-list] KR 2018 Preliminary Call for Papers
2017-07-14 21:04 UTC
[Caml-list] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
2017-07-13 20:13 UTC
[Caml-list] [ANN] Prose v1 - a collaborative text editor
2017-07-13 6:52 UTC (6+ messages)
[Caml-list] Call for Participation: Higher-Order Programming with Effects, HOPE 2017
2017-07-12 8:50 UTC
[Caml-list] Optimizing pure-functional streams
2017-07-11 18:55 UTC (7+ 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;
as well as URLs for NNTP newsgroup(s).