Archives of the Caml Mailing list
By Subject
2948 messages sorted by: 
[ author ]
[ date ]
[ thread ]
Starting: Mon Jan 06 1997 - 12:06:27 MET
Ending: Thu Jun 15 2000 - 18:15:30 MET DST
- "catch-all" labels?
 - # types and polymorphic variants
 - $0.02 suggestion for the Printf module
 - '..,
 - 'a -> string ?
 - (*)CaML -> SML ?
 - (*)CaML -> SML ? / SML -> Caml ?
 - (again) patch: ocamldebug prints float arrays without barfing
 - (native Windows executables)
 - (no subject)
 - (O)caml and Java
 - *** Job Vacancy in High-Level Circuit Design - Software and Applications. ***
 - -custom under NT
 - -output-obj and shared libraries?
 - 1999 ECCAI ARTIFICIAL INTELLIGENCE DISSERTATION AWARD
 - 2 contribs: splay trees and otags
 - 2eme appel a participation JFLA2000
 - 32 bit integers
 - 32-bit integers library
 - <cannot fetch remote object> - WHY ?
 - =?ISO-8859-1?Q?Réseau de neurones?=
 - [ANN] French O'Reilly book on Objective CAML
 - [Annonce] / [Announce] Caml Light to HTML
 - [Bug/Feature]: (#meth) syntax is gone ?
 - [Caml-List] Dynlink + Marshaling...
 - [caml] Closures and efficiency
 - [English only, sorry] O'Labl hands off the standard library?
 - [Fwd: Resolution systeme lineaire]
 - [GC] Evaluate memory use
 - [LONG] misc. patches against ocaml-2.02
 - [OCaml:] equality predicates for all abstract data types?
 - [Q] About Unix Library of Ocaml
 - [Q] Custom toplevel for MacOS O'Caml
 - [Q] Four micro-questions on objects and modules.
 - [Q] Multiple patterns in O'Caml
 - `double' alignment in ocamlopt
 - A common use of try ... with
 - A list of finalized values ?
 - a Lout style for prettyprinting OCAML
 - a parsing question
 - A propos de la fonction stat()
 - A propos de monad
 - A propos de monad/About monads
 - A propos de ocamldep
 - a question
 - A simple Ray Tracer in Ocaml
 - A way to restore sanity to IEEE FP math.
 - About adding embedded user types into Ocaml bytecode runtime
 - About array
 - About futur of OCAML
 - about partial functions
 - additions to standard library?
 - Affichage des erreurs OCaml
 - Affichage des exceptions
 - Again: Portability of applications
 - Algorithme de Milner (synth(Fiso-8859-1?Q?è?? se de type)
 - Algorithme de Milner (synthè se de type)
 - Alias and Tuple patterns
 - aliasing exceptions with a let ?
 - alloc_final() and alloc()
 - Allocating on doublewords; was: About adding embedded user types into Ocaml bytecode runtime
 - Alpha beta pruning and othello!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 - Alternative generic hash function
 - ANN : OcamlQuake
 - Annonce/Announce : Caml light 0.73 Amiga
 - Announce / Annonce Merimee 2.0
 - Announce/Annonce: CamlFlow
 - ANNOUNCE: mlexpect 0.9
 - Announcement -> address!
 - Announcement: automatically resizing arrays
 - ANNOUNCEMENT: JavaCaml
 - Announcement: PCRE-library for OCaml
 - Announcing fun->pdf
 - Anonymous classes
 - anonymous CVS server for Caml sources
 - Anonymous object/class (revisited)
 - anonymous record types in variants
 - Anyone ported OCamlTk to Tcl/Tk 8.0 on Windows?
 - APIs under Windows
 - APPEL A COMMUNICATION JFLA2000
 - appel a participation JFLA2000
 - appel aux communications JFLA'2001
 - Applied Semantics Summer School APPSEM'2000
 - archives?
 - Are exceptions evil? (was: more patches)
 - are initial values in class fields mandatory ? (ocaml)
 - arity of type constructors
 - Array interface question
 - Array Size Limitations Overcome!
 - arrays and type variables...
 - ASDL port for OCaml.
 - Ask for explanation -- possibly repeated
 - assembly
 - Assert_failure exception
 - AW: ocaml needs users: native code for windows?
 - backward compatibility
 - Base d'objets persistante (was : Marshaling pour les objets ?)
 - BDD in O'Caml?
 - Beautified caml.ps
 - Best way to dispatch on two arguments
 - bibliotheque arbres, graphes, automates
 - bibliotheque autograph
 - bibliotheque de manipulation de graph ?
 - bibtex2html
 - bibtex2html release 1.0
 - Big Brother 2.0.0, a free Web spider written in O'Caml
 - BigNum Gmp et Ocaml
 - bignums?
 - Binary Decision Diagram in CAML
 - Binary Decision Diagram in CAML (fwd)
 - Binary file I/O
 - Bindlib-2.1 library for binders under OCaml available
 - bizarrerie du typage
 - bizarrerie du typage (fwd)
 - Book in english
 - Boxing wrt. unary constructors
 - Break
 - Break under Windows NT
 - Browsing docs & caml.el.
 - BSD optimized code
 - BSMLlib-0.1
 - Bug converting numbers?
 - bug in floating point implementation ?
 - Bug in memory.h in ocaml 2.03?
 - bugs in OCaml 2.03
 - Building a cross-compiling ocaml
 - building ocaml-2.00 with egcs
 - building ocaml-2.00 with gcc-2.7.2.3
 - byte manipulation in O'Caml (was: multi-threaded udp resolver)
 - Byte-code specs.
 - Byterun question
 - C interface and Caml
 - C interface and representation
 - C primitives returning functions again
 - C program analyser in Ocaml?
 - C strings in O'Caml
 - C++ & Caml: name clash
 - Calcul matriciel en Caml, svp.
 - Call for libraries (English version)
 - Call for libraries (version française)
 - Call for paper of Reflection99
 - Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL + ...
 - callcc/throw...
 - Calling C from OCaml, GC problems
 - Calling C++ from Caml
 - Calling Java then C from a Ocaml toplevel
 - cam-light recursive types
 - Caml : problème avec les string multilignes
 - Caml benchmarks ?
 - Caml comme langage de macro
 - Caml et Gtk+/Gdk ...
 - Caml GC internals documents?
 - Caml Light 0.73
 - Caml Light 0.74
 - Caml on NeXT computers
 - Caml performance
 - Caml Primer
 - Caml Programming Environment
 - Caml sur Rhapsody
 - caml sur un 286 ?
 - Caml toplevel thru Web (HTTP or CGI)?
 - Caml wish list
 - caml-list out
 - caml-tk under Windows
 - Caml/MPI interface v1.0 available
 - CAML/MPI v1.1 available
 - camlcvs: now home of linkdb
 - camldebug
 - camlex/camlyacc + threads problem
 - CamlIDL - stub code generator and COM binding for OCaml
 - CamlIDL and string options.
 - Camlidl copyright.
 - CamlImages library
 - CamlImages updated for O'Caml 3.00
 - CamlIT for ocaml-2.04 and 2.99
 - Camllist wanted for C-- compiler project
 - camlp4
 - Camlp4 0.6
 - Camlp4 1.06 released
 - Camlp4 1.07.1
 - camlp4 2.00-- intermediate version without objects and classes
 - camlp4 2.00--1 (objects parsed in Ocaml syntax)
 - Camlp4 2.01
 - Camlp4 2.02
 - Camlp4 2.03
 - Camlp4 3.00
 - camlp4/q_MLast missing OO constructs
 - camlsearch --- is ocaml version available?
 - Camltk
 - CamlTk and LablTk
 - camltk browser for ocaml sources
 - camltk with native code compiler ocamlopt?
 - Camouflage 1.0
 - camplp4 0.5
 - Can max_array_length be enlarged?
 - Can someone explain?
 - Catching Break?
 - CFP (last call): PLI99 = ICFP + PPDP + HOOTS + IDL + ...
 - CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL + ...
 - CFP ESSLLI-2000 Student Session
 - CGI library
 - CL2000: call for workshop proposals
 - Class syntax questions
 - Classe recursive et heritage
 - Classes AND Modules? What's the point?
 - Classes: when and where? (long) (was: looking for a nail)
 - CLOS and ML?
 - co(ntra)-variant subtyping
 - collecting the collector?
 - communication problems
 - compilateur natif pour architectures sparc/linux et m68k/linux ?
 - compilation
 - Compiler internals question
 - Compiler translation of array indexing
 - Compiling CAMLP4 on Win95/CygwinB20.1
 - compiling multifile program
 - Compiling native threads in ocaml 1.06
 - complete ocaml syntax
 - config info
 - Congratulation! Bug found!! (GC & C interfacing problems)
 - Connection à une IHM en IlogViews
 - Constante NIL
 - constraint 'a = 'a ref
 - Constructed types
 - Constructor/reference bug?
 - Constructors in camllight vs. ocaml
 - continuations
 - Contrib
 - Contrib: a small Xwindow editor entirely written in Ocaml
 - Contrib: dynlink for native code executables to load .cmo files
 - Contrib: new Widgets toolkit with Graphics lib
 - Contrib: toplevel for native code
 - Contributions
 - Control inversion
 - controler la taille du tas
 - Conversion between file descriptors and strings
 - convincing management to switch to Ocaml
 - convincing management to switch to Ocaml (fwd)
 - CORBA access from OCaml
 - Corba IDL parser and pretty printer
 - Correct interpretation of the Pentium non-bug
 - correction
 - Correction (dynlink for native code executables)
 - Correction: Proposal for new Lexing Module
 - counting words
 - cours d'informatique, Denis Monasse
 - creating fresh objects of type 'self
 - cryptage
 - cyclic dependencies
 - cyclic value construction ("let rec")
 - DAG module requested
 - Dag2html
 - Data structures in ocaml
 - db2man, converts docbook to Unix manual pages
 - debugger terminates when asked to print double array
 - Debugger under Windows...
 - declaration of an infix operator in a .mli file
 - Defunctorizer
 - Deletion of ioctl_ptr in Caml 1.06
 - Demande professeur de Caml
 - Deriving a polymorphic mapping module
 - description du compilateur O'Caml
 - Diagnostic bug?
 - Dichotomy between functions and type constructors?
 - Differences between (O)Caml and SML
 - Display data structure
 - distinguer les boutons dans Graphics ...
 - documentation automatique
 - Documentation on Caml Light runtime
 - documentations en ligne pour caml-light/emacs/linux
 - Dylan/Java example
 - Dynamic link
 - Dynamic link libraries
 - dynamic linking and C libraries
 - Dynamic loading and building of shared libraries
 - dynamic loading of Caml bytecode
 - dynamic method look-up?
 - Dynamic module creation
 - Dynamic Typing
 - Dynamic usage of Ocaml evaluator?
 - ECAI2000 WORKSHOP PROPOSALS
 - Efficency in OCaml
 - Efuns/GwML release 16
 - Emacs indentation fo OCaml
 - Emacs mode with typing for ocaml
 - Encapsulation in Objective Caml
 - Encoding Library (again)
 - Encodings for O'Caml
 - English version of 'Le langage Caml'
 - Enhanced ocaml 2.03 documentation
 - Enhanced ocaml 3.00 documentation
 - Ensemble, a toolkit for distributed communication in ML
 - ergonomie du compilateur
 - Error recovery in camlyacc
 - Error whith DynLink module
 - ESOP 2000 Submission Deadline Approaching
 - ESOP 2000: Call for Papers
 - ETAPS'2000: tool demonstrations
 - Events, method iterator
 - Exception is not caught by callback3_exn()
 - Exceptions and .mli-files?
 - Exceptions inside assertions
 - Exceptions polymorphes
 - exceptions suggestions
 - exec exist in camltk?
 - extend ocamlrun with libunix.a stuff
 - Extended Deadline for early registration to APPSEM'2000 Summer school
 - Extending a list on the OCAML side that is initially allocated on the C side
 - extensions
 - external C primitives and documentation
 - factoring recursive functions
 - Feature drawn back in new 1.06 version.
 - Festival Workshop in Foundations and Computations
 - fftw
 - File I/O and Finalization
 - file permission integer
 - Filename.chop_suffix
 - files & handlers...
 - finalisation
 - Finalisation in 2.02
 - Finalisation patch
 - finalisation/gc
 - Finalisers
 - Finalization of I/O Channels
 - Findfirst / findnext Caml equivalents
 - finding list's archives
 - findlib-browser
 - findlib-browser (again)
 - flush file buffer, etc
 - Followup PCRE for OCaml...
 - Followup: creating fresh objects of type 'self
 - foncteurs et polymoprhisme
 - Foncteurs polymorphes
 - for loops with stride
 - Format
 - Format.printf broken
 - forward function definitions
 - FOSSACS 2000, Call for Papers
 - Found many nails
 - FP Computations
 - FreeBSD port of Ocaml 2.02
 - From bytecode to native code?
 - Frontal pour CamlLight version mac
 - Frontal Windows pour CAML-LIGHT
 - Functional composition operator?
 - Functional programming course using CAML
 - Functors ...
 - functors in batch compilation
 - functors vs classes
 - Garbage collection qustion
 - garbage collector / lien avec le C et librairie strlib
 - GC + thread
 - GC Bug?
 - GC compaction question
 - Gc Question
 - GC time
 - GC with finalisation?
 - GC: object limits
 - gcc compilation of ocaml and native code coq in window95
 - GeneWeb 1.09
 - GeneWeb a genealogy software
 - Genlex et apostrophe
 - GenLex stream parsers too eager?
 - Gestion des librairies
 - gestion du temps en Caml ?
 - GIF loading/saving library
 - GNU MP interfacing
 - Go for ultimate localization!
 - Grammaires et pretty print
 - grammar for class types
 - grammar for class types, reraised
 - Grammars and pretty print
 - Graph Visualization
 - Graphic games in Ocaml
 - graphics
 - graphics (color query code for truecolor displays)
 - Graphics library
 - Graphisme
 - Graphx library
 - GUI for Ocaml
 - Génération de code
 - hacks using camlp4
 - hash and nums
 - Hashtable iter/remove
 - hashtables for mutable records
 - Hashtbl or ref Map?
 - Hellp...
 - Help --- type checker and I agree to disagree...
 - help, ML in Java
 - Help: anyone knows what this error message means
 - HEVEA 1.0, traducteur LaTeX -> HTML en Caml
 - hevea latex to html translator under ocaml / windows nt
 - Hevea new release
 - hiding the 'mutable' modifier
 - How do I ..
 - How do you declare infix in Ocaml
 - how to coerce expression type?
 - How to format a float?
 - how to kill native code threads?
 - How to load the bytecode interpreter from Perl
 - How to use camllex and camlyacc from camlwin
 - HTTP, cryptography
 - huffman compresion
 - I18n again (oh no, not that guy again!)
 - ICFP programming contest
 - ICFP'99 programming contest
 - If i had a hammer / Si javais un marteau, je serais..
 - If i had a hammer...
 - Image processing
 - Images en Caml
 - imenu and ocaml-mode 1.05
 - Immutable arrays (modest Feature request)
 - Imperative list operations
 - implementation of set (standard library)
 - Implémentation de printf
 - index for html version of manual?
 - information sur camlidl (passage des tableaux)
 - inheritance for functor ?
 - initialization of arrays
 - initialization of instance variables
 - Initializing default arguments
 - inlining functions called through functor parameters?
 - Install problem
 - installation sur serveur
 - Instruction return
 - interactive errors in Emacs [Was: looking for a nail]
 - interface Caml-Sql
 - Interface Ocaml/C
 - interface to math libs
 - Interfacing C
 - Interfacing C procedure using an array as parameter ?
 - Interfacing C++ code with O'Caml
 - interfacing FORTRAN/OCAML??
 - interfacing ocaml and external structure
 - Interlude
 - Internals details for cmmgen.ml
 - Internationalizing the language
 - Interpreter using State Monad
 - Interpreter vs hardware threads
 - irc.ocaml.org
 - irritability of structure name conflicts
 - Is there a tool to generate documentation from O'Caml source files?
 - Is there an ML to Caml program?
 - Is this OK?
 - JFLA'99
 - job offer, software developer, internet startup, LA
 - Job Opportunities at INRIA Sophia Antipolis
 - job opportunity, can you help?
 - Journal of Functional Programming
 - Label changes in 3.00
 - labels & ocaml 3 & co.
 - labels, Hash.create
 - LablGL 0.9 released
 - LablGL-0.92
 - LablGTK Beta 1 release
 - LablGTK beta2 and LablGL 0.93 released
 - Lablgtk, version alpha1
 - LablGTK-1.00, LablGL-0.94, and OCaml 3.00 wrapper classes released
 - LablTk in Objective Caml 3.00
 - LablTk not in MS Windows O'Caml 2.99?
 - Large Foreign Arrays for OCAML -- Code Released
 - LaTeX listings and (o)caml
 - Lazy evaluation & performance
 - Le calcul joint, release 1.01
 - le GC et les bidouilles en C
 - lecture du clavier
 - ledit
 - ledit 1.2
 - ledit 1.3
 - ledit 1.4
 - let ... in layout
 - Let rec trouble
 - Lettre de Caml # 6
 - Lettre de Caml numero 7
 - lexer, parser
 - lexing strings
 - LGPL et fichiers de configuration.
 - Libc & oCaml questions
 - licence issues
 - License Issues
 - Lightweight Regular Expressions
 - Limitations du filtrage
 - LINEAR Summer School (Last call)
 - Linking caml generated object in NT
 - list of recently released ocaml software
 - List.filter in Ocaml 2.02
 - liste de diffusion debian pour packaging de package ocaml.
 - Liste de diffusion des HeVeA/mailing list HeVeA.
 - Loading Bytecodes
 - Loading libraries
 - Local definitions
 - Local module as let binding around class def?
 - local opening
 - Local opening of modules
 - local type within class
 - localization, internationalization and Caml
 - Logical operators...
 - logiciels libres
 - looking for "logic calculus" code
 - Looking for a nail
 - Looking for an LL parser generator
 - Looking for C parser
 - Macintosh Programmer's Workshop
 - Mady 0.1
 - Mady 0.2
 - Managing module names
 - Map is not tail recursive
 - mapi, iteri, fold_lefti, fold_righti
 - Markup - validating XML parser for O'Caml
 - Marshal module.
 - marshaling objects?
 - Marshaling pour les objets ?
 - Marshalling of floats
 - Memoire ecran en Caml
 - Memory management under OCAML
 - memory management, allocation and collection in kernel mode.
 - MetaML announcement
 - micro wish for OCaml: line number support in ocamlyacc & lex
 - micro wish: ocamlfat
 - Minuscle glitch in O'Caml 3
 - mixed customizable external data types in Caml
 - mixing Ocaml with another GC-ed language
 - ML extension language
 - ML Workshop -- Call for Papers
 - MlDoc : extraction automatique de documentation
 - mletags for ocaml
 - mlgtk
 - mmap for O'Caml
 - mmm for ocaml2?
 - MMM Release, Calves Release
 - modification de camlidl
 - modification to the O'CaML sets.ml
 - Module hierarchy revisited
 - Module naming
 - module Set
 - module thinning in Caml 1.06
 - module, module type et foncteurs, ...
 - Modules mutuellement recursifs ?
 - monad
 - monomorphism is ... ?
 - More about modules
 - More complete Map library for OCaml
 - More confusion with mutually recursive type definitions
 - more patches (for Unix signal mask)
 - moving from OCAML 1.0 to 2.0
 - multi-threaded udp resolver
 - Multicast Support
 - Musings on Obj.magic (Was: subtyping and inheritance)
 - mutually recursive types and modules
 - my libraries
 - my stupidity and non-tail calls
 - MySQL module for OCaml
 - Native thread in O'Caml 1.06
 - ncurses interface for caml?
 - Negative float consts
 - Netwoking examples..
 - Neural nets in Caml
 - Neural Network / Resaux Neuronnaux
 - New (final?) release of PCRE
 - New big integers library
 - New Book
 - New C interfaces
 - New Caml mode for Emacs/XEmacs
 - New extension for the tuareg mode
 - New french book on Objective Caml
 - New Makefile for OCAML
 - new Objective Caml tools and libraries
 - New OCAML and CAMLP4 RHCN packages uploaded.
 - new ocamldep and camlp4
 - New patch for former C programers :)))
 - New RealWorld App in OCAML
 - New release of OCamlTk41
 - New release of PCRE-OCaml
 - New release of the MMM web browser
 - New release: findlib, a library managing reusable software components (packages)
 - New Software
 - New test version of the O'caml link db
 - New version 1.33 of Tuareg: A Caml mode for Emacs/XEmacs
 - New version 1.33 of Tuareg: A Caml mode for Emacs/XEmacs]
 - New version of Camltk
 - New version of MMM
 - New version of the O'Caml link database
 - New version of Tuareg: A Caml mode for Emacs/XEmacs
 - New/Nouvelle version d' O'Caml-mode
 - Newbies question
 - Newsgroup for Caml?
 - Nice feature
 - NML
 - NML ps..
 - No ThreadUnix.select in systhreads
 - Nombre aleatoire
 - Nombre aléatoire.
 - Non generalizable type of constants?
 - Non-destructive record update??
 - Nouveau lacher d'hevea
 - nouveau lacher d'hevea - hevea new release
 - Nouveautes / News
 - Nouvelle date limite de soumission JFLA2000
 - Nouvelle release d'HEVEA.
 - nth_root of num?
 - null values and sentinels
 - Numeric programming efficiency question
 - O'Caml & 32-bit ints
 - O'Caml - GNU MP interface
 - O'Caml 3 doco
 - O'Caml 3-compatibility for my packages
 - O'Caml for MacOS version 1.0a3
 - O'Caml link db goes online
 - O'Caml native code can be easily improved in size by 10%
 - O'Caml next release
 - O'Caml prettyprinting to TeX/LaTeX anyone?
 - O'Caml refman source
 - O'Caml speaks MIDI
 - O'Caml: Caml-level finalisation of values
 - Obj module
 - Obj.magic
 - Objective Caml 1.04 released
 - Objective Caml 1.05
 - Objective Caml 1.06 released
 - Objective Caml 1.07 released
 - Objective Caml 2 with RedHat 5.1
 - Objective Caml 2.00 released
 - Objective Caml 2.01 released
 - Objective Caml 2.02
 - Objective Caml 2.03 released
 - Objective Caml 2.03/4 released
 - Objective Caml 2.04
 - Objective Caml 2.99 released
 - Objective Caml 3.00 released
 - objective caml et W95
 - Objective Caml on MacOS
 - Objective Caml's Unix libraries
 - Objective Label 1.07
 - Objective Label 2.02
 - Objective Label 2.04
 - Objective Label Trilogy 1.05
 - Objective Label Trilogy, summer edition
 - Objective Label Trilogy, version 1.04
 - Objects as sums
 - Objects contrib
 - Objects contrib: new URL ...
 - OCaml - CInterface: interesting bug scenario
 - ocaml -> Fortran
 - ocaml -> java
 - ocaml -> java bytecode?
 - OCAML / OOOS
 - Ocaml 2 object system origins
 - OCaml 2.0
 - OCaml 2.0 Binary for the Mac ?
 - ocaml 2.02 bug: curried printf
 - ocaml 2.02 bug: curried printf)
 - OCAML 2.02 Distribution for Windows
 - Ocaml 3.00 rpm package fixed -> Release 2
 - OCaml <-> PalmPilot
 - Ocaml and (the lack of) RAD tools
 - OCaml and tail recursion
 - OCaml and Tcl/Tk statically linked
 - OCaml App (NML) Announce
 - OCaml book
 - OCAML bytecode
 - ocaml comfort, where is stringOfCharList?
 - ocaml cross-compilation and bootable image
 - OCaml debugging on NT
 - OCaml Development Environment
 - Ocaml Documentation
 - OCaml et l'évaluation paresseuse
 - Ocaml et les objets
 - ocaml et les threads
 - ocaml et Unix
 - Ocaml for Mac
 - OCaml infix function-composition
 - OCAML inheritance question
 - ocaml inlining
 - Ocaml library implementing equivalence classes and partial orders
 - ocaml limitations
 - OCaml machine
 - OCaml makefile template comments
 - OCaml makefile template comments)
 - OCAML native code profiler for x86+gcc
 - ocaml needs users: native code for windows?
 - ocaml not native.
 - Ocaml on a DEC alpha
 - OCAML parametric class coercion
 - ocaml prefix syntax
 - Ocaml secrets
 - OCaml sous Be ? Manuel en francais ?
 - OCaml syntax: vertcal bar in front of the first case of a matching definition ?
 - Ocaml to Java
 - OCAML under MachTen4
 - Ocaml users outside France (and inside too)
 - OCaml Virtual Machine
 - OCaml wins a comparative study
 - OCaml's subtyping better than advertised?
 - ocaml+pvm
 - Ocaml-1.06: type system changes
 - ocaml-mode 1.06
 - ocaml-mode 2.00
 - OCaml3 and label things
 - ocaml: demand-driven compilation?
 - Ocaml: module Map
 - OCaml: problems compiling
 - OCamlBrowser 2.01
 - OCamlBrowser version 1.06
 - ocamlc command line suggested features
 - ocamlc compiled in native code
 - OcamlDB: Connecting to a DBMS
 - ocamldebug and -custom
 - Ocamldebug for non-UNIX
 - ocamldebug must not be stripped!
 - Ocamldot -- generate program dependency graphs for ocaml
 - ocamldot for ocaml-2.04
 - OCamllex 1.06 patch - adds let bound regexps
 - OCamlLex-Patch for Rule Parameters
 - OcamlMakefile
 - ocamlman 2.00
 - OCamlODBC
 - ocamlopt and ocamldep
 - Ocamlopt for R4000?
 - ocamlpvm
 - ocamlsvga - Objective Caml interface for the SVGAlib
 - ocamlwc: a wc program for ocaml sources
 - ocamlweb - a literate programming tool for Objective Caml
 - Ocamlyacc
 - ocamlyacc and error messages
 - ocamlyacc and error recovery
 - ocamlyacc and polymorphic variants
 - ocamlyacc error reporting
 - ocamlyacc question
 - ocamlyacc with friendly dollar-symbols
 - ocamlyacc/lex reentrancy
 - Offre de detachement
 - OLabl bug?
 - OLabl optional arguments and higher order functions
 - Olabldebug on classes?
 - Olibrt 1.01 - X games
 - one-time initialization
 - Opening a file for both reading and writing
 - OpenVMS port
 - Operateurs < et =
 - operational semantics of = for objects
 - operational semantics of == for methods
 - optimization and purity
 - Optimization with -inline n
 - Option types and O'Labl merger
 - Order in type definitions, output_value on abstract values
 - Order of evaluation
 - Overloading
 - overloading ( was reference initialization )
 - Overriding with subtypes
 - overview of bootstrapping caml light
 - Packages?
 - Paper describing the Garbage collector?
 - parallel ocaml
 - parameterized signatures
 - Parameterized signatures needed ?
 - parametric types in simple functors?
 - Parser XML valide
 - parseur XML validant
 - Partial Evaluation
 - partial instantiation of a new obj. : bug or feature ?
 - Passing `string option' values between OCaml and C
 - patch for Ocaml 1.07 on CrayT3E
 - patch: ocamldebug prints float arrays without barfing
 - Patches for #line directives?
 - Patches for ?line directives?
 - Patches for ocaml 2.00 library
 - pattern matching
 - pb with ocamldep
 - per-line comments
 - PhD position at INRIA-Rocquencourt
 - Philip Wadler's Pretty Printer for OCaml
 - Pierre Weis's Caml Programming Guidelines
 - Plea for inline expansion of transcendentals.
 - please help me!
 - plots of functions
 - Polycopie d'algorithmique
 - polymorphic methods in O'Caml (fwd)
 - polymorphic printer functions ?
 - Polymorphic recursion
 - Polymorphic recursion in modules - impossible?
 - polymorphic variants
 - polymorphic variants (2) + magic
 - Polymorphic variants for basic types?
 - Polymorphic variants question
 - polymorphically comparable Maps?
 - POP3 to mailbox in caml
 - port des d finitions des variables de classe
 - Portability of applications written in OCAML
 - Portability of applications written in OCAML: C stuff
 - Portable C-FFI for OCAML 2.01
 - porte des definitions / initialisation des variables de classe
 - porte des definitions des variables de classe
 - Portes ouvertes
 - Porting OCaml to a Custom OS
 - porté des définitions des variables de classe
 - possible instability with native code on UltraSPARC?
 - PostgreSQL interface for OCaml
 - PostScript engine
 - Power/PC Code?
 - Preferred GUI Toolkit for O'Caml 3?
 - Prefix operators in ocaml
 - Preinitialized executables?
 - Pretty-printer and tabulation boxes
 - Pretty-printing help
 - Primitives d'interrogations sur les types
 - print and output
 - Problem binding type parameters in modules
 - Problem binding type parameters in modules + subtyping and inheritance
 - Problem of coercion in recursive class definitions
 - problem with Hashtbl.add function...
 - Problem with linking num libary under VC5.0
 - problem with ocamlmktop (contd)
 - problem with ocamlmktop -output-obj
 - probleme dans les modules - contraintes
 - probleme dans les modules - contraintes (fwd)
 - probleme de parsing ?
 - problemes de types
 - problems with classes and polymorphic recursion
 - Problems with ocamlopt under windows?
 - Problème d'oubli dans un module [A problem with modul
 - Problèmes avec lib UNIX sur Windows
 - Programming contest
 - projects using Ocaml - summary
 - Proposal for new Lexing Module (long)
 - Proposal for study: Add a categorical Initial type to ocaml
 - ps & Caml
 - ps et caml
 - PVM and OCAML
 - Q: about type inclusion
 - Q: about type inclusion)
 - Q: Caml for number crunching and/or scripting?
 - Q: Caml toplevel thru Web (HTTP or CGI)?
 - Q: camlp4 use?
 - Q: hashtables of parametrized types in Ocaml?
 - Q: How i can use Mutex and thread ..
 - Q: parametric types in simple functors?
 - Q: Tutorial Ocaml
 - Q:bitmap vers caml
 - Question about O'Caml 3
 - Question about Objective Caml string constant syntax
 - question on recursive types
 - questions
 - Quotes inside a comment ?
 - Random.int on non unix platform
 - RE : RE :Graphisme
 - Re : Weak types ?
 - re-entrance of ocamlyacc parsers
 - re-entrant CAMLYACC parsers?
 - Rebinding exception declarations
 - Recherche de ctcaml
 - recherche stages en entreprise orient'es O'Caml
 - Record typing question
 - recursive algebraic and class types
 - recursive datatypes
 - recursive types
 - Recursive types in OCaml/OLabl-1.06
 - reference initialization
 - Region thoughts
 - Repeat: Question about corecursive type and class types (w/ answer)
 - Reply to: convincing management to switch to Ocaml
 - Reply to: speed versus C
 - Report a missing match
 - Request for Ideas: i18n issues
 - Research Vacancy at Sharp in Oxford
 - Restrictions of let rec
 - Reverse-Engineering Bytecode: A Possible Commercial Objection To O'Caml
 - Reverse-Engineering Bytecode: A Possible Commercial ObjectionTo O'Caml
 - right hand side of let rec
 - Rule Based System?
 - Saving the state of the program ?
 - scanning and parsing short strings
 - scientific computing with ocaml, gsl api
 - Scoping rules
 - Second Call for Papers JFLA2000
 - Secrets of OCAML
 - self in classes
 - Semantic of label: The best (only ?) solution to merge both mode
 - Semantics for objects [Was: Thoughts on O'Labl O'Caml merge.]
 - sequencing
 - Set constraints
 - Sets and maps over integers implemented as Patricia trees
 - Sharing inheritance ?
 - side effects on object destruction
 - Signature matching question?
 - Signatures (was: Reverse-Engineering Bytecode)
 - Simple augmentation of reader allows MS Graphics...
 - Simple XML Parser and Pretty Printer available
 - simulation of doubly linked lists in OCaml?
 - Single vs. Double Precision floats?
 - Size of arrays
 - small code problem
 - small solved problem linking caml with Fortran
 - socket in the windows port
 - Some extensions to Camlidl-1.00
 - Some extensions to Camlidl-1.00 - Correction
 - Some problems with Ocaml <-> C and GC ...
 - Some questions about floatting point issues
 - Some questions about signatures
 - Sort module musings
 - Sort.array easily degenerates
 - speed of byte-compiled ocaml considered high
 - speed versus C
 - speed versus C)
 - Speedup from 2.01 to 2.02
 - splay trees 0.4 released
 - SQL libraries
 - sscanf hack
 - SSL interface
 - Stack traces
 - stages CAML?
 - standard library request: purely functional data structures
 - Standard ML. A comparison with CAML
 - Starfish's alpha release
 - stderr
 - Stdlib doubts
 - Stdlib regularity
 - Stdout
 - stdout in Unix module
 - Still strange GC problems with OCaml and C: OCaml 2.04 bug?
 - strange behavior of the object type-checker
 - Strange hugeness of .o, .cmo, and .cmi files
 - Stream parsers
 - Stream parsers, again
 - Stream parsing - caml light vs. ocaml
 - stream pattern [< pat=exp >] and extensions to ordinary patte
 - stream pattern [< pat=exp >] and extensions to ordinary pattern m
 - Stream standard library
 - string function documentation
 - string variables in Printf.* calls: Bug, or lack of understanding?
 - String wishes for Ocaml
 - String.from_list
 - Structure de matrice creuse
 - Stub between Ocaml and C : camlidl or swig
 - Style de programmation
 - Subsequence references or substrings in OCaml
 - Subtype problem
 - subtyping and inheritance
 - subtyping and inheritance - correction
 - Suggested addition to Unix module
 - Suggestion for a site-lib directory
 - Suggestion: Print more error messages?
 - Suggestions
 - Suggestions pour les modules
 - Support for #line?
 - symbol managment in Caml
 - Syntax Discussions and Caml Philosophy
 - Syntax for label
 - Syntax for label (and more)
 - Syntax for label, ANOTHER NEW PROPOSAL
 - Syntax for label, NEW PROPOSAL
 - Syntax for label, NEW SOLUTION
 - Sys.argv with interpreter and compiler
 - Sys.command in Windows NT
 - systhreads/threadUnix.ml{,i} missing select
 - Testing caml programs
 - Text inclusion
 - The beginning of a library for Formal algebra and numerical Analysis
 - the null pointer and subtyping
 - The Obj module in Objective Caml
 - The Objective Label Trilogy 2.01 & LablGL 0.91
 - The Objective Label Trilogy, version 1.06
 - The Objective Label Trilogy, version 2.00
 - The Ocaml Link Database
 - The option -rectypes
 - The Pentium Non-Bug
 - The performance cost of using exceptions?
 - The Unix module & records
 - The way Ocaml inlines
 - Thinking about ICFP'98 programming contest...
 - Thoughts on O'Labl O'Caml merge.
 - Thread feature missing
 - thread i/o
 - Thread library for ocamlopt?
 - threads & OCamlTK
 - Threads and ocaml-2.02
 - Threads and toplevels...
 - Threads Library
 - threads library in Objective Caml
 - Threads Package for Win/NT
 - throws
 - TIFF loader
 - Time profiling
 - times measure
 - tk scale
 - Tkemacs et tktree
 - to have labels or not
 - toplevel and native code
 - Toplevel customisation with NT
 - Toplevel script mode
 - TP d'Informatique en classes préparatoires
 - tracés de courbes en Ocaml
 - translation of book (fwd)
 - translation of O'Reilly book
 - Treating arguments that start with `-' as anonymous arguments
 - Tree of a certain class:
 - trie / size
 - trouble with C pointers and GC
 - Tuareg 1.36: Alternative Caml mode for Emacs/XEmacs
 - Tuareg mode for Emacs/XEmacs (previously caml-mode 0.9.x)
 - tueareg sym-lock and xemacs21
 - tuple vs curried, records vs variants
 - Twig for ocaml
 - Two small observations
 - Typage des modules
 - Type constraints
 - type contraints between module signatures
 - type declaration in */mli & *.ml
 - type error: converting input channel to string list
 - Type of prefix + and prefix ::
 - type recursifs et abreviations cyclique and Co
 - type sharing
 - Type-checking and raise
 - Type-checking bug (or feature?) in O'Caml 1.06
 - Typechecking of recursive variants
 - Types abstraits et Inferface C
 - Types construits et interface de modules
 - types recursifs ...
 - types returned from exceptions
 - types, determination, seperate compilation and side effects
 - typing of a class
 - Typing of patterns
 - Typing problem
 - Typing question
 - Typing-problem
 - Unbound row variable in #basic_bloc
 - Unboxed options
 - Undecidability of OCaml type checking
 - Undefined labels
 - Unicode-Support in Ocaml?
 - Unison file synchronizer: alpha-testers needed
 - Unison synchronizer (beta release)
 - Unsigned integers?
 - unsigned word type in OCaml?
 - unsubscribe christo@nextsolution.co.jp
 - Update OCaml 2.02 -> 2.03 -> 2.04
 - UPDATE: more patches
 - Upgrade from OCaml 2.01 to OCaml 2.02 made things _slower_!
 - Urgent
 - Use of BDDs in OCaml
 - use of camlidl
 - Useful Makefile for Ocaml
 - Using modules and classes recursively
 - Using Tk extensions under caml/labltk
 - Utf8 (and other) code for ocaml (fwd)
 - Utilisation de Camlwin avec CamlLight 0.73 ?
 - variables in 'let rec'
 - variant filtering
 - Vector class?
 - Very very short question on objects
 - VIM-hints
 - Viper- Dec 1999 progress report
 - Visual language for functional design
 - visualization of Caml values
 - VLIW & caml: how?
 - Vyper source available vi CVS at SourceForge
 - Warning messages and lonely variables
 - Warning messages and lonely variables (bis)
 - Warning: gcc -O2 bad for compiling Ocaml
 - Warnings in ocaml
 - Weak pointers
 - Weak pointers (summarize)
 - Weak types ?
 - Weird behavior with mutually recursive type definitions
 - What am I missing?
 - what does "32-bit integer" mean?
 - What does the future hold ?
 - What exactly can be GC'ed?
 - What is this?
 - What will the new syntax be like? (O'Caml + O'Labl)
 - When functional languages can be accepted by industry?
 - Why is marshalling not thread-safe? (2.04)
 - Why is this not allowed?
 - Will the ocaml-1.05 native compiler work on IRIX5.3 ?
 - winOcaml
 - WinOcaml and WinCoq available
 - winocaml available
 - Wish List / Future direction?
 - wish: hash function for module Num
 - Wishlist!
 - wrap_abort missing in thread library
 - wserver
 - www.ocaml-programming.de
 - Xlib
 - xstr - Thread-safe string functions
 - xstrp4 - '$' expansions for camlp4
 - Y2K related changes
 - yet another signal mask patch and: what's the indended semantics?
 - your mail
 
Last message date: Thu Jun 15 2000 - 18:15:30 MET DST
Archived on: Thu Jun 15 2000 - 18:17:23 MET DST
2948 messages sorted by: 
[ author ]
[ date ]
[ thread ]
This archive was generated by hypermail 2b29 
: Thu Jun 15 2000 - 18:17:23 MET DST