The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for OCaml with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998-2002 (15) 2003-2005 (16) 2006-2007 (22) 2008-2009 (30) 2010-2013 (17) 2014-2016 (21) 2017-2018 (19) 2019-2021 (20) 2022-2024 (14)
Publication types (Num. hits)
article(38) book(3) inproceedings(126) phdthesis(3) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(19) ML/OCaml(16) ML(9) ICFP(8) Proc. ACM Program. Lang.(6) ESOP(5) ML Family/OCaml(5) PLDI(5) PADL(4) POPL(4) GPCE(3) IFL(3) TPHOLs(3) CADE(2) COORDINATION(2) FLOPS(2) More (+10 of total 80)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 125 occurrences of 91 keywords

Results
Found 174 publication records. Showing 174 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 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
114Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy PLDI The full citation details ... 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
108Pascal 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 ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software architecture, static analysis, plug-ins, OCaml
101Runhang Li, Jeremy Yallop Extending OCaml's 'open'. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
101Oleg Kiselyov, K. C. Sivaramakrishnan Eff Directly in OCaml. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
101Timothy Bourke, Jun Inoue 0001, Marc Pouzet Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
101Dmitry Kosarev, Dmitry Boulytchev Typed Embedding of a Relational Language in OCaml. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
101Florent Balestrieri, Michel Mauny Generic Programming in OCaml. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
101Arthur Charguéraud Improving Type Error Messages in OCaml. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
98Alec Heller, Jesse A. Tov Caml-Shcaml: an ocaml library for unix shell programming. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF shell programming, domain-specific languages, unix, types, objective caml
83John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa Type-safe distributed programming for OCaml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HashCaml, type-safe marshalling, objective Caml
77Sam Lindley, Gabriel Scherer (eds.) Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017. Search on Bibsonomy ML/OCaml The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
77Kenichi 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 ML/OCAML The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
77Jeremy 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 ML Family/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
77Jeremy Yallop, Stephen Dolan First-Class Subtypes. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
77Oleg Kiselyov Effects Without Monads: Non-determinism - Back to the Meta Language. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
77John G. Whitington, Tom Ridge Direct Interpretation of Functional Programs for Debugging. Search on Bibsonomy ML/OCaml The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
77Kavon Farvardin, John H. Reppy Compiling with Continuations and LLVM. Search on Bibsonomy ML/OCAML The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
77Oleg Kiselyov, Jacques Garrigue (eds.) Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014. Search on Bibsonomy ML/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
77Oleg Kiselyov Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing. Search on Bibsonomy ML Family/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
77Ryohei Tokuda, Eijiro Sumii, Akinori Abe Specialization of Generic Array Accesses After Inlining. Search on Bibsonomy ML Family/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
77Jacques Garrigue, Jacques Le Normand GADTs and Exhaustiveness: Looking for the Impossible. Search on Bibsonomy ML Family/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
77William Blair, Hongwei Xi Dependent Types for Multi-Rate Flows in Synchronous Programming. Search on Bibsonomy ML Family/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
77Tomas Petricek 0001, Don Syme, Zach Bray In the Age of Web: Typed Functional-First Programming Revisited. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
77Akinori Abe, Eijiro Sumii A Simple and Practical Linear Algebra Library Interface with Static Size Checking. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
77Leo White, Frédéric Bour, Jeremy Yallop Modular implicits. Search on Bibsonomy ML/OCaml The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
74Yaron Minsky Caml trading. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF functional programming, ML
70Morten Rhiger Compiling Embedded Programs to Byte Code. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF domain-specific language, Just-in-time compilation, embedded language, OCaml
68Didier Rémy Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
64Jeremy Yallop Practical generic programming in OCaml. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generic programming, deriving, OCaml
64Alain Frisch OCaml + XDuce. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF CDuce, XDuce, regular expression types, XML, type inference, OCaml
49Pascal 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 ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
47Glen 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 2022   RDF
47Pierrick 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 2018   RDF
47Xavier Clerc OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler. Search on Bibsonomy J. Funct. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
47Çagdas Bozman Profilage mémoire d'applications OCaml. (Memory profiling of OCaml applications). Search on Bibsonomy 2014   RDF
47Xavier Clerc OCaml-Java: From OCaml Sources to Java Bytecodes. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
47Xavier Clerc OCaml-Java: OCaml on the JVM. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
47Jean-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 JFLA The full citation details ... 2003 DBLP  BibTeX  RDF
45Oleg Kiselyov, Chung-chieh Shan Embedded Probabilistic Programming. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala Liquid types. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hindley-milner, type inference, dependent types, predicate abstraction
45João Paulo Fernandes, João Saraiva Tools and libraries to model and manipulate circular programs. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
45Louis Gesbert, Frédéric Loulergue Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. Search on Bibsonomy PDCAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela Demke Brown Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters. Search on Bibsonomy CGO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Tom Ridge Verifying distributed systems: the operational approach. Search on Bibsonomy POPL The full citation details ... 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
40Jean-Vincent Loddo, Luca Saiu Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GUI, virtual machine, emulation, OCaml, static typing, user mode linux
40Christian Labonté, Sampalli Srinivas New Mechanisms for Extending PLAN Functionality in Active Networks. Search on Bibsonomy IWAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Secure Active VPN Environment (SAVE), C-Bridge, Java, PLAN, Deployment, Active Networks, Service Creation, OCaml
30Gregory B. Prokopski, Clark Verbrugge Analyzing the performance of code-copying virtual machines. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction
30Scott Owens A Sound Semantics for OCamllight. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Peter 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 ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Sean McLaughlin An Interpretation of Isabelle/HOL in HOL Light. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30John Harrison 0001 Towards Self-verification of HOL Light. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Sergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer Assessing the Crash-Failure Assumption of Group Communication Protocols. Search on Bibsonomy ISSRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Adnan Agbaria, Roy Friedman Virtual Machine Based Heterogeneous Checkpointing. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Eijiro Sumii, Hideo Bannai VM lambda: A Functional Calculusfor Scientific Discovery. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux Hardware Implementation of OCaml Using a Synchronous Functional Language. Search on Bibsonomy PADL The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design. Search on Bibsonomy FPGA The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Armaë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 Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot Accelerating OCaml Programs on FPGA. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Darius Foo, Wei-Ngan Chin Tracing OCaml Programs. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Max Lang, Nico Petzendorfer Less Power for More Learning: Restricting OCaml Features for Effective Teaching. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Edwin Török Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Kiran Gopinathan GopCaml: A Structural Editor for OCaml. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Daniel Castanho, Mário Pereira Auto-active Verification of Graph Algorithms, Written in OCaml. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Clotilde Erard, Alain Giorgetti, Jérome Ricciardi Towards random and enumerative testing for OCaml and WhyML properties. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Liang Wang, Jianxin Zhao 0001, Richard Mortier OCaml Scientific Computing - Functional Programming in Data Science and Artificial Intelligence Search on Bibsonomy 2022   DOI  RDF
24Keigo Imai, Julien Lange, Rumyana Neykova Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy Retrofitting Effect Handlers onto OCaml. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Mário Pereira, António Ravara Cameleer: a Deductive Verification Tool for OCaml. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Sylvain 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 2021   RDF
24Mário Pereira, António Ravara Cameleer: A Deductive Verification Tool for OCaml. Search on Bibsonomy CAV (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Jean-Christophe Filliâtre, Clément Pascutto Ortac: Runtime Assertion Checking for OCaml (Tool Paper). Search on Bibsonomy RV The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Alana 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 SIGCSE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy Retrofitting effect handlers onto OCaml. Search on Bibsonomy PLDI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Glen Mével, Jacques-Henri Jourdan, François Pottier Cosmo: a concurrent separation logic for multicore OCaml. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24K. 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 Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Nándor Licker, Timothy M. Jones 0001 Duplo: a framework for OCaml post-link optimisation. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24K. 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 CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Shubhendra Pal Singhal Graph500 from OCaml-Multicore Perspective. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Xiaoxin An, Amer Tahat, Binoy Ravindran A Validation Methodology for OCaml-to-PVS Translation. Search on Bibsonomy NFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Francois Berenger, Kam Y. J. Zhang, Yoshihiro Yamanishi Chemoinformatics and structural bioinformatics in OCaml. Search on Bibsonomy J. Cheminformatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Keigo Imai, Nobuko Yoshida, Shoji Yuen Session-ocaml: A session-based library with polarities and lenses. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira GOSPEL - Providing OCaml with a Formal Specification Language. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Reuben 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 PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Steven Varoumas, Tristan Crolard WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. Search on Bibsonomy WCET The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Reuben 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 IWOR@ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Frédéric Bour, Thomas Refis, Gabriel Scherer Merlin: a language server for OCaml (experience report). Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Frédéric Bour, Thomas Refis, Gabriel Scherer Merlin: A Language Server for OCaml (Experience Report). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Simon Colin, Rodolphe Lepigre, Gabriel Scherer Unboxing Mutually Recursive Type Definitions in OCaml. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Frédéric Bour CAMLroot: revisiting the OCaml FFI. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Rodolphe Lepigre, Christophe Raffalli Abstract Representation of Binders in OCaml using the Bindlib Library. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Tsukino Furukawa, Youyou Cong, Kenichi Asai Stepping OCaml. Search on Bibsonomy TFPIE@TFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Victor Allombert, Mathias Bourgoin, Frédéric Loulergue Parallel Programming with OCaml: A Tutorial. Search on Bibsonomy HPCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Benjamin Canou, Roberto Di Cosmo, Grégoire Henry Scaling up functional programming education: under the hood of the OCaml MOOC. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Liang Wang Owl: A General-Purpose Numerical Library in OCaml. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng Towards automatic resource bound analysis for OCaml. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Paul Laforgue, Yann Régis-Gianas Copattern matching and first-class observations in OCaml, with a macro. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Keigo Imai, Nobuko Yoshida, Shoji Yuen Session-ocaml: A Session-Based Library with Polarities and Lenses. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng Towards Automatic Resource Bound Analysis for OCaml. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 174 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license