[Caml-list] GADTs and Menhir
2015-04-01 18:12 UTC (8+ messages)
[Caml-list] OCamlgraph serializability
2015-03-31 21:02 UTC (2+ messages)
[Caml-list] CfP SERENE 2015: 7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris
2015-03-31 8:42 UTC
[Caml-list] The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Last Mile for Workshop Papers (final extended deadline!)
2015-03-30 15:49 UTC
[Caml-list] Last Mile: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015)
2015-03-29 13:59 UTC
[Caml-list] CONTEXT 2015: Third Call for Papers and Posters
2015-03-28 12:47 UTC
[Caml-list] [ANN] OPAM 1.2.1
2015-03-28 7:06 UTC (9+ messages)
` [Caml-list] "
[Caml-list] Mentoring workshop @ ICFP
2015-03-27 21:00 UTC
[Caml-list] AVoCS 2015: Second Call for Papers
2015-03-27 11:41 UTC
[Caml-list] Verification Mentoring Workshop Student Scholarships
2015-03-26 14:25 UTC
[Caml-list] Second Call for Papers: SETS 2015
2015-03-25 22:33 UTC
[Caml-list] Is there a 64 bits Native MinGW port?
2015-03-24 15:00 UTC (2+ messages)
[Caml-list] LOLA 2015: Call for Talk Proposals
2015-03-23 17:43 UTC
[Caml-list] [ANN] Mtime 0.8.0
2015-03-23 15:10 UTC (2+ messages)
[Caml-list] More existential escapes (or possibly first class polymorphism)
2015-03-22 14:29 UTC (4+ messages)
[Caml-list] IEEE/ACM UCC 2015: Second Call for Papers, Tutorial and Workshop Proposals
2015-03-22 10:34 UTC
[Caml-list] InfoSec 2015: registration deadline 3 April
2015-03-21 20:48 UTC
[Caml-list] The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Last Call for Workshop Papers
2015-03-21 16:33 UTC
[Caml-list] Utop Difficulties with C callbacks
2015-03-20 15:02 UTC (8+ messages)
[Caml-list] GADT existential escape
2015-03-20 13:50 UTC (19+ messages)
[Caml-list] Compiler Intrinsics question
2015-03-20 8:38 UTC (3+ messages)
[Caml-list] ICFEM 2015 (in Paris): Call for workshops
2015-03-19 20:22 UTC (2+ messages)
` [Caml-list] ICFEM 2015 in Paris: "
[Caml-list] Adding support for OCaml in PythonTeX
2015-03-19 19:57 UTC (5+ messages)
[Caml-list] TLS-0.4.0 and X.509-0.3.0
2015-03-19 16:44 UTC
[Caml-list] oasis and ocamlmktop
2015-03-19 11:05 UTC
[Caml-list] Use opam to pull source and pin locally
2015-03-18 21:05 UTC (3+ messages)
[Caml-list] Ackermann Award 2015
2015-03-18 16:29 UTC
[Caml-list] Computability in Europe 2015: Call for Informal Presentations
2015-03-18 14:48 UTC
[Caml-list] [bap] BAP Tools with Python Bindings
2015-03-18 14:46 UTC (2+ messages)
[Caml-list] mixing GADTs and first class modules
2015-03-18 10:28 UTC (3+ messages)
[Caml-list] [TFP'15] final call for papers - extended deadline march 31 -
2015-03-18 9:50 UTC
[Caml-list] Signature substitution deleting an exposed type alias
2015-03-18 2:00 UTC (3+ messages)
[Caml-list] ocamlnet and missing SRP functions in gnutls
2015-03-17 17:20 UTC (3+ messages)
[Caml-list] OCaml 2015 Workshop CFP - Call for presentations
2015-03-17 16:52 UTC
[Caml-list] ANN: ocaml-ctypes 0.4.0, a library for calling C functions directly from OCaml
2015-03-17 15:00 UTC (3+ messages)
[Caml-list] WIMS 2015: Final Call for Papers (extended submission deadline)
2015-03-16 16:59 UTC
[Caml-list] 2 Ph.D positions available (in Formal Methods for Security Analysis / Concurrent Systems), U. of Oslo
2015-03-16 7:33 UTC
[Caml-list] [ANN] Core_profiler 112.19.00
2015-03-11 13:54 UTC (3+ messages)
[Caml-list] Compiler license seems to be outdated
2015-03-11 11:48 UTC
[Caml-list] what is the proper way to write a help system in ocaml
2015-03-11 1:34 UTC
[Caml-list] PhD position, Data Semantics/Semantic Web, Wright State University
2015-03-10 19:55 UTC
[Caml-list] Firmata v0.1
2015-03-09 18:47 UTC
[Caml-list] Changing precedence and placement of attributes
2015-03-09 16:22 UTC (6+ messages)
[Caml-list]
2015-03-09 14:44 UTC
[Caml-list] Horn Clauses for Verification and Synthesis - Call for Papers
2015-03-09 14:10 UTC
[Caml-list] C function calls OCaml function in multithreads
2015-03-09 9:43 UTC (5+ messages)
[Caml-list] ETAPS 2015 final call for participation
2015-03-07 23:08 UTC
[Caml-list] APLAS 2015: Call for Papers
2015-03-07 17:45 UTC
[Caml-list] Error with and Proper Library Usage
2015-03-07 6:21 UTC (4+ messages)
[Caml-list] pycaml
2015-03-06 14:04 UTC
[Caml-list] Dependencies between plugins
2015-03-06 11:45 UTC (12+ messages)
[Caml-list] Warning 31: files b.cma(Str) and a.cma(Str) both define a module named Str
2015-03-06 11:08 UTC (4+ messages)
[Caml-list] ocaml compiler license
2015-03-06 9:41 UTC (12+ messages)
[Caml-list] 3rd Workshop on Interpolation - Call for Papers
2015-03-05 18:15 UTC
[Caml-list] pycaml
2015-03-05 16:09 UTC (3+ messages)
[Caml-list] SFM-15:MP school on multicore programming -- last call for participation
2015-03-05 13:06 UTC
[Caml-list] [TFPIE 2015] 2nd call for papers
2015-03-05 8:04 UTC
[Caml-list] CFP: OCaml Workshop 2015
2015-03-04 17:03 UTC
[Caml-list] syntax extensions with ocamlfind
2015-03-04 10:17 UTC (5+ messages)
[Caml-list] [CFP] F-IDE 2015
2015-03-04 9:22 UTC
[Caml-list] How to build a library with c++ stubs
2015-03-03 8:43 UTC (7+ messages)
[Caml-list] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models
2015-03-02 19:18 UTC
[Caml-list] Mutual recursion propagates individual recursion. Why?
2015-03-02 9:49 UTC (5+ messages)
[Caml-list] AlCoB 2015: extended submission deadline 9 March
2015-02-28 16:13 UTC
[Caml-list] The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Call for Workshop Papers
2015-02-28 14:41 UTC
[Caml-list] Description Logics 2015 - Call for Papers
2015-02-27 18:08 UTC
[Caml-list] CFP: ML Workshop 2015
2015-02-27 12:15 UTC
[Caml-list] Protobuf and OCaml
2015-02-26 15:15 UTC (6+ messages)
[Caml-list] [ANN] ocamlnet-4.0.2
2015-02-26 13:05 UTC
[Caml-list] "this ground coercion is not principal"
2015-02-25 23:04 UTC (5+ messages)
[Caml-list] ETAPS 2016 call for satellite events
2015-02-25 18:50 UTC
[Caml-list] Match error with abstract types in modules
2015-02-25 9:48 UTC (10+ messages)
[Caml-list] indenting a .ml file with emacs in batch mode using ocaml-mode style
2015-02-25 8:43 UTC (2+ 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).