„OCaml“

Suchergebnisse

20 Treffer

• OCaml Scientific Computing – Functional Programming in Data Science and Artificial Intelligence
  2022 Springer International Publishing
• Compiling Modelica – about the separate translation of models from Modelica to OCaml and its impact on variable-structure modeling
  Höger, Christoph ; Pepper, Peter ; Jähnichen, Stefan ; Broman, David 2019 Technische Universität Berlin
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• A Mechanically Verified Garbage Collector for OCaml
  Shamsu, Sheera ; Kafle, Dipesh ; Maroo, Dhruv ; Nagar, Kartik ; Bhargavan, Karthikeyan ; Sivaramakrishnan, KC
• WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation
  Varoumas, Steven ; Crolard, Tristan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Session Programming with Global Protocol Combinators (Artifact)
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji
• NumLin: Linear Types for Linear Algebra (Artifact)
  Makwana, Dhruv C. ; Krishnaswami, Neelakantan R.
• Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq
  Larchey-Wendling, Dominique ; Monin, Jean-François 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Session Programming With Global Protocol Combinators
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• NumLin: Linear Types for Linear Algebra
  Makwana, Dhruv C. ; Krishnaswami, Neelakantan R. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Arrays and References in Resource Aware ML
  Lichtman, Benjamin ; Hoffmann, Jan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Visualizing the Evaluation of Functional Programs for Debugging
  Whitington, John ; Ridge, Tom 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pattern Calculus – Computing with Functions and Structures
  Jay, Barry 2009 Springer Berlin
• Antarctic ocean and resources variability
  Sahrhage, Dietrich 1988 Springer
• Accelerating OCaml Programs on FPGA
  Sylvestre, Loïc ; Chailloux, Emmanuel ; Sérot, Jocelyn
• Architecture of Advanced Numerical Analysis Systems – Designing a Scientific Computing System using OCaml
  2023 Apress
• Towards random and enumerative testing for OCaml and WhyML properties
  Erard, Clotilde ; Giorgetti, Alain ; Ricciardi, Jérome
• Chemoinformatics and structural bioinformatics in OCaml
  Berenger, Francois ; Zhang, Kam Y. J. ; Yamanishi, Yoshihiro
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• A type-safe apparatus executing higher order functions – in conjunction with hardware error tolerance
  Kimmitt, Jonathan 2017 LAP LAMBERT Academic Publishing