ML 2021 - Formalizing OCaml GADT typing in Coq

preview_player
Показать описание
  1. ACM SIGPLAN
Рекомендации по теме
ML 2021 - 0:23:48

ML 2021 - Formalizing OCaml GADT typing in Coq

OCaml 2021 - 0:39:10

OCaml 2021 - 25 years of OCaml

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

[ML'22] Necro ML: Generating OCaml Interpreters

OCaml Workshop 2021 0:39:10

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

[POPL 2021] CoqPL: 0:14:46

[POPL 2021] CoqPL: Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml

ML 2021 - 1:23:35

ML 2021 - Keynote: Narratives and Lessons from The Early History of F#

Cameleer: a Deductive 1:44:51

Cameleer: a Deductive Verification Tool for OCaml

An Invitation to 0:26:13

An Invitation to OCaml | Sudha Parimala | IndiaFOSS 2.0 | FOSS United

ML 2021 - 0:24:24

ML 2021 - Code Extraction from Coq to ML-like languages

OCaml Workshop 2020 0:20:32

OCaml Workshop 2020 - API migration: compare transformed

ML 2021 - 0:10:46

ML 2021 - Isomorphisms are back! (short talk)

Characterising Renaming within 0:19:36

Characterising Renaming within OCaml’s Module System: Theory and Implementation

Intro to Python 2:55:53

Intro to Python for Business Seminar, featuring Mattan Griffel

CPP 2021 Lightning 1:08:32

CPP 2021 Lightning Talks: Monday, Jan 18, 8pm

Lambda Lounge Jan 1:45:19

Lambda Lounge Jan 2022 - Extensible DSLs with Tagless Final

[ITRS 2021] Progress 1:00:02

[ITRS 2021] Progress on Compiler Correctness via Filter Models

01 The History 0:59:51

01 The History of Standard ML: Ideas, Principles, Culture

Cryptoverif 2:43:42

Cryptoverif

Magnus Myreen: Verified 2:19:54

Magnus Myreen: Verified proof checkers

Mathieu Sozeau, The 1:18:30

Mathieu Sozeau, The MetaCoq project

2021 in Programming 0:15:49

2021 in Programming Languages

Carlo Angiuli, Internalizing 1:09:05

Carlo Angiuli, Internalizing Representation Independence with Univalence

A Mechanical Formalization 0:23:13

A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference

[POPL 2021] Asynchronous 0:25:20

[POPL 2021] Asynchronous Effects (full)