[Caml-list] removal of C compiler variables in in 4.06
2017-07-18 9:02 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] Support for symbolic links by compilers for OCaml?
2017-07-14 20:22 UTC
[Caml-list] An inconsistency (possibly) in typing constraints with GADT
2017-07-14 1:00 UTC
[Caml-list] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
2017-07-13 20:13 UTC
[Caml-list] OCaml 4.05.0 released
2017-07-13 9:53 UTC
[Caml-list] [ANN] Prose v1 - a collaborative text editor
2017-07-13 6:52 UTC (7+ 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 (10+ messages)
[Caml-list] FSCD 2017 - Call for participation
2017-07-11 17:28 UTC
[Caml-list] OCaml code style and syntax checking
2017-07-11 13:11 UTC (6+ messages)
[Caml-list] TAPAS 2017: Call for Abstracts
2017-07-11 10:48 UTC
[Caml-list] ML languages hacking session on July 13th in Pittsburgh, PA, USA
2017-07-10 21:31 UTC
[Caml-list] DL 2017 - Call for Participation
2017-07-10 16:45 UTC (3+ messages)
` [Caml-list] Error When Linking Against SDSL C++ Library
[Caml-list] GCAI 2017 in Miami - Deadline extension
2017-07-10 8:00 UTC (3+ messages)
` [Caml-list] parany: a minimalistic library to parallelize any kind of computation
` [Caml-list] [ANN] first release of cpm: the Classification Performance Metrics library
[Caml-list] CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages
2017-07-09 21:53 UTC
[Caml-list] ocamlc 4.03 -> 4.04: change in meaning of -i
2017-07-09 15:00 UTC (3+ messages)
[Caml-list] opam v2.0.0 pre-release testing on macOS
2017-07-06 23:49 UTC
[Caml-list] [Async / Cohttp_async] Problem getting all of the data in a response body
2017-07-06 17:20 UTC (5+ messages)
[Caml-list] how to suppress warnings in merlin?
2017-07-06 8:18 UTC (3+ messages)
[Caml-list] with oasis, how to create setup.ml.exe ?
2017-07-06 7:29 UTC (4+ messages)
[Caml-list] They have different arities
2017-07-06 5:50 UTC (3+ messages)
[Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs
2017-07-05 1:01 UTC (11+ messages)
[Caml-list] FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
2017-07-04 9:23 UTC
[Caml-list] [CFP] ICDCN 2018 - Distributed Computing and Networking, Jan 4-7, 2018, Varanasi, India (due July 24, 2017)
2017-07-03 21:31 UTC
[Caml-list] CADE-26 - Call for Participation
2017-07-03 12:14 UTC
[Caml-list] Make the dependency generator for OCaml better usable for out-of-source builds
2017-07-03 10:52 UTC
[Caml-list] Deduktionstreffen 2017 - Call for Abstracts
2017-07-02 12:36 UTC
[Caml-list] segmentation fault
2017-07-01 18:37 UTC (16+ messages)
[Caml-list] FLOPS 2018 First Call for papers
2017-06-30 19:15 UTC
[Caml-list] Reading Custom Type
2017-06-29 15:36 UTC (2+ messages)
[Caml-list] OCaml version 4.05.0+rc1
2017-06-29 13:39 UTC
[Caml-list] [iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017
2017-06-27 9:46 UTC
[Caml-list] Camlp5 7.00 compatible with OCaml 4.04.2
2017-06-26 9:30 UTC
[Caml-list] Thank You!
2017-06-25 10:50 UTC (2+ messages)
[Caml-list] OCaml release 4.04.2
2017-06-23 21:18 UTC (7+ messages)
[Caml-list] Matching exceptions in C code
2017-06-21 16:06 UTC (4+ messages)
[Caml-list] [CFP] UNIF 2017 -- deadline extension
2017-06-21 8:04 UTC
[Caml-list] [ANN] {Uucd,Uucp,Uunf,Uuseg} 10.0.0
2017-06-20 23:10 UTC
[Caml-list] Specification of the choose function on sets
2017-06-20 16:52 UTC (3+ messages)
[Caml-list] GCAI 2017 in Miami - Call for Papers
2017-06-20 12:18 UTC
[Caml-list] module equality
2017-06-20 10:05 UTC (3+ messages)
[Caml-list] One more question about Gc.finalise
2017-06-19 12:04 UTC (3+ messages)
[Caml-list] HDRA 2017: Deadline extension
2017-06-18 19:31 UTC
[Caml-list] A confusing sentence in documentation of Gc.finalise
2017-06-18 13:26 UTC (2+ messages)
[Caml-list] Can this code be accelerated by porting it to SPOC, SAREK or MetaOCaml ?
2017-06-16 9:49 UTC (4+ messages)
[Caml-list] ocamldoc doesn't show up for the Unix module in ocp-browser
2017-06-15 15:15 UTC (7+ messages)
` [Caml-list] Why is there no Marshal.(from_fd|to_fd)
[Caml-list] CICM 2017 - Call for Participation / Posters / Work in Progress
2017-06-15 5:49 UTC
[Caml-list] Difficulties with type inference?
2017-06-14 12:22 UTC
[Caml-list] Micro benchmarks for floating-point operations in OCaml?
2017-06-14 2:20 UTC (2+ messages)
[Caml-list] 1st CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
2017-06-12 12:37 UTC
[Caml-list] *DEADLINE EXTENSION*: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis
2017-06-12 10:11 UTC
[Caml-list] memory corruption using C stub
2017-06-11 19:20 UTC (13+ messages)
[Caml-list] [rfc] deprecating opam 1.2.0
2017-06-11 18:27 UTC (7+ messages)
[Caml-list] LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION
2017-06-09 10:04 UTC
[Caml-list] Phishing en cours
2017-06-08 9:04 UTC
[Caml-list] [ANN] First OCaml hacking session in Belgium -- 1-2 July
2017-06-08 0:05 UTC (3+ messages)
[Caml-list] GPCE 2017 - 2nd Call for Papers (16th International Conference on Generative Programming: Concepts & Experiences)
2017-06-07 22:11 UTC
[Caml-list] Call for participation: Trends in Functional Programming in Education 2015 (in association with TFP 2017)
2017-06-07 9:57 UTC
[Caml-list] CICM 2017, Doctoral Programme, Extended Submission Deadline 9. June 2017
2017-06-07 4:11 UTC
[Caml-list] TAPAS 2017: Call for Abstracts
2017-06-06 12:35 UTC
[Caml-list] [CFP] Call for Papers: UNIF 2017 -- FSCD workshop
2017-06-06 9:22 UTC
[Caml-list] CfP: MACIS 2017
2017-06-06 7:14 UTC
[Caml-list] Change policy on beginners list?
2017-06-05 15:33 UTC (10+ messages)
` [Caml-list] discuss.ocaml.org now available
` [Caml-list] [ocaml-infra] "
[Caml-list] [ANN] findlib-1.7.3
2017-06-05 15:07 UTC
[Caml-list] Deadline Extension - SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)
2017-06-05 8:00 UTC
[Caml-list] Final CFP: Workshop on Type-driven Development (TyDe '17)
2017-06-04 17:47 UTC
[Caml-list] 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11)
2017-06-03 22:00 UTC
[Caml-list] Delimcc bug
2017-06-03 13:04 UTC (7+ messages)
[Caml-list] [ANN] OCaml hacking evening in Cambridge, (MA, *US*) on June 6th
2017-06-02 19:01 UTC
[Caml-list] 3rd CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)
2017-06-02 15:22 UTC
[Caml-list] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury
2017-06-02 10:14 UTC
[Caml-list] LOPSTR 2017: 2nd Call for Papers
2017-06-02 10:13 UTC
[Caml-list] 2nd Call for Papers: Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
2017-06-01 19:02 UTC
[Caml-list] TABLEAUX/FroCoS/ITP - Call for Posters
2017-06-01 13:01 UTC
[Caml-list] pic version of libasmrun not used
2017-05-31 12:16 UTC (3+ messages)
[Caml-list] [ANN] Odig 0.0.2
2017-05-31 10:18 UTC
[Caml-list] OCaml workshop 2017: call for presentations
2017-05-30 14:39 UTC (3+ messages)
[Caml-list] [ANN] qcheck 0.6
2017-05-30 13:44 UTC
[Caml-list] CADE-26 - Call for Participation
2017-05-30 11:32 UTC
[Caml-list] enabling warnings using compiler-libs
2017-05-29 23:17 UTC (3+ 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