Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 18:1-18:63, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 62-72, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 281-286, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software architecture, static analysis, plug-ins, OCaml |
101 | Runhang Li, Jeremy Yallop |
Extending OCaml's 'open'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 1-14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
101 | Oleg Kiselyov, K. C. Sivaramakrishnan |
Eff Directly in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 23-58, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
101 | Timothy Bourke, Jun Inoue 0001, Marc Pouzet |
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 101-130, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
101 | Dmitry Kosarev, Dmitry Boulytchev |
Typed Embedding of a Relational Language in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 1-22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
101 | Florent Balestrieri, Michel Mauny |
Generic Programming in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 59-100, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
101 | Arthur Charguéraud |
Improving Type Error Messages in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 80-97, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
98 | Alec Heller, Jesse A. Tov |
Caml-Shcaml: an ocaml library for unix shell programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 79-90, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 20-31, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML Family/OCaml ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
77 | Jeremy Yallop, Stephen Dolan |
First-Class Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 74-85, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
77 | Oleg Kiselyov |
Effects Without Monads: Non-determinism - Back to the Meta Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 15-40, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
77 | John G. Whitington, Tom Ridge |
Direct Interpretation of Functional Programs for Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 41-73, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
77 | Kavon Farvardin, John H. Reppy |
Compiling with Continuations and LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCAML ![In: Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016., pp. 131-142, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
77 | Oleg Kiselyov |
Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML Family/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015., pp. 1-22, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
77 | Ryohei Tokuda, Eijiro Sumii, Akinori Abe |
Specialization of Generic Array Accesses After Inlining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML Family/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015., pp. 45-53, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
77 | Jacques Garrigue, Jacques Le Normand |
GADTs and Exhaustiveness: Looking for the Impossible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML Family/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015., pp. 23-35, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
77 | William Blair, Hongwei Xi |
Dependent Types for Multi-Rate Flows in Synchronous Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML Family/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015., pp. 36-44, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
77 | Tomas Petricek 0001, Don Syme, Zach Bray |
In the Age of Web: Typed Functional-First Programming Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 64-79, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
77 | Akinori Abe, Eijiro Sumii |
A Simple and Practical Linear Algebra Library Interface with Static Size Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 1-21, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
77 | Leo White, Frédéric Bour, Jeremy Yallop |
Modular implicits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014., pp. 22-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
74 | Yaron Minsky |
Caml trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 285, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
functional programming, ML |
70 | Morten Rhiger |
Compiling Embedded Programs to Byte Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 120-136, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPSEM ![In: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, pp. 413-536, 2000, Springer, 3-540-44044-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
64 | Jeremy Yallop |
Practical generic programming in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 83-94, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
generic programming, deriving, OCaml |
64 | Alain Frisch |
OCaml + XDuce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 192-200, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 13-22, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
47 | Xavier Clerc |
OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 26, pp. e7, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
47 | Çagdas Bozman |
Profilage mémoire d'applications OCaml. (Memory profiling of OCaml applications). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
47 | Xavier Clerc |
OCaml-Java: From OCaml Sources to Java Bytecodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers, pp. 71-85, 2012, Springer, 978-3-642-41581-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
47 | Xavier Clerc |
OCaml-Java: OCaml on the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 167-181, 2012, Springer, 978-3-642-40446-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFLA ![In: Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003, pp. 1-2, 2003, INRIA. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
45 | Oleg Kiselyov, Chung-chieh Shan |
Embedded Probabilistic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 360-384, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Liquid types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 159-169, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 102-111, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia, pp. 201-208, 2007, IEEE Computer Society, 0-7695-3049-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 20-23 March 2005, San Jose, CA, USA, pp. 15-26, 2005, IEEE Computer Society, 0-7695-2298-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Tom Ridge |
Verifying distributed systems: the operational approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 429-440, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 59-70, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAN ![In: Active Networks, Second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000, Proceedings, pp. 57-70, 2000, Springer, 3-540-41179-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 403-422, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction |
30 | Scott Owens |
A Sound Semantics for OCamllight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 1-15, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 1-12, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Sean McLaughlin |
An Interpretation of Isabelle/HOL in HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 192-204, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | John Harrison 0001 |
Towards Self-verification of HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 177-191, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA, pp. 107-116, 2005, IEEE Computer Society, 0-7695-2482-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Adnan Agbaria, Roy Friedman |
Virtual Machine Based Heterogeneous Checkpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Eijiro Sumii, Hideo Bannai |
VM lambda: A Functional Calculusfor Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 290-304, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux |
Hardware Implementation of OCaml Using a Synchronous Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings, pp. 151-168, 2024, Springer, 978-3-031-52037-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2024, Monterey, CA, USA, March 3-5, 2024, pp. 41, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 716-744, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot |
Accelerating OCaml Programs on FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 51(2-3), pp. 186-207, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Darius Foo, Wei-Ngan Chin |
Tracing OCaml Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.04937, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15035, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Max Lang, Nico Petzendorfer |
Less Power for More Learning: Restricting OCaml Features for Effective Teaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.04179, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Edwin Török |
Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14909, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kiran Gopinathan |
GopCaml: A Structural Editor for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.07423, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Castanho, Mário Pereira |
Auto-active Verification of Graph Algorithms, Written in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.09854, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Clotilde Erard, Alain Giorgetti, Jérome Ricciardi |
Towards random and enumerative testing for OCaml and WhyML properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 30(1), pp. 253-279, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Liang Wang, Jianxin Zhao 0001, Richard Mortier |
OCaml Scientific Computing - Functional Programming in Data Science and Artificial Intelligence ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
24 | Keigo Imai, Julien Lange, Rumyana Neykova |
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 379-386, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
Retrofitting Effect Handlers onto OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.00250, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Mário Pereira, António Ravara |
Cameleer: a Deductive Verification Tool for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.11050, 2021. The full citation details ...](Pics/full.jpeg) |
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)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
24 | Mário Pereira, António Ravara |
Cameleer: A Deductive Verification Tool for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 677-689, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Christophe Filliâtre, Clément Pascutto |
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 244-253, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, Virtual Event, USA, March 13-20, 2021, pp. 1341, 2021, ACM, 978-1-4503-8062-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
Retrofitting effect handlers onto OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 206-221, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Glen Mével, Jacques-Henri Jourdan, François Pottier |
Cosmo: a concurrent separation logic for multicore OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 96:1-96:29, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 113:1-113:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Nándor Licker, Timothy M. Jones 0001 |
Duplo: a framework for OCaml post-link optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 98:1-98:29, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.11663, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Shubhendra Pal Singhal |
Graph500 from OCaml-Multicore Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.13548, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Xiaoxin An, Amer Tahat, Binoy Ravindran |
A Validation Methodology for OCaml-to-PVS Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp. 207-221, 2020, Springer, 978-3-030-55753-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Francois Berenger, Kam Y. J. Zhang, Yoshihiro Yamanishi |
Chemoinformatics and structural bioinformatics in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 11(1), pp. 10:1-10:13, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Keigo Imai, Nobuko Yoshida, Shoji Yuen |
Session-ocaml: A session-based library with polarities and lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 172, pp. 135-159, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 484-501, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pp. 950-965, 2019, ACM, 978-1-4503-6712-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Steven Varoumas, Tristan Crolard |
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, July 9, 2019, Stuttgart, Germany., pp. 5:1-5:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-118-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOR@ICSE ![In: Proceedings of the 3rd International Workshop on Refactoring, IWOR@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 27-30, 2019, IEEE / ACM, 978-1-7281-2270-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Frédéric Bour, Thomas Refis, Gabriel Scherer |
Merlin: a language server for OCaml (experience report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 103:1-103:15, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Frédéric Bour, Thomas Refis, Gabriel Scherer |
Merlin: A Language Server for OCaml (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.06702, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Simon Colin, Rodolphe Lepigre, Gabriel Scherer |
Unboxing Mutually Recursive Type Definitions in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.02300, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Frédéric Bour |
CAMLroot: revisiting the OCaml FFI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.04905, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Rodolphe Lepigre, Christophe Raffalli |
Abstract Representation of Binders in OCaml using the Bindlib Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 42-56, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Tsukino Furukawa, Youyou Cong, Kenichi Asai |
Stepping OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFPIE@TFP ![In: Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018., pp. 17-34, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Victor Allombert, Mathias Bourgoin, Frédéric Loulergue |
Parallel Programming with OCaml: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018, pp. 3-11, 2018, IEEE, 978-1-5386-7878-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(ICFP), pp. 4:1-4:25, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Liang Wang |
Owl: A General-Purpose Numerical Library in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.09616, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng |
Towards automatic resource bound analysis for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 359-373, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Paul Laforgue, Yann Régis-Gianas |
Copattern matching and first-class observations in OCaml, with a macro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 97-108, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Keigo Imai, Nobuko Yoshida, Shoji Yuen |
Session-ocaml: A Session-Based Library with Polarities and Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 99-118, 2017, Springer, 978-3-319-59745-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng |
Towards Automatic Resource Bound Analysis for OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.00692, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|