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 |
|