Search results for "ocaml"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
114	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
108	Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti	Experience report: OCaml for an industrial-strength static analysis framework.	ICFP	2009	DBLP DOI BibTeX RDF	software architecture, static analysis, plug-ins, OCaml
101	Runhang Li, Jeremy Yallop	Extending OCaml's 'open'.	ML/OCaml	2017	DBLP DOI BibTeX RDF
101	Oleg Kiselyov, K. C. Sivaramakrishnan	Eff Directly in OCaml.	ML/OCAML	2016	DBLP DOI BibTeX RDF
101	Timothy Bourke, Jun Inoue 0001, Marc Pouzet	Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.	ML/OCAML	2016	DBLP DOI BibTeX RDF
101	Dmitry Kosarev, Dmitry Boulytchev	Typed Embedding of a Relational Language in OCaml.	ML/OCAML	2016	DBLP DOI BibTeX RDF
101	Florent Balestrieri, Michel Mauny	Generic Programming in OCaml.	ML/OCAML	2016	DBLP DOI BibTeX RDF
101	Arthur Charguéraud	Improving Type Error Messages in OCaml.	ML/OCaml	2014	DBLP DOI BibTeX RDF
98	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
83	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
77	Sam Lindley, Gabriel Scherer (eds.)	Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017.	ML/OCaml	2019	DBLP DOI BibTeX RDF
77	Kenichi Asai, Mark R. Shinwell (eds.)	Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016.	ML/OCAML	2018	DBLP DOI BibTeX RDF
77	Jeremy Yallop, Damien Doligez (eds.)	Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015.	ML Family/OCaml	2017	DBLP DOI BibTeX RDF
77	Jeremy Yallop, Stephen Dolan	First-Class Subtypes.	ML/OCaml	2017	DBLP DOI BibTeX RDF
77	Oleg Kiselyov	Effects Without Monads: Non-determinism - Back to the Meta Language.	ML/OCaml	2017	DBLP DOI BibTeX RDF
77	John G. Whitington, Tom Ridge	Direct Interpretation of Functional Programs for Debugging.	ML/OCaml	2017	DBLP DOI BibTeX RDF
77	Kavon Farvardin, John H. Reppy	Compiling with Continuations and LLVM.	ML/OCAML	2016	DBLP DOI BibTeX RDF
77	Oleg Kiselyov, Jacques Garrigue (eds.)	Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014.	ML/OCaml	2015	DBLP DOI BibTeX RDF
77	Oleg Kiselyov	Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.	ML Family/OCaml	2015	DBLP DOI BibTeX RDF
77	Ryohei Tokuda, Eijiro Sumii, Akinori Abe	Specialization of Generic Array Accesses After Inlining.	ML Family/OCaml	2015	DBLP DOI BibTeX RDF
77	Jacques Garrigue, Jacques Le Normand	GADTs and Exhaustiveness: Looking for the Impossible.	ML Family/OCaml	2015	DBLP DOI BibTeX RDF
77	William Blair, Hongwei Xi	Dependent Types for Multi-Rate Flows in Synchronous Programming.	ML Family/OCaml	2015	DBLP DOI BibTeX RDF
77	Tomas Petricek 0001, Don Syme, Zach Bray	In the Age of Web: Typed Functional-First Programming Revisited.	ML/OCaml	2014	DBLP DOI BibTeX RDF
77	Akinori Abe, Eijiro Sumii	A Simple and Practical Linear Algebra Library Interface with Static Size Checking.	ML/OCaml	2014	DBLP DOI BibTeX RDF
77	Leo White, Frédéric Bour, Jeremy Yallop	Modular implicits.	ML/OCaml	2014	DBLP DOI BibTeX RDF
74	Yaron Minsky	Caml trading.	POPL	2008	DBLP DOI BibTeX RDF	functional programming, ML
70	Morten Rhiger	Compiling Embedded Programs to Byte Code.	PADL	2002	DBLP DOI BibTeX RDF	domain-specific language, Just-in-time compilation, embedded language, OCaml
68	Didier Rémy	Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.	APPSEM	2000	DBLP DOI BibTeX RDF
64	Jeremy Yallop	Practical generic programming in OCaml.	ML	2007	DBLP DOI BibTeX RDF	generic programming, deriving, OCaml
64	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
49	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
47	Glen Mével	A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml. (Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml).		2022	RDF
47	Pierrick Couderc	Vérification des résultats de l'inférence de types du langage OCaml. (Checking type inference results of the OCaml language).		2018	RDF
47	Xavier Clerc	OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
47	Çagdas Bozman	Profilage mémoire d'applications OCaml. (Memory profiling of OCaml applications).		2014	RDF
47	Xavier Clerc	OCaml-Java: From OCaml Sources to Java Bytecodes.	IFL	2012	DBLP DOI BibTeX RDF
47	Xavier Clerc	OCaml-Java: OCaml on the JVM.	Trends in Functional Programming	2012	DBLP DOI BibTeX RDF
47	Jean-Marc Eber	OCaml dans l'industrie financière: expérience industrielle d'une utilisation intensive et stratégique du langage OCaml dans un projet novateur.	JFLA	2003	DBLP BibTeX RDF
45	Oleg Kiselyov, Chung-chieh Shan	Embedded Probabilistic Programming.	DSL	2009	DBLP DOI BibTeX RDF
45	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
45	João Paulo Fernandes, João Saraiva	Tools and libraries to model and manipulate circular programs.	PEPM	2007	DBLP DOI BibTeX RDF	intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
45	Louis Gesbert, Frédéric Loulergue	Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML.	PDCAT	2007	DBLP DOI BibTeX RDF
45	Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela Demke Brown	Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters.	CGO	2005	DBLP DOI BibTeX RDF
40	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
40	Jean-Vincent Loddo, Luca Saiu	Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy".	ML	2007	DBLP DOI BibTeX RDF	GUI, virtual machine, emulation, OCaml, static typing, user mode linux
40	Christian Labonté, Sampalli Srinivas	New Mechanisms for Extending PLAN Functionality in Active Networks.	IWAN	2000	DBLP DOI BibTeX RDF	Secure Active VPN Environment (SAVE), C-Bridge, Java, PLAN, Deployment, Active Networks, Service Creation, OCaml
30	Gregory B. Prokopski, Clark Verbrugge	Analyzing the performance of code-copying virtual machines.	OOPSLA	2008	DBLP DOI BibTeX RDF	code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction
30	Scott Owens	A Sound Semantics for OCamllight.	ESOP	2008	DBLP DOI BibTeX RDF
30	Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa	Ott: effective tool support for the working semanticist.	ICFP	2007	DBLP DOI BibTeX RDF
30	Sean McLaughlin	An Interpretation of Isabelle/HOL in HOL Light.	IJCAR	2006	DBLP DOI BibTeX RDF
30	John Harrison 0001	Towards Self-verification of HOL Light.	IJCAR	2006	DBLP DOI BibTeX RDF
30	Sergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer	Assessing the Crash-Failure Assumption of Group Communication Protocols.	ISSRE	2005	DBLP DOI BibTeX RDF
30	Adnan Agbaria, Roy Friedman	Virtual Machine Based Heterogeneous Checkpointing.	IPDPS	2002	DBLP DOI BibTeX RDF
30	Eijiro Sumii, Hideo Bannai	VM lambda: A Functional Calculusfor Scientific Discovery.	FLOPS	2002	DBLP DOI BibTeX RDF
24	Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux	Hardware Implementation of OCaml Using a Synchronous Functional Language.	PADL	2024	DBLP DOI BibTeX RDF
24	Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao	Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design.	FPGA	2024	DBLP DOI BibTeX RDF
24	Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, Derek Dreyer	Melocoton: A Program Logic for Verified Interoperability Between OCaml and C.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
24	Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot	Accelerating OCaml Programs on FPGA.	Int. J. Parallel Program.	2023	DBLP DOI BibTeX RDF
24	Darius Foo, Wei-Ngan Chin	Tracing OCaml Programs.	CoRR	2023	DBLP DOI BibTeX RDF
24	Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao	Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design.	CoRR	2023	DBLP DOI BibTeX RDF
24	Max Lang, Nico Petzendorfer	Less Power for More Learning: Restricting OCaml Features for Effective Teaching.	CoRR	2023	DBLP DOI BibTeX RDF
24	Edwin Török	Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code.	CoRR	2023	DBLP DOI BibTeX RDF
24	Kiran Gopinathan	GopCaml: A Structural Editor for OCaml.	CoRR	2022	DBLP DOI BibTeX RDF
24	Daniel Castanho, Mário Pereira	Auto-active Verification of Graph Algorithms, Written in OCaml.	CoRR	2022	DBLP DOI BibTeX RDF
24	Clotilde Erard, Alain Giorgetti, Jérome Ricciardi	Towards random and enumerative testing for OCaml and WhyML properties.	Softw. Qual. J.	2022	DBLP DOI BibTeX RDF
24	Liang Wang, Jianxin Zhao 0001, Richard Mortier	OCaml Scientific Computing - Functional Programming in Data Science and Artificial Intelligence		2022	DOI RDF
24	Keigo Imai, Julien Lange, Rumyana Neykova	Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.	TACAS (1)	2022	DBLP DOI BibTeX RDF
24	K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy	Retrofitting Effect Handlers onto OCaml.	CoRR	2021	DBLP BibTeX RDF
24	Mário Pereira, António Ravara	Cameleer: a Deductive Verification Tool for OCaml.	CoRR	2021	DBLP BibTeX RDF
24	Sylvain Boulmé	Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles). (Programmation défensive formellement vérifiée (calculs efficaces et vérifiés en Coq, à partir d'oracles OCaml potentiellement non fiables)).		2021	RDF
24	Mário Pereira, António Ravara	Cameleer: A Deductive Verification Tool for OCaml.	CAV (2)	2021	DBLP DOI BibTeX RDF
24	Jean-Christophe Filliâtre, Clément Pascutto	Ortac: Runtime Assertion Checking for OCaml (Tool Paper).	RV	2021	DBLP DOI BibTeX RDF
24	Alana Ceci, Hanneli C. A. Tavante, Brigitte Pientka, Xujie Si	Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs.	SIGCSE	2021	DBLP DOI BibTeX RDF
24	K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy	Retrofitting effect handlers onto OCaml.	PLDI	2021	DBLP DOI BibTeX RDF
24	Glen Mével, Jacques-Henri Jourdan, François Pottier	Cosmo: a concurrent separation logic for multicore OCaml.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
24	K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy	Retrofitting parallelism onto OCaml.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
24	Nándor Licker, Timothy M. Jones 0001	Duplo: a framework for OCaml post-link optimisation.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
24	K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy	Retrofitting Parallelism onto OCaml.	CoRR	2020	DBLP BibTeX RDF
24	Shubhendra Pal Singhal	Graph500 from OCaml-Multicore Perspective.	CoRR	2020	DBLP BibTeX RDF
24	Xiaoxin An, Amer Tahat, Binoy Ravindran	A Validation Methodology for OCaml-to-PVS Translation.	NFM	2020	DBLP DOI BibTeX RDF
24	Francois Berenger, Kam Y. J. Zhang, Yoshihiro Yamanishi	Chemoinformatics and structural bioinformatics in OCaml.	J. Cheminformatics	2019	DBLP DOI BibTeX RDF
24	Keigo Imai, Nobuko Yoshida, Shoji Yuen	Session-ocaml: A session-based library with polarities and lenses.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
24	Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira	GOSPEL - Providing OCaml with a Formal Specification Language.	FM	2019	DBLP DOI BibTeX RDF
24	Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens	Characterising renaming within OCaml's module system: theory and implementation.	PLDI	2019	DBLP DOI BibTeX RDF
24	Steven Varoumas, Tristan Crolard	WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation.	WCET	2019	DBLP DOI BibTeX RDF
24	Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens	Rotor: a tool for renaming values in OCaml's module system.	IWOR@ICSE	2019	DBLP DOI BibTeX RDF
24	Frédéric Bour, Thomas Refis, Gabriel Scherer	Merlin: a language server for OCaml (experience report).	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
24	Frédéric Bour, Thomas Refis, Gabriel Scherer	Merlin: A Language Server for OCaml (Experience Report).	CoRR	2018	DBLP BibTeX RDF
24	Simon Colin, Rodolphe Lepigre, Gabriel Scherer	Unboxing Mutually Recursive Type Definitions in OCaml.	CoRR	2018	DBLP BibTeX RDF
24	Frédéric Bour	CAMLroot: revisiting the OCaml FFI.	CoRR	2018	DBLP BibTeX RDF
24	Rodolphe Lepigre, Christophe Raffalli	Abstract Representation of Binders in OCaml using the Bindlib Library.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
24	Tsukino Furukawa, Youyou Cong, Kenichi Asai	Stepping OCaml.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
24	Victor Allombert, Mathias Bourgoin, Frédéric Loulergue	Parallel Programming with OCaml: A Tutorial.	HPCS	2018	DBLP DOI BibTeX RDF
24	Benjamin Canou, Roberto Di Cosmo, Grégoire Henry	Scaling up functional programming education: under the hood of the OCaml MOOC.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
24	Liang Wang	Owl: A General-Purpose Numerical Library in OCaml.	CoRR	2017	DBLP BibTeX RDF
24	Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng	Towards automatic resource bound analysis for OCaml.	POPL	2017	DBLP DOI BibTeX RDF
24	Paul Laforgue, Yann Régis-Gianas	Copattern matching and first-class observations in OCaml, with a macro.	PPDP	2017	DBLP DOI BibTeX RDF
24	Keigo Imai, Nobuko Yoshida, Shoji Yuen	Session-ocaml: A Session-Based Library with Polarities and Lenses.	COORDINATION	2017	DBLP DOI BibTeX RDF
24	Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng	Towards Automatic Resource Bound Analysis for OCaml.	CoRR	2016	DBLP BibTeX RDF