- Call for Participation: Distributed Computing Techniques: DisCoTec 2009 (DAIS + FMOODS/FORTE + COORDINATION), Lisbon, 9-12 June 2009, student grants available
- Re: [Caml-list] Bug? Constraints get ignored in methods
- Re: [Caml-list] Dynamic loading of native code : what about librairies and packs ?
-
Re: [Caml-list] questions
| \- 2009-04-01 (16:45)| \- 2009-04-01 (13:42)
- Re: [Caml-list] PowerPC 405
- DEFUN09: Call for Talks & Tutorials (co-located w/ ICFP09)
- FroCoS'09 Call for Papers
- OCaml job at MyLife
- Efficient parallel programming without a concurrent GC
-
How to achieve this camlp4 syntax extension
| \- 2009-04-02 (12:48)
-
Re: [Caml-list] Re: LLC book [was: Questions]
| |- 2009-04-02 (13:40)| | \- 2009-04-02 (18:08)| | \- 2009-04-02 (18:21)| | \- 2009-04-02 (18:31)| | \- 2009-04-02 (18:39)| | |- 2009-04-02 (18:51)| | |- 2009-04-03 (06:17)| | \- 2009-04-03 (10:22)| \- 2009-04-02 (18:01)
- Re: [Caml-list] LLC book [was: Questions]
- ASP-competition Call for Participation
- [ANN] OSpec 0.1.0 - BDD for OCaml
- netplex multi-thread asynchronous processor for passive clients
-
Strings
| \- 2009-04-03 (14:39)| \- 2009-04-03 (15:04)| |- 2009-04-03 (16:56)| | |- 2009-04-03 (17:51)| | | |- 2009-04-03 (19:46)| | | | |- 2009-04-03 (20:41)| | | | | \- 2009-04-04 (10:05)| | | | | \- 2009-04-04 (11:12)| | | | | |- 2009-04-04 (11:34)| | | | | | \- 2009-04-04 (12:34)| | | | | \- 2009-04-18 (12:31)| | | | \- 2009-04-04 (10:07)| | | |- 2009-04-03 (21:44)| | | | \- 2009-04-04 (09:10)| | | | \- 2009-04-05 (10:04)| | | | \- 2009-04-06 (09:19)| | | | |- 2009-04-06 (10:07)| | | | \- 2009-04-06 (11:02)| | | |- 2009-04-04 (17:11)| | | | \- 2009-04-04 (17:19)| | | \- 2009-04-05 (20:54)| | | \- 2009-04-05 (23:41)| | |- 2009-04-03 (18:24)| | \- 2009-04-03 (20:34)| \- 2009-04-04 (10:14)| |- 2009-04-04 (10:55)| \- 2009-04-04 (21:51)| |- 2009-04-04 (23:35)| | \- 2009-04-05 (09:36)| | |- 2009-04-05 (10:09)| | | \- 2009-04-05 (21:41)| | \- 2009-04-05 (21:40)| \- 2009-04-05 (02:49)| |- 2009-04-05 (04:22)| | \- 2009-04-05 (07:03)| \- 2009-04-05 (06:57)| \- 2009-04-05 (07:05)
- ocamlgraph ConcreteBidirectional and Dot
- 64 bits ocamlopt to generate 32 bits code
- OCaml-bindings for libmodbus?
- Execution order in class construction
- Fwd: User Group for functional programmers and scientific computing; Monday, April 6th
- netplex: calling send_message from processor hangs container
- A small question on polymorphic variants
- Instance variables can't be polymorphic?
- [ANN] OCaml Batteries Included Beta 1
- Re: [Caml-list] netplex multi-thread asynchronous processor for passive clients [solved]
- local modules in classes
- Final CfP: ICTAC'09 - Last Chance
- PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
-
Subtyping
| |- 2009-04-07 (13:39)| | \- 2009-04-07 (21:33)| \- 2009-04-07 (21:32)
- Call for Papers: PLMMS 2009
- CFP: JFP Special Issue on Generic Programming
- [Caml-list] flexlink + lacaml (lapack)
- [Caml-list] RE: flexlink + lacaml (lapack)
- Second CfP: 22nd International Workshop on Description Logics (DL 2009)
- camomile vs netstring
- [OT]: Petition against Softwarepatents
- Comment envoyer un emailing sans passer par mon FAI
- storing object in record
- ocamlbuild and ocamlfind - using multiple grammars in a project
- [Caml-list] RE: flexlink + lacaml (lapack)
- Compiling 3.11 with Godi/mingw
- Re: [Caml-list] RE: flexlink + lacaml (lapack)
- class type param constraint
- proposition to create a core-caml-list
- hydro: is server-to-server call possible?
- ADJIGNON SERGE
- ADJIGNON SERGE
- ADJIGNON SERGE
- Ocamlbuild with Ocamldoc and implementation files
-
"ok with parallel threads" GC (aka ocaml for multicore)
| \- 2009-04-17 (22:29)
-
OCaml and Boehm
| |- 2009-04-11 (10:35)| |- 2009-04-11 (14:11)| | |- 2009-04-11 (14:21)| | | \- 2009-04-11 (14:40)| | | \- 2009-04-11 (20:34)| | \- 2009-04-11 (15:03)| | |- 2009-04-11 (20:35)| | \- 2009-04-13 (09:44)| | \- 2009-04-13 (13:15)| | \- 2009-04-14 (05:25)| \- 2009-04-12 (03:34)| \- 2009-04-12 (12:09)
- Re: [Caml-list] OCaml and Boehm
- CSL executable for Window s, 1995 vintage. Or Jens Klöumlcker?
- Camlp4 help
- [ANN]Amthing - a multi-threaded GUI library
- CFP Trends in Functional Programming
- CFP Trends in Functional Programming
- C wrappers for Ocaml functions
-
pattern matching and records vs tuples
| \- 2009-04-14 (16:59)| \- 2009-04-14 (19:57)| |- 2009-04-15 (02:37)| |- 2009-04-15 (02:40)| \- 2009-04-16 (16:05)| \- 2009-04-16 (16:59)| |- 2009-04-17 (00:26)| \- 2009-04-17 (21:12)
- antiquotations for c#
- ICE09: CALL FOR PAPERS
- interface mismatch on camlp4_import
- Using Dynlink in the top level
- Typing of polymorphic variants
-
Functional unparsing
| \- 2009-04-17 (08:35)
- 2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th
- cvs ocaml build failing
- [ANN] ocamltarzan 0.1
- Unable to define a polymorphic map method
- Extending a class constrained in a signature
- 2nd CfP: ML Workshop 2009
- quasiquoting and pattern matches
- quasiquoting: 3 parsers for camlp4 vs 1 for haskell?
-
Extending modules and signatures
| \- 2009-04-20 (05:18)| \- 2009-04-20 (11:59)
- Re: [Caml-list] Extending modules and signatures
- [ANN] OCaml-Java project: 1.2 release
- what is the "best" block structure to code a tree structure?
- mixed functional / object style
- [ANN] OSpec 0.2.0 - BDD for OCaml
- Extended draft paper submission: SETP-09 call for papers
- TYPES 2009
- [FM 2009] *****submission deadline May 4th*****
- Interpretation of an error message "type ('a, 'b) t should be ('a, 'c) t" in a signature?
-
Parallelized parsing
| \- 2009-04-21 (00:52)| \- 2009-04-21 (15:48)| \- 2009-04-21 (08:51)
- Commercial Users of Functional Programming - Call For Presentations Reminder
- [ANN] enhtop for OCaml 3.11 and camlish v0.03
- TYPES annual workshop in Aussois, France.
- FroCoS'09 Final Call for Papers
- ANN: ocamljs 0.2 + orpc 0.2 + froc 0.1
- Ph.D and Postdoc Positions available in Durham, UK
- FroCoS'09 Final Call for Papers
- [ANN] Diamondback Ruby - Program Analysis for Ruby
- Submission Deadline Extended: Sixth International Conference on Remote Engineering and Virtual Instrumentation (REV 2009)
-
Threads?
| \- 2009-04-23 (08:24)
- Re: [Caml-list] Building pcre-ocaml on OCaml 3.11.0 on MinGW
-
ocamlopt debugging options
| \- 2009-06-18 (14:10)
- Ocamlfind query
- PhD positions in ICT on Formal Verification via SMT available in Trento
- PhD positions in ICT on Formal Verification via SMT available in Trento
- Menu in terminal - curses
- Ann: Hydro-0.7
- 3rd CfP - LAM'09 (Logics for Agents and Mobility)
- Call for Papers: Formal Aspects of Component Software (FACS 2009)
- Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th
- Fw: Registration for ISR 2009 and RDP 2009 is open!
- A small bug in Camomile
- NBE'09 call for papers
-
Ocamlopt code generator question
| \- 2009-05-05 (09:41)| |- 2009-05-05 (14:15)| | |- 2009-05-05 (14:59)| | | |- 2009-05-05 (15:22)| | | \- 2009-05-05 (15:59)| | | \- 2009-05-05 (16:26)| | \- 2009-05-05 (15:07)| \- 2009-05-08 (10:21)| |- 2009-05-10 (11:04)| | |- 2009-05-11 (01:36)| | \- 2009-05-11 (03:43)| | \- 2009-05-11 (04:31)| |- 2009-05-10 (23:13)| | \- 2009-05-11 (01:38)| \- 2009-05-11 (07:55)
- Strange performance bug
- Conflicts between threads and system calls on MacOS X?
-
arm backend
| |- 2009-05-05 (18:21)| \- 2009-05-06 (03:56)| \- 2009-05-01 (18:27)| \- 2009-05-01 (19:24)
-
Custom blocks and finalization
| \- 2009-05-06 (16:43)| \- 2009-05-06 (16:54)| |- 2009-05-06 (18:01)| \- 2009-05-08 (09:36)| \- 2009-05-08 (13:48)
- EPTCS launch