[Caml-list] Subtyping structurally-equivalent records, or something like it?
2010-05-05 12:12 UTC (12+ messages)
` "
` [Caml-list] "
about OcamIL
2010-05-05 12:06 UTC
LPAR-17 in Indonesia - CFP and Workshops
2010-05-05 9:33 UTC
EDF, Votre facture electronique pour vous simplifier la vie tout en respectant l'environnement !
2010-05-04 18:32 UTC
OCaml / F# co-development
2010-05-03 16:14 UTC (3+ messages)
` [Caml-list] "
Subtyping structurally-equivalent records, or something like it?
2010-05-02 2:59 UTC (3+ messages)
` [Caml-list] "
CfP: 20th WADT - deadline extended to May, 10th
2010-05-01 8:52 UTC
Some obsolete constructions ?
2010-04-30 20:36 UTC (3+ messages)
` [Caml-list] "
About Cryptokit (was: Re: [Caml-list] Re: SHA1 => stdlib ?!)
2010-04-30 15:36 UTC (5+ messages)
` About Cryptokit
` [Caml-list] "
SNMP with OCaml?
2010-04-30 10:35 UTC
min function, why is it so slow?
2010-04-29 19:12 UTC (3+ messages)
` [Caml-list] "
Nested modules with equal types
2010-04-29 17:45 UTC (2+ messages)
` [Caml-list] "
Extending Set - strange behavior of abstract type
2010-04-27 14:40 UTC (3+ messages)
` [Caml-list] "
overbld (ocaml+libraries under mingw) - binary release
2010-04-27 9:50 UTC
Module type of a structure returned by functor
2010-04-27 0:23 UTC (5+ messages)
` [Caml-list] "
` [Caml-list] "
FACS 2010 CFP
2010-04-26 13:27 UTC
SHA1 => stdlib ?!
2010-04-25 9:56 UTC (10+ messages)
` [Caml-list] "
[Caml-list] SHA1 => stdlib ?!
2010-04-25 8:53 UTC (3+ messages)
ocamlcore.org not available
2010-04-24 19:16 UTC (4+ messages)
` [Caml-list] "
Call for Participation: Mancoosi International Solver Competition
2010-04-22 15:38 UTC
2nd CfP: 20th WADT - deadline April, 30th
2010-04-22 12:07 UTC
polymorphic (<)
2010-04-21 21:31 UTC (2+ messages)
` [Caml-list] "
Installez wiideblok
2010-04-21 14:17 UTC
Check out my photos on Facebook
2010-04-20 18:44 UTC
Security systems (4/20/2010)
2010-04-20 17:55 UTC
Statically linked win32 libcamlrun.lib?
2010-04-20 16:31 UTC (7+ messages)
` [Caml-list] "
Call for Papers: HLPP 2010
2010-04-19 23:32 UTC
[ANN] Lwt 2.1.0 released
2010-04-19 19:03 UTC
Bytecode run on AIX - "unknown C primitive" error
2010-04-19 14:56 UTC (6+ messages)
` [Caml-list] "
` [Caml-list] OCaml on AIX
Commerical Users of Functional Programming --- call for participation (updated)
2010-04-19 14:39 UTC
CFP: RULE 2010 - Deadline Extension
2010-04-19 8:19 UTC
ocamlnet ( Http_client and other stuff )
2010-04-18 22:16 UTC
Google Groups: You've been invited to Truebones Motions
2010-04-18 19:53 UTC
[DEBS 2010] Please consider submitting to Posters, Demos and Fast Abstracts (May 1st deadline)
2010-04-18 17:53 UTC
Subtyping of first-class module types
2010-04-16 18:21 UTC
DisCoTec 2010: Call for Participation
2010-04-16 14:16 UTC
Sending compiler into an infinite loop or stack overflow
2010-04-16 13:24 UTC
EPEW 2010 -- first call for papers
2010-04-16 12:04 UTC
Inspect libary
2010-04-15 19:45 UTC (4+ messages)
` [Caml-list] "
[ANN] React 0.9.1 & Rtime 0.9.1
2010-04-15 17:28 UTC
Caml-inspect library
2010-04-15 15:25 UTC (2+ messages)
camlp4 levels
2010-04-15 14:41 UTC
Inspect and dump values on the OCaml heap
2010-04-15 5:42 UTC (8+ messages)
` [Caml-list] "
[Caml-list] FRP and GTK
2010-04-15 2:18 UTC (2+ messages)
` "
Building ocaml on Win32 using VS 2008
2010-04-14 20:58 UTC (7+ messages)
` [Caml-list] "
` [Caml-list] "
Threads Scheduling
2010-04-14 18:18 UTC (6+ messages)
` [Caml-list] "
Optimizing Float Ref's
2010-04-14 18:13 UTC (8+ messages)
` [Caml-list] "
LOLA 2010 -- final call for contributed talks
2010-04-14 17:19 UTC
Parsing with two scanners(ources) as input (?)
2010-04-13 19:15 UTC
[ANN] release mlpost 0.8.0
2010-04-13 16:05 UTC
WWV'10: Deadline extension
2010-04-13 10:39 UTC
Unicode solutions
2010-04-12 17:30 UTC (3+ messages)
` [Caml-list] "
[CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
2010-04-12 13:07 UTC
Deadline extension: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis of Timed Systems)
2010-04-12 7:39 UTC
ocaml+sdl+opengl ?
2010-04-11 19:33 UTC (6+ messages)
` [Caml-list] "
Ocaml-Pcre Documentation?
2010-04-08 20:20 UTC (6+ messages)
` [Caml-list] "
Format: Fortran (&c.) style continuation lines?
2010-04-08 17:53 UTC (2+ messages)
` [Caml-list] "
[ANN] The course on Unix System programming in OCaml is translated
2010-04-08 17:29 UTC (4+ messages)
` [Caml-list] "
[ANN] OASIS 0.1.0, ocamlify 0.0.1 and ocaml-data-notation 0.0.1
2010-04-08 14:19 UTC (2+ messages)
` [Caml-list] "
camlp4 infix let
2010-04-07 20:24 UTC (3+ messages)
` [Caml-list] "
Reminder: Call for papers: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis ofTimed Systems )
2010-04-06 21:37 UTC
Final call: AMAST 2010
2010-04-06 16:22 UTC
[CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
2010-04-06 14:28 UTC
Forced linking and Ocamlbuild
2010-04-05 16:02 UTC (3+ messages)
` [Caml-list] "
RV 2010 - 2nd Call for Papers and Tutorials
2010-04-04 18:26 UTC
[ANN] The course on Unix System programming in OCaml is translated
2010-04-04 14:46 UTC
ANN: Chess III Arena v0.8
2010-04-03 18:29 UTC
ANN: GraphPDF - PDF version of Graphics module
2010-04-03 15:56 UTC
KR 2010 registration ends next week!
2010-04-03 12:07 UTC
MSFP: last call for papers
2010-04-03 8:02 UTC
ANN: orpc 0.3
2010-04-03 2:21 UTC
CfP -- ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications
2010-04-02 22:00 UTC
LOPSTR'10: New deadline for extended abstract submission
2010-04-02 18:27 UTC
Opencert 2010 CFP
2010-04-02 16:05 UTC
UML&FM'09 CFP
2010-04-02 16:04 UTC
[ANN] OCaml Meeting 2010, final notice
2010-04-01 22:11 UTC
Creative PDF 2010 to view, create, edit PDF documents
2010-04-01 6:33 UTC
LGPLv3 linking exception
2010-04-01 1:27 UTC
PLMMS 2010: Call for Demos
2010-03-30 21:07 UTC
QUATIC'2010 conference Call for Papers
2010-03-30 20:03 UTC
Rewriting the Digest module causes linking errors
2010-03-30 16:19 UTC (8+ messages)
` [Caml-list] "
` Random segfaults / out of memory [Was: Re: [Caml-list] Rewriting the Digest module causes linking errors]
` Random segfaults / out of memory
` [Caml-list] "
ICFP 2010 deadline
2010-03-30 12:32 UTC
[ANN] OCaml Meeting 2010, end of subscription is on next friday
2010-03-30 9:36 UTC
[ANN] jsonpat
2010-03-30 2:41 UTC
Backtracting exceptions in toplevel
2010-03-29 22:45 UTC (3+ messages)
` [Caml-list] "
testers wanted for experimental SSE2 back-end
2010-03-29 18:58 UTC (4+ messages)
` [Caml-list] "
no_scan_tag and int array
2010-03-29 15:34 UTC (2+ messages)
` [Caml-list] "
Open window of right size
2010-03-29 11:41 UTC
[CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
2010-03-29 10:59 UTC
APLAS 2010 CFP
2010-03-29 5:11 UTC
Structural subtyping problem
2010-03-28 20:17 UTC (5+ messages)
` [Caml-list] "
User-defined printers and external C code
2010-03-28 20:05 UTC (2+ 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;
as well as URLs for NNTP newsgroup(s).