[Caml-list]
2014-07-04 10:35 UTC
[Caml-list] OCaml 2014 Call for Participation
2014-07-04 4:30 UTC
[Caml-list] Fwd: Toplevel and syntax extension
2014-07-03 6:16 UTC (11+ messages)
[Caml-list] How does OCaml std test Random
2014-07-02 19:42 UTC (2+ messages)
[Caml-list] Extending Format strings
2014-07-02 13:34 UTC (7+ messages)
[Caml-list] Case insensitive in type
2014-07-02 9:43 UTC (4+ messages)
[Caml-list] PhD position, Data Semantics/Semantic Web, Wright State University
2014-07-02 0:32 UTC
[Caml-list] Book reviewers wanted (again)
2014-07-01 15:04 UTC
[Caml-list] Build != source directory?
2014-07-01 14:04 UTC (2+ messages)
[Caml-list] OCaml on the Arduino (or similar)
2014-07-01 6:29 UTC (8+ messages)
[Caml-list] Last Mile: 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)
2014-06-30 15:56 UTC
[Caml-list] [ANN] Uucp 0.9.0
2014-06-30 14:34 UTC (5+ messages)
[Caml-list] OCaml release 4.02.0+beta1
2014-06-30 13:10 UTC (6+ messages)
[Caml-list] ICOOOLPS 2014 Call For Participation
2014-06-30 12:20 UTC
[Caml-list] Strange interaction between recursive modules, GADT exhaustiveness checking and type-checking?
2014-06-30 11:07 UTC (3+ messages)
[Caml-list] SSTiC 2014: last-minute half-price registration
2014-06-28 11:06 UTC
[Caml-list] Functional Art, Music, Modelling and Design (FARM 2014): Call for Participation
2014-06-28 6:16 UTC
[Caml-list] Memory leaks generated by Scanf.fscanf?
2014-06-27 14:32 UTC (6+ messages)
[Caml-list] ICFP 2014 Call for Participation
2014-06-26 18:51 UTC
[Caml-list] OUPS meetings (next event, 8th of July)
2014-06-26 18:29 UTC
[Caml-list] ReactiveML 1.09.03
2014-06-26 8:19 UTC
[Caml-list] SCSS 2014 Deadline Extension
2014-06-25 16:16 UTC
[Caml-list] [ANN] findlib-1.5.1
2014-06-25 11:21 UTC
[Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories
2014-06-24 17:21 UTC (3+ messages)
[Caml-list] SCSS 2014: Deadline extension
2014-06-24 17:10 UTC
[Caml-list] Appel à communication : JFLA 2015
2014-06-23 20:56 UTC
[Caml-list] [ANN] Core Suite 111.17.00
2014-06-21 19:19 UTC (9+ messages)
` [Caml-list] mysterious cgi problem
[Caml-list] Last Mile: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014)
2014-06-21 10:22 UTC
[Caml-list] ECOOP 2014: Call for Participation
2014-06-18 6:27 UTC
[Caml-list] [ANN] Uucd 2.0.0 & Uunf 0.9.3 for Unicode 7.0.0
2014-06-16 22:45 UTC
[Caml-list] Why AVL-tree?
2014-06-15 14:01 UTC (14+ messages)
[Caml-list] Vienna Summer of Logic: Call for participation
2014-06-15 8:54 UTC
[Caml-list] TPNC 2014: 3rd call for papers
2014-06-14 16:24 UTC
[Caml-list] Adding Dimensions to types
2014-06-13 20:08 UTC (10+ messages)
[Caml-list] Missleading type error
2014-06-13 11:02 UTC
[Caml-list] Next OUPS meetings: June, 19 and July, 8
2014-06-12 20:01 UTC
[Caml-list] Row-polymorphic type declarations
2014-06-11 2:20 UTC (4+ messages)
[Caml-list] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014
2014-06-10 19:08 UTC
[Caml-list] Thoughts on targeting windows
2014-06-10 9:53 UTC (10+ messages)
[Caml-list] Designing a (functional) multi-agent simulation -- illusion of paralellism
2014-06-10 9:12 UTC (5+ messages)
[Caml-list] Second CfP TARK-workshop 'Reasoning about other minds', Groningen, 11 July 2011
2014-06-09 20:18 UTC (2+ messages)
` [Caml-list] CfP workshop 'Reasoning about other minds', Groningen, 4-5 August, 2014
[Caml-list] uCorelib 0.2.0
2014-06-09 13:38 UTC
[Caml-list] ICTAI 2014: Final Call for Papers (extended submission deadline)
2014-06-09 8:11 UTC
[Caml-list] BigDat 2015: June 23, 2014 - 1st registration deadline
2014-06-07 15:07 UTC
[Caml-list] Last Mile: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014)
2014-06-07 10:28 UTC
[Caml-list] static linking
2014-06-07 9:55 UTC (5+ messages)
[Caml-list] [ANN] PG'OCaml 2.1
2014-06-06 15:25 UTC
[Caml-list] Final call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)
2014-06-06 13:22 UTC
[Caml-list] Multicore runtime
2014-06-05 17:01 UTC (2+ messages)
[Caml-list] CfP: C4BD2014 - Workshop on Complexity for Big Data at IEEE BigData 2014
2014-06-05 13:25 UTC
[Caml-list] How standard is exponentiation in ocaml?
2014-06-04 21:03 UTC (2+ messages)
[Caml-list] How is Async implemented?
2014-06-03 23:51 UTC (7+ messages)
[Caml-list] IJCAR Call for Participation
2014-06-03 15:35 UTC
[Caml-list] ICFP 2014 Student Volunteer Programme
2014-06-03 13:53 UTC
[Caml-list] Why AVL-tree?
2014-06-02 18:23 UTC
[Caml-list] Why AVL-tree?
2014-06-02 11:48 UTC
[Caml-list] Uncaught exceptions in function type
2014-06-02 8:43 UTC (28+ messages)
[Caml-list] UNIF 2014: Call for Participation
2014-06-01 13:05 UTC
[Caml-list] Last Mile: The 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2014)
2014-06-01 9:12 UTC
[Caml-list] 2nd CfP: SCSS 2014
2014-06-01 9:01 UTC
[Caml-list] LOPSTR 2014 - Extended Deadlines
2014-05-31 12:48 UTC
[Caml-list] SSTiC 2014: June 7, early registration deadline
2014-05-30 17:55 UTC
[Caml-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS
2014-05-30 11:13 UTC (4+ messages)
` [Caml-list] 1st CFP, Intersection Types and Related Systems 2014
` [Caml-list] ITRS 2014 - DEADLINE EXTENSION
` [Caml-list] ITRS 2014, Call for Participation
[Caml-list] [ANN] PG'OCaml 2.0
2014-05-28 16:45 UTC
[Caml-list] [ANN] PG'OCaml 2.0
2014-05-28 14:54 UTC
[Caml-list] BCS-FACS talk on Alan Turing - 5 June 2014, London
2014-05-28 13:16 UTC
[Caml-list] [ANN] Litiom 3.0
2014-05-27 12:07 UTC
[Caml-list] [ANN] Win-builds 1.4.0 - package management on/for Windows
2014-05-27 7:48 UTC
[Caml-list] APLAS 2014: Extended deadline
2014-05-27 3:19 UTC
[Caml-list] [ANN] Ocsigen Eliom 4.0
2014-05-26 15:02 UTC
[Caml-list] Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014
2014-05-26 14:58 UTC
[Caml-list] Modules and record fields
2014-05-26 9:14 UTC (7+ messages)
[Caml-list] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014
2014-05-25 15:16 UTC
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).