X. Leroy, J. Vouillon, and D. Doligez. The Objective Caml system. Software and documentation available on the Web, http://caml.inria.fr/, 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Objective ML: An effective object-oriented extension to ML - Remy, Vouillon (1998) (10 citations) (Correct)
Polymorphic Equality - No Tags Required - Elsman (1989) (2 citations) (Correct)
A Web navigator with applets in Caml - Rouaix (1996) (25 citations) (Correct)
Compiling Join-Patterns - Maranget, Le Fessant (1998) (3 citations) (Correct)
Automated Generation of Search Tree Algorithms for.. - Gramm, Guo.. (2004) (2 citations) (Correct)
Rigid Mixin Modules - Hirschowitz (2003) (Correct)
Regular Expression Pattern Matching - A Simpler Design - Hosoya (2003) (6 citations) (Correct)
Regular Expression Pattern Matching for XML - Hosoya, Pierce (2000) (51 citations) (Correct)
Tree Automata and Pattern Matching - Hosoya, Pierce (2000) (Correct)
A Compiled Implementation of Strong Reduction - Grégoire, Leroy (2002) (3 citations) Self-citation (Leroy) (Correct)
Compilation of Extended Recursion in Call-by-Value.. - Hirschowitz, Leroy.. (2003) (3 citations) Self-citation (Leroy) (Correct)
A Compiled Implementation of Strong Reduction - Grégoire, Leroy (3 citations) Self-citation (Leroy) (Correct)
Regular Expression Types for XML - Hosoya, Vouillon, Pierce (2000) (51 citations) Self-citation (Vouillon) (Correct)
Regular Expression Types for XML - Hosoya, Vouillon, Pierce (2000) (51 citations) Self-citation (Vouillon) (Correct)
Security Properties of Typed Applets - Leroy, Rouaix (1999) (64 citations) Self-citation (Leroy) (Correct)
Security Properties of Typed Applets - Leroy, Rouaix (64 citations) Self-citation (Leroy) (Correct)
A Modular Module System - Leroy (1996) (45 citations) Self-citation (Leroy) (Correct)
Type-Based Analysis of Uncaught Exceptions - Leroy, Pessaux (1998) (32 citations) Self-citation (Leroy) (Correct)
The Effectiveness of Type-Based Unboxing - Leroy (1997) (23 citations) Self-citation (Leroy) (Correct)
OcamlP3l a functional parallel programming system - DANELUTTO, DI COSMO, LEROY, .. (1998) Self-citation (Leroy) (Correct)
Type-Based Analysis of Uncaught Exceptions - Pessaux, Leroy (1999) (32 citations) Self-citation (Leroy) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC