[ML'22] An OCaml use case for strong call-by-need reduction

preview_player
Показать описание
An OCaml use case for strong call-by-need reduction

Gabriel Scherer (INRIA Saclay)
Nathanaelle Courant (INRIA)

We describe a use-case for strong call-by-need reduction in the OCaml compiler (which could apply to any programming language with a sufficiently rich module language), and our implementation of a strong call-by-value evaluator.
  1. ACM SIGPLAN
  2. ML
Рекомендации по теме
[ML'22] An OCaml 0:20:34

[ML'22] An OCaml use case for strong call-by-need reduction

[ML'22] Necro ML: 0:13:37

[ML'22] Necro ML: Generating OCaml Interpreters

[ML'22] Interpreting OCaml 0:18:39

[ML'22] Interpreting OCaml GADTs into Coq

ML 2021 - 0:27:38

ML 2021 - Cameleer: a Deductive Verification Tool for OCaml

[OCaml'22] Stack allocation 0:22:12

[OCaml'22] Stack allocation for OCaml

[Tutorials @ ICFP'22] 1:37:12

[Tutorials @ ICFP'22] OCaml 5 for the Working Programmer (Part 2)

reading through the 1:26:10

reading through the OCaml compiler: Part 1

OCaml 2021 - 0:20:40

OCaml 2021 - OCaml and Python: Getting the Best of Both Worlds

OCaml Workshop 2021 0:24:37

OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCaml

[ML'22] Module Shapes 0:16:13

[ML'22] Module Shapes for Modern Tooling

[OCaml'22] Highest-performance Stream 0:15:42

[OCaml'22] Highest-performance Stream Processing

Formal Verification of 0:14:00

Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model

OCaml Platform in 0:36:02

OCaml Platform in 2021 by Sudha Parimala #FnConf 2022

OCaml Workshop 2021 0:18:45

OCaml Workshop 2021 - Experiences with Effects

OCaml 2021 - 0:39:10

OCaml 2021 - 25 years of OCaml

AWS Lambda, RxJS, 1:00:21

AWS Lambda, RxJS, OCaml and Rust - Introduction To Functional Programming class

OCaml 2021 - 0:24:47

OCaml 2021 - Deductive Verification of Realistic OCaml Code

An Introduction to 0:22:58

An Introduction to Ocaml: Day 2 - Loops & Conditionals

ReasonML Meetup: OCaml 2:18:56

ReasonML Meetup: OCaml on the BEAM & The needed introduction to writing a ppx

Efficient Compilation of 0:14:37

Efficient Compilation of Algebraic Effect Handlers

Calculator: Addition | 0:07:24

Calculator: Addition | OCaml Programming | Chapter 9 Video 6

OCaml Workshop 2021 0:39:10

OCaml Workshop 2021 Keynote - Xavier Leroy: 25 years of OCaml

W4S2, FUNCTIONS WITH 0:07:24

W4S2, FUNCTIONS WITH MULTIPLE ARGUMENTS

Caveat Configurator: How 0:52:52

Caveat Configurator: How to replace configs with code, and why you might not want to

join shbcf.ru