Search results for "Caml"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
95	Benjamin Canou, Vincent Balat, Emmanuel Chailloux	O'browser: objective caml on browsers.	ML	2008	DBLP DOI BibTeX RDF	virtual machine, javascript, web browsers, objective caml, document object model
87	Tom Ridge	Operational Reasoning for Concurrent Caml Programs and Weak Memory Models.	TPHOLs	2007	DBLP DOI BibTeX RDF
87	Ken Wakita, Takashi Asano 0002, Masataka Sassa	D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment.	Euro-Par	1999	DBLP DOI BibTeX RDF
83	Michael F. Ringenburg, Dan Grossman	AtomCaml: first-class atomicity via rollback.	ICFP	2005	DBLP DOI BibTeX RDF	transactions, concurrent programming, atomicity, objective caml
80	Alec Heller, Jesse A. Tov	Caml-Shcaml: an ocaml library for unix shell programming.	ML	2008	DBLP DOI BibTeX RDF	shell programming, domain-specific languages, unix, types, objective caml
80	Vincent Balat	Ocsigen: typing web interaction with objective Caml.	ML	2006	DBLP DOI BibTeX RDF	continuations, web programming, objective Caml
80	Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa	Aspectual Caml: an aspect-oriented functional language.	ICFP	2005	DBLP DOI BibTeX RDF	pointcut and advice, aspect-oriented programming, objective Caml
72	Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas	CAML - A Universal Configuration Language for Dialogue Systems.	DEXA	2003	DBLP DOI BibTeX RDF
65	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
60	Vincent Balat, Olivier Danvy	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
54	Raphaël Montelatici	Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET. (Functional languages, typing and interoperability: Objective Caml on .NET).		2007	RDF
53	Jérôme Vouillon	Lwt: a cooperative thread library.	ML	2008	DBLP DOI BibTeX RDF	networking, concurrency, programming, implementation, ml, thread, monad, objective caml
53	Benjamin S. Lerner, Dan Grossman, Craig Chambers	Seminal: searching for ML type-error messages.	ML	2006	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
45	Steven Cheung, Ulf Lindqvist, Martin W. Fong	Modeling Multistep Cyber Attacks for Scenario Recognition.	DISCEX (1)	2003	DBLP DOI BibTeX RDF
42	Sylvain Conchon, Fabrice Le Fessant	Jocaml: Mobile Agents for Objective-Caml.	ASA/MA	1999	DBLP DOI BibTeX RDF
38	Vincent Balat, Jérôme Vouillon, Boris Yakobowski	Experience report: ocsigen, a web programming framework.	ICFP	2009	DBLP DOI BibTeX RDF	ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML
38	Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers	Searching for type-error messages.	PLDI	2007	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
38	Jocelyn Sérot, Dominique Ginhac, Jean-Pierre Dérutin	SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications.	PaCT	1999	DBLP DOI BibTeX RDF	image processing, Parallelism, skeleton, vehicle tracking, fast prototyping, Caml
30	Tyng-Ruey Chuang, Max Schäfer	Status report: layered streaming XML processing with modules.	ML	2007	DBLP DOI BibTeX RDF	modular software, streaming XML processing, XML, functional programming, ML, modules
30	Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet	Automatic Generation of Functional Programs from CASL Specifications.	ICSEA	2006	DBLP DOI BibTeX RDF
30	Frédéric Loulergue, Frédéric Gava, David Billiet	Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
30	Frédéric Gava, Frédéric Loulergue	A Parallel Virtual Machine for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
27	Israr Ur Rehman, Waqar Ali, Zahoor Jan, Zulfiqar Ali 0002, Hui Xu, Jie Shao 0001	CAML: Contextual augmented meta-learning for cold-start recommendation.	Neurocomputing	2023	DBLP DOI BibTeX RDF
27	Bharathan Balaji, Venkata Sai Gargeya Vunnava, Geoffrey Guest, Jared Kramer	CaML: Carbon Footprinting of Household Products with Zero-Shot Semantic Text Similarity.	WWW	2023	DBLP DOI BibTeX RDF
27	Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang	Objective Caml for Multicore Architectures.	CoRR	2020	DBLP BibTeX RDF
27	Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali	Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.	Frontiers Comput. Sci.	2019	DBLP DOI BibTeX RDF
27	Luisa M. Zintgraf, Kyriacos Shiarlis, Vitaly Kurin, Katja Hofmann, Shimon Whiteson	CAML: Fast Context Adaptation via Meta-Learning.	CoRR	2018	DBLP BibTeX RDF
27	Dmitry Boulytchev	Combinators and type-driven transformers in Objective Caml.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
27	Ryad Benadjila, Thomas Calderon 0002, Marion Daubignard	Caml Crush: A PKCS#11 Filtering Proxy.	CARDIS	2014	DBLP DOI BibTeX RDF
27	Jean-Christophe Filliâtre, K. Kalyanasundaram	Functory: A Distributed Computing Library for Objective Caml.	Trends in Functional Programming	2011	DBLP DOI BibTeX RDF
27	Philippe Wang, Adrien Jonquet, Emmanuel Chailloux	Non-Intrusive Structural Coverage for Objective Caml.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
27	Benedikt Meurer	OCamlJIT 2.0 - Faster Objective Caml	CoRR	2010	DBLP BibTeX RDF
27	Lee Tan Luck	Quality Computer Assisted Mobile Learning (CAML) and Distance Education Leadership in Managing Technology Enhanced Learning Management System (TELMS) in the Malaysian Public Tertiary Education.	Int. J. Interact. Mob. Technol.	2009	DBLP DOI BibTeX RDF
27	Elkamel Merah, Allaoua Chaoui	Un Caml Light Distribué.	CIIA	2009	DBLP BibTeX RDF
27	Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet	Hirondml: Fair Threads Migrations for Objective Caml.	Parallel Process. Lett.	2008	DBLP DOI BibTeX RDF
27	Yaron Minsky, Stephen Weeks	Caml trading - experiences with functional programming on Wall Street.	J. Funct. Program.	2008	DBLP DOI BibTeX RDF
27	Yaron Minsky	Caml trading.	POPL	2008	DBLP DOI BibTeX RDF	functional programming, ML
27	Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici	Mixing the Objective Caml and C# Programming Models in the .Net Framework	CoRR	2007	DBLP BibTeX RDF
27	Mark R. Shinwell	Fresh O'Caml: Nominal Abstract Syntax for the Masses.	ML	2005	DBLP DOI BibTeX RDF
27	Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici	Interopérabilité avec Objective Caml.	Tech. Sci. Informatiques	2005	DBLP DOI BibTeX RDF
27	Emmanuel Chailloux, Grégoire Henry	O'Jacaré, une interface objet entre Objective Caml et Java.	Obj. Logiciel Base données Réseaux	2004	DBLP DOI BibTeX RDF
27	Frédéric Loulergue	Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003.	J. Funct. Program.	2004	DBLP DOI BibTeX RDF
27	Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano	CamIL: Un compilateur Objective Caml vers .NET.	RIVF	2004	DBLP BibTeX RDF
27	Emmanuel Chailloux, Christian Foisy	A Portable Implementation for Objective Caml Flight.	Parallel Process. Lett.	2003	DBLP DOI BibTeX RDF
27	Joel Falcou, Jocelyn Sérot	CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml.	JFLA	2003	DBLP BibTeX RDF
27	Jocelyn Sérot	CAMLFLOW: a CAML to data-flow graph translator.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
27	Ramón Castro, Xesús M. López, Víctor M. Gulías	An ODBC Interface for Objective Caml.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
27	François Rouaix	A Web Navigator with Applets in Caml.	Comput. Networks	1996	DBLP DOI BibTeX RDF
27	Jürgen Wolff von Gudenberg	Algorithmen, Datenstrukturen, funktionale Programmierung - eine praktische Einführung mit Caml Light.		1996	RDF
27	José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías	Extending CAML Light to Perform Distributed Computation.	GULP-PRODE	1995	DBLP BibTeX RDF
27	Pierre Weis, Xavier Leroy	Le langage Caml.		1993	RDF
27	Xavier Leroy, Pierre Weis	Manuel de référence du langage CAML.		1993	RDF
23	John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa	Type-safe distributed programming for OCaml.	ML	2006	DBLP DOI BibTeX RDF	HashCaml, type-safe marshalling, objective Caml
23	Norman Ramsey, Kathleen Fisher, Paul Govereau	An expressive language of signatures.	ICFP	2005	DBLP DOI BibTeX RDF	signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
23	Jocelyn Sérot, Dominique Ginhac, Roland Chapuis, Jean-Pierre Dérutin	Fast prototyping of parallel-vision applications using functional skeletons.	Mach. Vis. Appl.	2001	DBLP DOI BibTeX RDF	Computer vision, Parallelism, Functional programming, Skeleton, Fast prototyping, Road following, CAML
23	Xavier Leroy, François Pessaux	Type-based analysis of uncaught exceptions.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml
23	Tommy Thorne	Programming Languages for Mobile Code.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	Limbo, Obliq, Safe-Tcl, telescript, security, Java, formal methods, object orientation, distribution, safety, portability, mobile code, network programming, Objective Caml
23	Catherine Dubois, François Rouaix, Pierre Weis	Generic Polymorphism.	POPL	1995	DBLP DOI BibTeX RDF	debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism
15	John Harrison 0001	HOL Light: An Overview.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Aslan Askarov, Andrei Sabelfeld	Catch me if you can: permissive yet secure error handling.	PLAS	2009	DBLP DOI BibTeX RDF	exception handling, security type system
15	Kyung-Goo Doh, Hyunha Kim, David A. Schmidt	Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.	SAS	2009	DBLP DOI BibTeX RDF
15	Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak	Opis: reliable distributed systems in OCaml.	TLDI	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, functional programming, arrows
15	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
15	Louis Mandel, Luc Maranget	Programming in JoCaml (Tool Demonstration).	ESOP	2008	DBLP DOI BibTeX RDF
15	Scott Owens	A Sound Semantics for OCamllight.	ESOP	2008	DBLP DOI BibTeX RDF
15	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman	Transactional events for ML.	ICFP	2008	DBLP DOI BibTeX RDF	synchronous message passing, transactional events, concurrency
15	Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
15	Pascal Cuoq, Damien Doligez	Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.	ML	2008	DBLP DOI BibTeX RDF	hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
15	Jan Schwinghammer	On Normalization by Evaluation for Object Calculi.	TYPES	2007	DBLP DOI BibTeX RDF
15	Andrej Bauer, Christopher A. Stone	RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.	CiE	2007	DBLP DOI BibTeX RDF
15	Vincenzo Nicosia	Towards hard real-time Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	scheduling, real time, erlang
15	Norihiro Ogata	Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming.	IWIC	2007	DBLP DOI BibTeX RDF	Formal Cultural Ontology, qualia, ethnic group, Functional Programming, culture, Type Theory
15	Yu-Chin Cheng, Chien-Hung Chen, Chung-Chih Chiang, Jun-Wei Wang 0002, Chi-Sung Laih	Generating Attack Scenarios with Causal Relationship.	GrC	2007	DBLP DOI BibTeX RDF
15	Sandrine Blazy, Zaynah Dargaye, Xavier Leroy	Formal Verification of a C Compiler Front-End.	FM	2006	DBLP DOI BibTeX RDF
15	Jacques Garrigue	Private Row Types: Abstracting the Unnamed.	APLAS	2006	DBLP DOI BibTeX RDF
15	Frédéric Loulergue	A calculus of functional BSP programs with projection.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Sungwoo Park, Frank Pfenning, Sebastian Thrun	A probabilistic language based upon sampling functions.	POPL	2005	DBLP DOI BibTeX RDF	probabilistic language, sampling function, robotics, probability distribution
15	François Pottier	From ML type inference to stratified type inference.	ICFP	2005	DBLP DOI BibTeX RDF
15	Andrew D. Gordon 0001	From Typed Process Calculi to Source-Based Security.	SAS	2005	DBLP DOI BibTeX RDF
15	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
15	Frédéric Loulergue	Optimizing Bulk Synchronous Parallel ML.	SNPD	2005	DBLP DOI BibTeX RDF
15	J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez	Towards a Certified and Efficient Computing of Gröbner Bases.	EUROCAST	2005	DBLP DOI BibTeX RDF
15	Jean-Christophe Filliâtre, Pierre Letouzey	Functors for Proofs and Programs.	ESOP	2004	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
15	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
15	Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa	The Interface Definition Language for Fail-Safe C.	ISSS	2003	DBLP DOI BibTeX RDF
15	Gérard P. Huet	Automata Mista.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
15	Vincent Simonet	Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.	APLAS	2003	DBLP DOI BibTeX RDF
15	Frédéric Loulergue	Parallel Juxtaposition for Bulk Synchronous Parllel ML.	Euro-Par	2003	DBLP DOI BibTeX RDF
15	Frédéric Gava, Frédéric Loulergue	A Polymorphic Type System for Bulk Synchronous Parallel ML.	PaCT	2003	DBLP DOI BibTeX RDF
15	Frédéric Loulergue	Parallel Superposition for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	functional programming, cost model, divide-and-conquer, bulk synchronous parallelism
15	Emmanuel Coquery, François Fages	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.	ICLP	2002	DBLP DOI BibTeX RDF
15	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
15	Jesper B. Møller	DDDLIB: A Library for Solving Quantified Difference Inequalities.	CADE	2002	DBLP DOI BibTeX RDF
15	Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt	JoCaml: A Language for Concurrent Distributed and Mobile Programming.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
15	Jean-François Dufourd, Sven Luther	Interacting with parametrized geometric objects using lambda-terms.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	interaction, functional programming, geometric modeling, parameterization, ?-calculus, boundary representation
15	Gérard P. Huet	From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering.	WCRE	2001	DBLP DOI BibTeX RDF
15	Fabrice Le Fessant, Luc Maranget	Optimizing Pattern Matching.	ICFP	2001	DBLP DOI BibTeX RDF	ML
15	Tyng-Ruey Chuang, Shin-Cheng Mu	Out-of-Core Functional Programming with Type-Based Primitives.	PADL	2000	DBLP DOI BibTeX RDF