CFP: JFP Special Issue on Generic Programming
2009-04-07 14:50 UTC
Subtyping
2009-04-07 13:39 UTC (3+ messages)
` [Caml-list] Subtyping
ocamlgraph ConcreteBidirectional and Dot
2009-04-07 13:27 UTC (5+ messages)
` [Caml-list] "
` Re : "
Call for Papers: PLMMS 2009
2009-04-07 7:39 UTC
PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
2009-04-07 2:46 UTC
Final CfP: ICTAC'09 - Last Chance
2009-04-06 19:01 UTC
local modules in classes
2009-04-06 16:15 UTC
[Caml-list] netplex multi-thread asynchronous processor for passive clients [solved]
2009-04-06 11:44 UTC
[ANN] OCaml Batteries Included Beta 1
2009-04-06 11:28 UTC (3+ messages)
` [Caml-list] "
Strings
2009-04-06 11:03 UTC (46+ messages)
` [Caml-list] Strings
Instance variables can't be polymorphic?
2009-04-06 9:55 UTC (4+ messages)
` [Caml-list] "
` Instance variables can't be polymorphic? {a few more annoyances on "val" syntax}
` [Caml-list] "
Execution order in class construction
2009-04-06 6:12 UTC (3+ messages)
` [Caml-list] "
Bug? Constraints get ignored in methods
2009-04-06 4:30 UTC (13+ messages)
` [Caml-list] "
A small question on polymorphic variants
2009-04-06 3:25 UTC (2+ messages)
` [Caml-list] "
64 bits ocamlopt to generate 32 bits code
2009-04-05 21:08 UTC (4+ messages)
` [Caml-list] "
netplex multi-thread asynchronous processor for passive clients
2009-04-05 16:27 UTC (6+ messages)
` [Caml-list] "
netplex: calling send_message from processor hangs container
2009-04-05 6:41 UTC
questions
2009-04-04 17:17 UTC (22+ messages)
` [Caml-list] questions
` Re : "
` LLC book [was: Questions]
` [Caml-list] "
` Re: [Caml-list] questions
Fwd: User Group for functional programmers and scientific computing; Monday, April 6th
2009-04-04 8:31 UTC (2+ messages)
` [Caml-list] "
OCaml-bindings for libmodbus?
2009-04-03 20:40 UTC
[Caml-list] Re: LLC book [was: Questions]
2009-04-03 10:21 UTC (13+ messages)
` [Caml-list] "
[ANN] OSpec 0.1.0 - BDD for OCaml
2009-04-03 2:52 UTC
ASP-competition Call for Participation
2009-04-02 22:56 UTC
How to achieve this camlp4 syntax extension
2009-04-02 20:23 UTC (6+ messages)
` [Caml-list] "
Efficient parallel programming without a concurrent GC
2009-04-02 7:16 UTC
OCaml job at MyLife
2009-04-01 20:19 UTC
FroCoS'09 Call for Papers
2009-04-01 16:50 UTC
DEFUN09: Call for Talks & Tutorials (co-located w/ ICFP09)
2009-04-01 15:33 UTC
PowerPC 405
2009-04-01 14:12 UTC (8+ messages)
` [Caml-list] "
Dynamic loading of native code : what about librairies and packs ?
2009-04-01 9:02 UTC (5+ messages)
` [Caml-list] "
ANNOUNCE: ocaml-autoconf macros 1.0 released
2009-03-31 18:15 UTC (3+ messages)
` [Caml-list] "
OCaml-based logic and theorem proving book available
2009-03-31 18:01 UTC
when OO is wrong
2009-03-31 15:53 UTC (5+ messages)
` [Caml-list] "
[Caml-list] when OO is wrong
2009-03-31 12:21 UTC
integer regular expressions
2009-03-31 9:11 UTC (3+ messages)
` [Caml-list] "
[Caml-list] when OO is wrong
2009-03-31 7:03 UTC (3+ messages)
Google summer of Code proposal
2009-03-31 0:36 UTC (8+ messages)
` [Caml-list] "
ECOOP 2009 Call for Participation
2009-03-30 16:23 UTC
Processing an Ast.expr list in Camlp4
2009-03-30 16:23 UTC
native GTK+ on Mac OS X
2009-03-30 14:12 UTC (3+ messages)
` [Caml-list] "
mixing infix functions and the format4 types
2009-03-30 10:45 UTC (3+ messages)
` [Caml-list] "
qt / windows gui
2009-03-30 8:20 UTC (4+ messages)
` [Caml-list] "
First CFP: FMA - Formal Methods for Aerospace
2009-03-29 22:22 UTC
packed packages
2009-03-29 21:17 UTC
ocaml cross-compiler
2009-03-28 22:33 UTC (2+ messages)
` [Caml-list] "
ocaml + non-cygwin gtk+ on windows
2009-03-28 8:43 UTC (4+ messages)
` [Caml-list] "
CFP: Sixth International Conference on Remote Engineering and Virtual Instrumentation (REV 2009)
2009-03-28 3:03 UTC
2nd call for papers: CFV'09, deadline April 22
2009-03-27 20:38 UTC
Batteries conflicts with Extlib
2009-03-27 20:08 UTC (3+ messages)
` [Caml-list] "
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