FASE'08: abstracts due October 5
2012-02-14 15:31 UTC (5+ messages)
` CORCS 2008: Call for Papers
` CORCS 2008: Call for Papers - extended deadline
` [Caml-list] EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
` [Caml-list] Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
[Caml-list] Functional GUI programming: looking for good practices
2012-02-14 13:29 UTC (11+ messages)
[Caml-list] What am I reinventing here?
2012-02-14 11:05 UTC (7+ messages)
[Caml-list] Interval programming library
2012-02-13 23:44 UTC (3+ messages)
[Caml-list] FMICS 2012: 2nd call for papers
2012-02-13 22:38 UTC
[Caml-list] CfP Special Issue on Automated Verification of Critical Systems
2012-02-13 19:14 UTC
[Caml-list] Package installation assumptions made by odb
2012-02-13 13:53 UTC (6+ messages)
[Caml-list] Variance of GADT parameters
2012-02-13 10:23 UTC (5+ messages)
` [Caml-list] "
[Caml-list] SFM-12:MDE in Bertinoro -- second call for participation
2012-02-13 10:13 UTC
[Caml-list] how (within camlp4 printer) can I traverse AST ?
2012-02-13 9:34 UTC (5+ messages)
[Caml-list] Fwd: interval trees
2012-02-13 9:13 UTC (9+ messages)
[Caml-list] Parsing
2012-02-11 17:41 UTC (3+ messages)
[Caml-list] Ph.D. Studentship at University of Teesside, UK
2012-02-11 15:14 UTC
[Caml-list] CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs
2012-02-11 11:38 UTC
[Caml-list] polymorphic variants in match statements
2012-02-11 1:14 UTC (6+ messages)
[Caml-list] FMCAD'12: Preliminary Call For Papers
2012-02-10 17:27 UTC
[Caml-list] Call for Papers: International Conference on Information Society (i-Society 2012)!
2012-02-10 12:34 UTC
[Caml-list] syntactic detail
2012-02-10 8:39 UTC (18+ messages)
[Caml-list] OCaml/MinGW
2012-02-09 22:45 UTC
[Caml-list] Hashtbl and security
2012-02-09 14:48 UTC (14+ messages)
[Caml-list] TSD 2012 - First Call for Papers
2012-02-09 14:06 UTC
[Caml-list] OCamlCore.org is down?
2012-02-09 3:32 UTC
[Caml-list] [ANNOUNCE] llpp v10
2012-02-09 0:09 UTC
[Caml-list] sys command
2012-02-08 21:12 UTC (6+ messages)
[Caml-list] [ANN] Vim plugin
2012-02-08 20:17 UTC (11+ messages)
[Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)
2012-02-07 8:34 UTC (2+ messages)
[Caml-list] Compiling Cryptokit on Windows
2012-02-06 21:37 UTC (4+ messages)
[Caml-list] llpp video
2012-02-06 18:22 UTC
[Caml-list] TFPIE: Trends in Functional Programming in Education 2012
2012-02-06 9:20 UTC
[Caml-list] [fm-announcements] RV 2012 - 1st Call For Papers
2012-02-05 19:35 UTC
[Caml-list] WSMBio 2012: final announcement
2012-02-05 10:35 UTC
[Caml-list] New ARM backend merged into trunk
2012-02-04 10:27 UTC
[Caml-list] SAT 2012: Final Call for Papers
2012-02-02 16:11 UTC
[Caml-list] SAT 2012: Final Call for Papers
2012-02-02 16:11 UTC
[Caml-list] CfP: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
2012-02-02 15:55 UTC
[Caml-list] What type strategy ?
2012-02-02 12:06 UTC (2+ messages)
[Caml-list] Plasma faster than Hadoop
2012-02-01 22:00 UTC
[Caml-list] ANN - Plasma-0.6 (Map/Reduce & distributed filesystem)
2012-02-01 21:55 UTC
[Caml-list] LPAR-18 participation
2012-02-01 17:15 UTC
[Caml-list] OpenGL ES for iPhone Simulator; working example app
2012-02-01 16:30 UTC (8+ messages)
` [Caml-list] "
[Caml-list] SQL engine in OCaml with client side cache
2012-01-31 15:04 UTC (9+ messages)
[Caml-list] Ireland International Conference on Education (IICE-2012): Final Call for Papers!
2012-01-31 11:13 UTC
[Caml-list] Semantic Web Journal: Special Call for Surveys on Application Areas of Semantic Technologies
2012-01-31 1:46 UTC
[Caml-list] WING 2012: First Call for Papers
2012-01-30 14:37 UTC
[Caml-list] deriving
2012-01-29 19:34 UTC (7+ messages)
` [Caml-list] deriving
[Caml-list] Call for Participation: Midlands Graduate School 2012
2012-01-28 17:51 UTC
[Caml-list] ocaml packages (ocaml-deriving, ocaml-sexplib) in Fedora
2012-01-28 17:23 UTC
[Caml-list] OVETTO nouveaux prix 2012
2012-01-28 14:21 UTC
[Caml-list] Workshop on Intersection Types and Related Systems (ITRS 2012)
2012-01-27 9:57 UTC
[Caml-list] SPCLOUD2012 CFP new deadline: 11 February
2012-01-27 9:00 UTC
[Caml-list] Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012
2012-01-24 21:22 UTC
[Caml-list] Call for Papers: i-Society 2012!
2012-01-23 14:03 UTC
[Caml-list] Call for Papers: i-Society 2012!
2012-01-23 14:00 UTC
[Caml-list] CFP: CCS 2012
2012-01-22 15:27 UTC
[Caml-list] Custom let bindings
2012-01-22 15:18 UTC (6+ messages)
[Caml-list] pattern matching on integer intervals
2012-01-21 19:46 UTC (4+ messages)
[Caml-list] is there a more concise way to write this?
2012-01-20 21:09 UTC (27+ 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).