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