- CfP: 20th WADT - deadline extended to May, 10th
- Subtyping structurally-equivalent records, or something like it?
-
Re: [Caml-list] Subtyping structurally-equivalent records, or something like it?
| |- 2010-05-04 (13:43)| | \- 2010-05-04 (15:11)| \- 2010-05-05 (09:31)| \- 2010-05-05 (12:12)| \- 2010-05-05 (16:46)
- OCaml / F# co-development
- EDF, Votre facture electronique pour vous simplifier la vie tout en respectant l'environnement !
- LPAR-17 in Indonesia - CFP and Workshops
-
about OcamIL
| \- 2010-05-06 (10:59)| |- 2010-05-05 (20:15)| |- 2010-05-05 (22:13)| | \- 2010-05-05 (22:36)| | |- 2010-05-05 (23:13)| | | \- 2010-05-06 (10:45)| | \- 2010-05-06 (14:38)| |- 2010-05-05 (22:18)| | \- 2010-05-06 (11:13)| \- 2010-05-06 (10:43)| \- 2010-05-06 (16:33)| |- 2010-05-07 (07:26)| | \- 2010-05-07 (08:25)| \- 2010-05-10 (21:53)| \- 2010-05-11 (11:22)| |- 2010-05-11 (16:39)| | |- 2010-05-11 (17:36)| | |- 2010-05-11 (23:47)| | | \- 2010-05-12 (01:57)| | \- 2010-05-12 (11:57)| |- 2010-05-11 (17:38)| \- 2010-05-12 (12:29)| \- 2010-05-12 (13:11)| \- 2010-05-14 (10:40)| |- 2010-05-14 (10:58)| | \- 2010-05-14 (11:51)| |- 2010-05-14 (11:51)| | \- 2010-05-16 (20:31)| | \- 2010-05-17 (07:53)| | \- 2010-05-19 (00:18)| | \- 2010-05-19 (07:46)| | |- 2010-05-19 (11:29)| | | \- 2010-05-19 (13:27)| | | |- 2010-05-19 (13:35)| | | | |- 2010-05-19 (15:23)| | | | \- 2010-05-19 (16:49)| | | \- 2010-05-19 (16:48)| | \- 2010-05-20 (02:03)| |- 2010-05-14 (13:55)| \- 2010-05-14 (15:17)| \- 2010-05-14 (16:26)| |- 2010-05-14 (16:32)| | \- 2010-05-14 (20:08)| | |- 2010-05-14 (21:28)| | | |- 2010-05-14 (21:29)| | | \- 2010-05-14 (23:51)| | \- 2010-05-15 (00:48)| \- 2010-05-14 (18:11)| \- 2010-05-14 (18:59)| \- 2010-05-14 (21:42)| |- 2010-05-14 (21:47)| | |- 2010-05-14 (21:57)| | \- 2010-05-15 (00:16)| | \- 2010-05-15 (00:43)| | |- 2010-05-15 (02:16)| | | \- 2010-05-15 (21:28)| | | \- 2010-05-16 (03:19)| | \- 2010-05-15 (09:45)| | |- 2010-05-15 (12:07)| | |- 2010-05-15 (12:17)| | | \- 2010-05-15 (13:21)| | | \- 2010-05-15 (22:19)| | | |- 2010-05-15 (23:39)| | | \- 2010-05-16 (03:23)| | |- 2010-05-15 (13:23)| | \- 2010-05-15 (21:45)| \- 2010-05-15 (21:44)| \- 2010-05-15 (22:25)| \- 2010-05-16 (02:04)| |- 2010-05-16 (03:20)| \- 2010-05-16 (17:50)| \- 2010-05-16 (19:15)
- Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9)
- 2nd CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing
- AISC'10: Call for Short Presentations
- New release of focalize, a development environment for high integrity programs.
- New release of focalize, a development environment for high integrity programs.
- ANN: froc 0.2
- RV'10 Final CFP - DEADLINE: June 1st
- Generating random generators
- C++ STL bindings
- Mbox-Readers
- Re: About Cryptokit (was: Re: [Caml-list] Re: SHA1 => stdlib ?!)
- CALL FOR PARTICIPATION: MPC 2010
- Re: [Caml-list] [ANN] OCaml-Java project: 1.4 release
- Calculemus 2010: Deadline Extension for Emerging Trends
- Ques from a beginner: how to access a type defined in one .ml file in another .ml file
-
[ANN] Camomile 0.7.3
| \- 2010-05-13 (01:19)| |- 2010-05-13 (09:52)| | \- 2010-05-14 (02:51)| | |- 2010-05-14 (06:48)| | | \- 2010-05-14 (08:35)| | | \- 2010-05-14 (13:30)| | | \- 2010-05-14 (13:55)| | | \- 2010-05-15 (12:15)| | |- 2010-05-14 (08:14)| | | \- 2010-05-14 (11:35)| | \- 2010-05-14 (18:52)| \- 2010-05-18 (11:04)
- OCaml S3 Library?
- EPEW 2010 -- last call for papers (deadlines May 27-31)
- 8-bit characters on command line
- Balancing algorithm of Set/Map implementation
- LOLA 2010 Programme and call for participation
- Closed variants, type constraints and module signature
- Request for example code using the OCaml C interface
- the list archives
- pelican3d.com now links to you
- Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications
- DisCoTec 2010: Call for Participation
-
Phantom types
| \- 2010-05-17 (15:19)
-
What should the "size" in "caml_alloc_custom" be?
| \- 2010-05-18 (14:59)| \- 2010-05-18 (17:33)
- Binding and evaluation order in module/type/value languages
- Binding and evaluation order in module/type/value languages
- recursive module and types
- OCaml defunctorization and other optimizations
- Problem with recursive class and non-class types
- [Lablgtk] LablGtk 2.14.1
- LPAR-17 submission deadlines
- camlp5 compilation error
- Call for Presentations --- ACA 2010 Special Session
- New Deadline: June 8
-
A Tutorial on GNU Make with OCaml
| \- 2010-05-21 (08:17)| \- 2010-05-21 (08:42)
- Private modules in packages
- Call for Participation: 20th WADT, July 1-4, 2010
- Current state of GODI and batteries
- Re: Re: camlp5 compilation error
- Jane Street is hiring
- Segfault if *.ml is named the same as the pack
- RFH: Values do not match: val bar1 : Foo.foo_t is not included in val bar1 : Foo.foo_t
- Workshop on ML 2010 - Call for Content
- Multi-threaded programs using MinGW x-compiler
- Two Different Exception Behaviors in camlp4 on the toplevel
-
new emacs tuareg mode release
| \- 2010-05-24 (17:17)| \- 2010-05-24 (20:09)| \- 2010-05-24 (20:36)| \- 2010-05-24 (20:58)| \- 2010-05-25 (01:00)| |- 2010-05-25 (10:17)| \- 2010-05-25 (18:04)| |- 2010-05-26 (06:27)| | \- 2010-05-26 (13:33)| \- 2010-05-26 (14:31)| |- 2010-05-26 (15:36)| | \- 2010-05-26 (16:02)| | \- 2010-05-26 (16:34)| \- 2010-05-27 (09:46)| |- 2010-05-27 (14:25)| | \- 2010-05-27 (15:42)| \- 2010-05-27 (16:01)| \- 2010-05-29 (13:16)| \- 2010-05-26 (10:02)| |- 2010-05-26 (13:18)| | \- 2010-05-26 (13:32)| \- 2010-05-26 (13:33)| \- 2010-05-26 (14:03)| \- 2010-05-26 (14:10)| \- 2010-05-25 (18:11)| \- 2010-05-25 (18:25)
- Native compiler on armel (arm-eabi)
- 2nd CfP: Formal Aspects of Component Software (FACS 2010)
- LOPSTR/PPDP 2010 Call for Participation
-
Bigarrays and blocking_section..
| \- 2010-05-25 (20:10)| \- 2010-05-26 (01:16)
- CALL FOR PARTICIPATION - ECOOP conference tutorials
-
Static exception analysis or alternative to using exceptions
| |- 2010-06-08 (09:16)| \- 2010-05-31 (20:51)| \- 2010-05-31 (20:57)| \- 2010-05-31 (21:43)
-
Re: [Caml-list] Static exception analysis or alternative to using exceptions
| |- 2010-05-27 (08:50)| | \- 2010-05-27 (11:10)| |- 2010-05-27 (08:54)| | |- 2010-05-27 (09:11)| | | \- 2010-05-27 (09:30)| | \- 2010-05-27 (09:12)| | \- 2010-05-27 (09:19)| \- 2010-05-27 (09:15)
- Sysadmin/programmer combo positions at Jane Street
- OCaml compilation
- Architectures with natdynlink support...
- Re: WAS Re: [Caml-list] Re: The need to specify 'rec' in a recursive function defintion
- Call for Papers: HLPP 2010 (DEADLINE EXTENSION)
- Offre d'emploi / Job offer
- Types Meeting 2010
-
Why is this allowed?
| \- 2010-05-31 (15:49)