Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#OCaml

Showing: 42 courses

OCAML Tutorial

0 rewiews
Comprehensive guide to OCaml programming, covering syntax, functions, data structures, modules, and practical applications. Suitable for beginners to advanced learners seeking in-depth understanding of OCaml.
Add to list
33 Lesons
5 hours
On-Demand
Free-Video
Alan Turing Institute

The Design of Functional Numerical Software - Dr. Richard Mortier, University of Cambridge

0 rewiews
Explore functional numerical software with Owl, an OCaml library for scientific computing. Learn about its architecture, features, and applications in CPU, GPU, and browser environments.
Add to list
31 Lesons
57 minutes
On-Demand
Free-Video
EmacsConf and Emacs hangouts

Writing a Language Server in OCaml for Emacs - Fun and Profit

0 rewiews
Explore writing a language server in OCaml for Emacs, covering LSP basics, implementation tips, and integration with Emacs for enhanced coding experience and security analysis.
Add to list
18 Lesons
16 minutes
On-Demand
Free-Video
Linux Foundation

FoundationDB as a Storage Engine for Irmin

0 rewiews
Explore Irmin's integration with FoundationDB as a storage engine, highlighting benefits, implementation challenges, and potential applications in distributed database systems.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Melocoton - A Program Logic for Verified Interoperability Between OCaml and C

0 rewiews
Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, featuring a formal semantics and Coq mechanization.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code

0 rewiews
Explore a static analyzer for OCaml C bindings, addressing safety issues and aiding migration to OCaml 5. Learn about tools and techniques to improve code reliability.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mostly Automated Proof Repair for Verified Libraries

0 rewiews
Explore automated proof repair for higher-order imperative functions, combining dynamic program alignment, enumerative invariant synthesis, and proof-driven testing to maintain verified software efficiently.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning

0 rewiews
Explore Zar: a verified compiler for discrete probabilistic programs, transforming cpGCL to executable samplers. Learn about choice-fix trees, interaction trees, and sampling equidistribution theorem.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Strange Loop Conference

Point-Free or Die - Tacit Programming in Haskell and Beyond

0 rewiews
Explore tacit programming in functional languages, its benefits, drawbacks, and applications. Learn eta-reduction, develop intuition, and examine its use in libraries and specialized languages.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
media.ccc.de

Safe and Secure Drivers in High-Level Languages

0 rewiews
Explore writing PCIe drivers in modern languages like Rust and Go, focusing on safety, security, and performance. Learn techniques for user-space implementation and hardware isolation.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
media.ccc.de

Treiber in High-Level Programmiersprachen

0 rewiews
Netzwerktreiber-Implementierung in verschiedenen Hochsprachen: Vergleich von Sicherheitsfeatures, Performance und Komplexität für Intel 10 Gbit/s Karten in Rust, Go, OCaml, Haskell, C#, Python und Swift.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
media.ccc.de

Leaving Legacy Behind - Deutsche Übersetzung

0 rewiews
Reduzierung des CO2-Fußabdrucks von Netzwerkdiensten durch MirageOS-Unikernels: Minimalistischer Ansatz für sichere Services mit OCaml, kleinen Bibliotheken und geringerem Ressourcenverbrauch.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
Strange Loop Conference

Data Driven UIs, Incrementally

0 rewiews
Explore efficient data-driven UI development using Incremental, an OCaml library for dynamic computations. Learn techniques for building responsive applications that handle large data streams in real-time.
Add to list
14 Lesons
36 minutes
On-Demand
Free-Video
GOTO Conferences

Simple Functional Effects with Tag Unions

0 rewiews
Explore functional effects using tag unions in programming languages like Roc and OCaml. Learn about high-performance effect systems, mixing I/O operations, and enforcing compile-time guarantees.
Add to list
17 Lesons
46 minutes
On-Demand
Free-Video
GOTO Conferences

OCaml for Fun & Profit - An Experience Report

0 rewiews
Explore OCaml's practical applications in real-world systems, covering engineering design, trade-offs, innovation budgeting, and non-technical aspects crucial for project success. Gain insights from hands-on experience in OCaml development.
Add to list
16 Lesons
46 minutes
On-Demand
Free-Video
ACM SIGPLAN

Hardware Implementation of OCaml Using a Synchronous Functional Language

0 rewiews
Explore Éclat, a functional language for hardware applications, and its implementation of an OCaml virtual machine on FPGAs, showcasing real-time interaction and customizable runtime.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

Osiris: An Iris-Based Program Logic for OCaml

0 rewiews
Explore Osiris, an Iris-based program logic for OCaml, enabling code verification using Separation Logic. Learn about its features, limitations, and future development plans.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Owi: An Interpreter and Toolkit for WebAssembly in OCaml

