A Spectrum of Type Soundness and Performance

preview_player
Показать описание
  1. ICFP Video
  2. ICFP
Рекомендации по теме
A Spectrum of 0:23:12

A Spectrum of Type Soundness and Performance

Soundness Spectra 2:01:45

Soundness Spectra

[OOPSLA23] Resource-Aware Soundness 0:17:36

[OOPSLA23] Resource-Aware Soundness for Big-Step Semantics

Deep and Shallow 0:18:02

Deep and Shallow Types for Gradual Languages

TyDe 2021 - 0:18:32

TyDe 2021 - Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory

GReTA seminar #17: 1:17:06

GReTA seminar #17: 'Soundness for Automatic Differentiation via String Diagrams'

Types are like 1:15:19

Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen

Is Sound Gradual 0:33:26

Is Sound Gradual Typing Dead?

[POPL'24] Type-based Gradual 0:18:21

[POPL'24] Type-based Gradual Typing Performance Optimization

Deduction/Induction, Validity & 0:39:59

Deduction/Induction, Validity & Soundness, and Strength & Cogency

Approximate Normalization for 0:24:42

Approximate Normalization for Gradual Dependent Types

Reachability Types: Tracking 0:14:53

Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs

Typing High-Speed Cryptography 0:16:56

Typing High-Speed Cryptography against Spectre v1

Keynote: From Scheme 1:05:34

Keynote: From Scheme to Typed Racket

Sequential Programming for 0:23:14

Sequential Programming for Replicated Data Stores

'Understanding TypeScript's Structural 0:37:47

'Understanding TypeScript's Structural Type System' by Drew Colthorp

USENIX Security '17 0:31:09

USENIX Security '17 - DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers

[HATRA] A Survey 0:31:36

[HATRA] A Survey of Weak Reasoning Assistants

STEP21jun23RossHorne 1:25:00

STEP21jun23RossHorne

'Formal semantics for 0:40:23

'Formal semantics for multi-language programs' by Amal Ahmed

A Systematic Approach 0:16:35

A Systematic Approach to Deriving Incremental Type Checkers

Frozen Shoulder Chiropractic/Physiotherapy 0:00:43

Frozen Shoulder Chiropractic/Physiotherapy Treatment

6 Wire Orient 0:01:33

6 Wire Orient Table fan Connection Wiring || Teble fan Wire Capacitor Speed Wire Connection

Optimizing and Evaluating 0:26:54

Optimizing and Evaluating Transient Gradual Typing