Undecidability of OCaml type checking
1999-07-14 15:43 UTC (5+ messages)
` irritability of structure name conflicts
recursive algebraic and class types
1999-07-14 1:38 UTC
String.from_list
1999-07-13 14:16 UTC
CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL +
1999-07-13 12:32 UTC
New software: findlib-browser (again)
1999-07-12 20:29 UTC
small code problem
1999-07-11 19:23 UTC (2+ messages)
New software: findlib-browser
1999-07-11 17:52 UTC
parametric types in simple functors?
1999-07-09 12:50 UTC
Sys.argv with interpreter and compiler
1999-07-09 2:25 UTC (2+ messages)
small code problem
1999-07-09 1:37 UTC (5+ messages)
Sys.argv with interpreter and compiler
1999-07-08 23:23 UTC (10+ messages)
small code problem
1999-07-08 18:23 UTC
New software: xstr - Thread-safe string functions
1999-07-07 20:15 UTC
Hevea new release
1999-07-06 16:26 UTC
Nouveau lacher d'hevea
1999-07-06 16:20 UTC
Q: parametric types in simple functors?
1999-07-05 10:57 UTC
Sys.argv with interpreter and compiler
1999-06-29 17:01 UTC
Random.int on non unix platform
1999-06-28 22:35 UTC (4+ messages)
` Events, method iterator
Random.int on non unix platform
1999-06-27 15:53 UTC
New software: db2man, converts docbook to Unix manual pages
1999-06-26 18:38 UTC
New release: findlib, a library managing reusable software components (packages)
1999-06-26 18:25 UTC
Job Opportunities at INRIA Sophia Antipolis
1999-06-24 7:43 UTC
wrap_abort missing in thread library
1999-06-24 6:24 UTC
Typage des modules
1999-06-23 17:00 UTC (3+ messages)
grammar for class types, reraised
1999-06-23 1:40 UTC (5+ messages)
Objects contrib: new URL
1999-06-21 11:41 UTC
New patch for former C programers :)))
1999-06-18 19:21 UTC
ocamlweb - a literate programming tool for Objective Caml
1999-06-18 11:55 UTC
Stub between Ocaml and C : camlidl or swig
1999-06-18 5:51 UTC (2+ messages)
Objects contrib
1999-06-18 1:19 UTC (7+ messages)
` Objects contrib: new URL
New software: HTTP, cryptography
1999-06-18 0:44 UTC
forward function definitions
1999-06-17 8:46 UTC (6+ messages)
Contrib: new Widgets toolkit with Graphics lib
1999-06-15 22:24 UTC
lexer, parser
1999-06-15 10:20 UTC (5+ messages)
Constante NIL
1999-06-14 20:48 UTC (5+ messages)
cryptage
1999-06-14 16:39 UTC (2+ messages)
Graphics library
1999-06-14 10:59 UTC (4+ messages)
forward function definitions
1999-06-14 10:34 UTC
MlDoc : extraction automatique de documentation
1999-06-07 10:04 UTC
New Makefile for OCAML
1999-06-06 15:26 UTC
Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL +
1999-06-06 10:32 UTC
Nouveautes / News
1999-06-02 20:28 UTC
Format
1999-06-02 8:01 UTC (2+ messages)
OCAML parametric class coercion
1999-06-01 4:44 UTC (3+ messages)
Events, method iterator
1999-05-31 20:17 UTC
Typing-problem
1999-05-31 12:42 UTC (3+ messages)
OCaml - CInterface: interesting bug scenario
1999-05-31 10:11 UTC (2+ messages)
more patches (for Unix signal mask)
1999-05-27 19:10 UTC (7+ messages)
` Are exceptions evil? (was: more patches)
` UPDATE: more patches
Caml Primer
1999-05-24 13:02 UTC
New test version of the O'caml link db
1999-05-20 22:27 UTC
yet another signal mask patch and: what's the indended semantics?
1999-05-20 8:51 UTC (2+ messages)
Big Brother 2.0.0, a free Web spider written in O'Caml
1999-05-19 20:50 UTC
modification to the O'CaML sets.ml
1999-05-17 23:53 UTC
visualization of Caml values
1999-05-17 7:24 UTC
grammar for class types
1999-05-14 16:59 UTC
stream pattern [< pat=exp >] and extensions to ordinary patte rn m atching
1999-05-14 16:14 UTC
mutually recursive types and modules
1999-05-14 11:11 UTC (4+ messages)
Graph Visualization
1999-05-14 7:52 UTC (5+ messages)
(no subject)
1999-05-11 17:03 UTC
correction
1999-05-11 16:36 UTC
stream pattern [< pat=exp >] and extensions to ordinary patte rn m atching
1999-05-10 16:12 UTC
Some problems with Ocaml <-> C and GC
1999-05-10 9:16 UTC
stream pattern [< pat=exp >] and extensions to ordinary pattern m atching
1999-05-07 22:28 UTC
Graph Visualization
1999-05-07 16:42 UTC
A list of finalized values ?
1999-05-07 15:32 UTC (2+ messages)
parseur XML validant
1999-05-07 15:06 UTC (4+ messages)
compilateur natif pour architectures sparc/linux et m68k/linux ?
1999-05-05 7:34 UTC (3+ messages)
Parser XML valide
1999-05-04 14:11 UTC
Génération de code
1999-05-03 12:34 UTC
Some questions about signatures
1999-04-27 19:47 UTC (2+ messages)
licence issues
1999-04-23 9:29 UTC (17+ messages)
ocaml+pvm
1999-04-23 7:32 UTC (2+ messages)
patch: ocamldebug prints float arrays without barfing
1999-04-22 11:59 UTC (2+ messages)
` (again) "
subtyping and inheritance
1999-04-21 12:18 UTC (5+ messages)
trouble with C pointers and GC
1999-04-19 18:50 UTC (2+ messages)
License Issues
1999-04-19 13:16 UTC
LablGL-0.92
1999-04-15 2:58 UTC
ocamlyacc error reporting
1999-04-14 17:45 UTC
creating fresh objects of type 'self
1999-04-12 13:10 UTC (5+ messages)
New Software
1999-04-12 1:55 UTC
Followup: creating fresh objects of type 'self
1999-04-10 0:15 UTC
stack module with "top"
1999-04-09 22:12 UTC
[LONG] misc. patches against ocaml-2.02
1999-04-09 20:12 UTC
systhreads/threadUnix.ml{,i} missing select
1999-04-09 20:04 UTC
Testing caml programs
1999-04-09 8:17 UTC
graphics
1999-04-07 12:30 UTC (2+ messages)
` graphics (color query code for truecolor displays)
Threads and ocaml-2.02
1999-04-07 7:36 UTC (3+ messages)
Toplevel script mode
1999-04-06 8:43 UTC
splay trees 0.4 released
1999-04-06 8:13 UTC
Toplevel script mode
1999-04-06 8:07 UTC
Objective Caml 2.02
1999-04-06 7:53 UTC (5+ messages)
` Upgrade from OCaml 2.01 to OCaml 2.02 made things _slower_!
initialization of instance variables
1999-04-03 10:40 UTC (4+ 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).