0 rewiews
Explore Owi, an OCaml-based interpreter and toolkit for WebAssembly. Learn about its architecture, features, and advantages for experimentation and symbolic manipulations of Wasm code.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Building a Lock-Free STM for OCaml - OCaML'23

0 rewiews
Explore lock-free software transactional memory in OCaml with kcas library. Learn about composable transactions, modular blocking, and lock-free data structures for efficient concurrent programming.
Add to list
11 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Buck2 for OCaml Users and Developers

0 rewiews
Explore Buck2's advantages for OCaml development, including its benefits over alternatives like Dune or Bazel, and learn how to leverage it effectively.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Efficient OCaml Compilation with Flambda 2

0 rewiews
Explore Flambda 2's IR and optimization pass for OCaml, focusing on inlining techniques and engineering constraints for efficient compilation of large codebases.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Modern DSL Compiler Architecture in OCaml - Experience with Catala

0 rewiews
Explore state-of-the-art DSL implementation in OCaml, featuring concrete examples and insights from the Catala compiler for legal algorithms.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Less Power for More Learning - Restricting OCaml Features for Effective Teaching

0 rewiews
Explore a framework for sandboxing OCaml features to automate grading of programming exercises, including feature restriction, mock IO system, and security considerations.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Runtime Detection of Data Races in OCaml with ThreadSanitizer

0 rewiews
Explore runtime detection of data races in OCaml using ThreadSanitizer. Learn core principles, challenges, adaptations, and practical application for reliable parallel code development.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages

0 rewiews
Explore unboxed data constructors in ML languages, enhancing efficiency without compromising safety. Learn static analysis techniques and their implementation in OCaml, including termination detection algorithms.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata - PLDI 2024

0 rewiews
Explore a novel approach using symbolic finite automata for verifying representation invariants in functional programs interacting with stateful libraries, enhancing data structure implementation efficiency.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs

0 rewiews
Explore Flambda 2 Types, an abstract domain for static analysis of OCaml programs, focusing on its role in optimizing functional code.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Exploring Perceus for OCaml - ML'23

0 rewiews
Explore Perceus algorithm implementation in OCaml, comparing its performance with standard garbage collection. Learn about precise reference counting and its potential benefits.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

Wasocaml: A Compiler from OCaml to WebAssembly - Lecture

0 rewiews
Explore OCaml to WebAssembly compilation, addressing challenges and strategies for garbage-collected languages. Learn about Wasocaml compiler, value representation, and future plans for FFIs and effects handlers.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Parallel Sequences in Multicore OCaml

0 rewiews
Explore parallel sequences in Multicore OCaml 5.0.0, enabling efficient parallelization of large tasks without low-level implementation complexities.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
ACM SIGPLAN

State of the OCaml Platform 2023

0 rewiews
Explore a decade of OCaml Platform progress, recent advancements, and future roadmap. Gain insights into key milestones, community feedback, and plans shaping the OCaml developer experience.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
Code Sync

osnap - Painless and Massive Regression Test Generation for OCaml

0 rewiews
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.
Add to list
9 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

MacoCaml - Staging Composable and Compilable Macros

0 rewiews
Explore MacoCaml, a novel approach to compile-time code generation in OCaml, combining macros with phase separation and quotation-based staging. Learn about its theoretical foundation and implementation.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
ACM SIGPLAN

Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations

0 rewiews
Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.
Add to list
7 Lesons
30 minutes
On-Demand
Free-Video
ACM SIGPLAN

The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser

0 rewiews
Explore the design and implementation of Salto, a static analyzer for OCaml programs using abstract interpretation to detect exceptions and undefined behaviors.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
ACM SIGPLAN

PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams

0 rewiews
Explore PfComp, a verified compiler for stateless firewall policies using binary decision diagrams. Learn about its Coq-assisted proof, OCaml extraction, and performance benefits.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
ACM SIGPLAN

asai: A Library for Compiler Diagnostics

0 rewiews
Explore asai, an OCaml library for enhancing compiler diagnostics in proof assistants, improving error messages for end users.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
ACM SIGPLAN

Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories

0 rewiews
Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Code Sync

Using Smoke and Mirrors to Compile a Functional Programming Language to Efficient GPU Code

0 rewiews
Explore techniques for compiling functional languages to efficient GPU code, overcoming hardware restrictions through strategic language design and aggressive compiler optimizations.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
Confreaks

Functional Patterns in Ruby

0 rewiews
Explore functional programming concepts from OCaml and apply them to Ruby for cleaner, more future-proof code.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
GOTO Conferences

Reactive Programming with Diff and Patch

0 rewiews
Explore reactive programming techniques using diff and patch, focusing on efficient data updates and functional programming concepts for building responsive systems.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
ACM SIGPLAN

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

0 rewiews
Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, mechanized in Coq using Iris.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video