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

#Type System

Showing: 266 courses
The Julia Programming Language

Julia: Great Language or the Greatest Language - Keynote by Jan Vitek

0 rewiews
Keynote explores Julia's design, implementation, and performance, covering subtyping algorithms, type stability, and JIT compilation. Insights into language evolution and scientific programming revolution.
Add to list
31 Lesons
50 minutes
On-Demand
Free-Video
The Julia Programming Language

Random Variables as Types - Lecture 11

0 rewiews
Explore random variables as types in Julia programming, covering Gaussian distributions, sampling, abstract types, and generic programming for probability distributions.
Add to list
18 Lesons
51 minutes
On-Demand
Free-Video
The Julia Programming Language

What's Bad About Julia - Addressing Fundamental Issues

0 rewiews
Julia co-creator Jeff Bezanson discusses fundamental issues in the language, focusing on modularity, types, and method specificity rules, offering insights into potential solutions for a better programming experience.
Add to list
25 Lesons
31 minutes
On-Demand
Free-Video

Scala - Your First Programming Language

0 rewiews
Learn programming from scratch with Scala! Explore key concepts like recursion, functions, object-orientation, and error handling. Ideal for beginners seeking a comprehensive introduction to coding.
Add to list
27 Lesons
19 hours
On-Demand
Free-Video
Hausdorff Center for Mathematics

A Taste of ELPI - Introduction to Extensible Logic Programming Interpreter

0 rewiews
Explore ELPI, a programming language for implementing type-checkers and elaborators. Learn its features, applications, and potential in theorem proving and meta-programming.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
ChariotSolutions

Secure by Design: Insights and Pitfalls

0 rewiews
Explore secure software design principles, their benefits, and potential pitfalls. Learn from real-world examples and gain insights on crafting more secure code through thoughtful design choices.
Add to list
32 Lesons
1 hour
On-Demand
Free-Video
OWASP Foundation

Eradicating Vulnerability Classes: Embracing Secure Defaults and Invariants

0 rewiews
Explore innovative approaches to application security, focusing on secure defaults and invariants instead of traditional SAST methods to effectively eliminate vulnerability classes.
Add to list
18 Lesons
45 minutes
On-Demand
Free-Video
Strange Loop Conference

War Time Proofs and Futuristic Programs

0 rewiews
Exploring Gödel's Dialectica interpretation and its connection to linear logic type theory, revealing how past mathematical ideas influence modern programming languages and type systems.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
media.ccc.de

No More Loopy Code: Data Science Goes Functional

0 rewiews
Explore functional programming principles in data science to enhance reliability, maintainability, and reproducibility of workflows. Learn to improve code clarity and debugging through practical examples.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Confreaks

A Look at Trust, Time, and Teams in Software Engineering

0 rewiews
Explore trust in engineering, its psychology, and relationship to time. Learn to create better trust rituals by reframing goals for improved team dynamics.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
Code Sync

The Work Done by Something Else - Exploring Declarative Programming

0 rewiews
Explore declarative programming through everyday and exotic examples. Gain insights into abstraction, automation, and the philosophy of programming for practical knowledge.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
CppNow

Security in C++ - Hardening Techniques From the Trenches

0 rewiews
Discover practical memory safety mitigation techniques for C++ applications, including Standard Library hardening and typed memory allocation, with insights on implementing these security measures in production environments.
Add to list
1 Lesons
1 hour 34 minutes
On-Demand
Free-Video
Devoxx

Enums on Steroids - A Deep Dive into Sealed Classes from Java 17 to 21

0 rewiews
Dive into advanced enum implementations using sealed classes in Java, exploring evolution from Java 17 to 21 and discovering powerful hierarchy control mechanisms.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Eclipse Foundation

The Long Goodbye to NullPointerException - Eclipse Tools and Solutions

0 rewiews
Explore practical strategies for reducing NullPointerExceptions in Java, covering improved tooling, safety levels, and external annotations for gradual risk reduction in legacy code.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
Chris Hay

How Rust Primitive Types and Functions Really Work Under the Hood in Rust Programming with Assembly

0 rewiews
Explore Rust's low-level mechanics: function handling, memory allocation, and compiler optimizations through assembly code analysis. Gain deep insights into Rust's performance and efficiency.
Add to list
6 Lesons
31 minutes
On-Demand
Free-Video
Chris Hay

How JavaScript and TypeScript Is Heavily Influenced by Pascal

0 rewiews
Explore the surprising Pascal influences on JavaScript and TypeScript, from syntax to programming paradigms, with hands-on examples in Netscape Navigator 3 and modern code comparisons.
Add to list
25 Lesons
50 minutes
On-Demand
Free-Video
Meta

Type Systems Will Make You a Better JavaScript Developer - React Conf 2017

0 rewiews
Explore how type systems enhance JavaScript development, focusing on error prevention, code clarity, and improved tooling for more robust applications.
Add to list
13 Lesons
22 minutes
On-Demand
Free-Video
Meta

Rethinking Best Practices: Building Applications in Elm

0 rewiews
Exploring Elm's innovative approach to web development, emphasizing its advantages over JavaScript in building large, maintainable applications with fewer runtime errors and improved developer experience.
Add to list
21 Lesons
29 minutes
On-Demand
Free-Video
Meta

Combining Type Systems with PHP: Hack's Approach

0 rewiews
Explore Hack, Facebook's PHP dialect with a strong static type system. Learn how it enhances PHP's productivity while maintaining its core strengths.
Add to list
27 Lesons
1 hour 5 minutes
On-Demand
Free-Video
Rust

Error Handling in Rust - A Pragmatic Approach

0 rewiews
Pragmatic approach to error handling in Rust: modeling, types, reporting, and best practices for different scenarios, based on Luca Palmieri's expertise.
Add to list
16 Lesons
34 minutes
On-Demand
Free-Video
Linux Foundation

Rust: Removing the Sharp Edges from Systems Programming

0 rewiews
Explore Rust's safety features for systems programming, including memory management, type system, and error handling. Learn to integrate Rust into Yocto systems using meta-rust.
Add to list
36 Lesons
50 minutes
On-Demand
Free-Video
Rust

Safe Systems Software and the Future of Computing - Closing Keynote

0 rewiews
Explore the future of safe systems programming and its impact on operating systems, drawing insights from Microsoft's innovative projects and addressing technical and cultural challenges.
Add to list
31 Lesons
43 minutes
On-Demand
Free-Video
Rust

Type System Tips for the Real World - RustConf 2017

0 rewiews
Practical insights into Rust's advanced type system features, including zero-sized types, recursive types, and generics, with real-world examples from Diesel.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
Rust

RPITIT Deep Dive - Exploring Rust Compiler Errors

0 rewiews
Dive deep into Return Position Impl Trait in Trait (RPITIT) with Rust compiler expert @compiler-errors. Explore implementation details and challenges in this advanced session.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
Rust

MIR Formality Walkthrough - Coherence Overlap Check

0 rewiews
Explore MIR formality and coherence overlap checks in Rust programming, enhancing your understanding of the language's internal representation and type system.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
Rust

Getting Something for Nothing - Using Rust's Type System for Safe Hardware Abstractions

0 rewiews
Explore safe hardware abstractions in Rust using the Type System and Borrow Checker, focusing on high-performance microcontroller systems and the embedded-hal ecosystem.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
Rust

Representing Types in Rustc - Type System Internals

0 rewiews
Explore rustc's type representation, covering Ty type, generics, substitution, and type folding. Gain insights into Rust's internal type system implementation.
Add to list
9 Lesons
55 minutes
On-Demand
Free-Video
Rust

How the Chalk-Engine Crate Works in Rust

0 rewiews
Explore the inner workings and functionality of the chalk-engine crate in Rust programming, gaining insights into its design and implementation.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
Rust

Rust Region Inferencer Discussion - Async-Await Working Group

0 rewiews
Rust developers discuss region inferencer changes to address limitations, uncovering unexpected issues while exploring multiple unrelated lifetimes in existential types.
Add to list
1 Lesons
1 hour 7 minutes
On-Demand
Free-Video
Rust

Rustc-Chalk Integration Overview: Plans and Implementation

0 rewiews
Overview of rustc-chalk integration plans and implementation, covering answer tables, search strategies, inference contexts, and key components like the trait engine and canonicalization.
Add to list
42 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Rust

Async-Await Implementation Strategies for Rust - 2019.02.26 Meeting

0 rewiews
Rust developers discuss implementation strategies for async-await, covering issues like explicit lifetimes, existential types, and generator artifacts to improve the language's asynchronous programming capabilities.
Add to list
21 Lesons
1 hour 1 minute
On-Demand
Free-Video
Rust

Rust Lang Team Design Meeting: Dynamic Traits and Coherence - 2020.01.13

0 rewiews
Explore Rust's dyn Trait and coherence in this Lang Team Design meeting, covering key concepts, challenges, and potential solutions for dynamic dispatch.
Add to list
14 Lesons
59 minutes
On-Demand
Free-Video
Rust

Rust Lang Team Triage Meeting - Grammar Working Group Focus - 2019.09.12

0 rewiews
Rust Lang Team meeting discussing Grammar Working Group integration, unwind and Ref type issues. Includes goals, history, and plans for better collaboration.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
Rust

Polonius Working Group: The Role of Subset Relations in Rust

0 rewiews
Explore subset relations in Polonius's design and a proposal for equality-only propagation, enhancing understanding of Rust's borrow checker implementation.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
Rust

Design Meeting: Workflow Checks and Type Aliases in Rust - 2020-07-29

0 rewiews
Explore Rust's design decisions on well-formedness checks and type aliases, covering expected behavior, rationale, and future compatibility considerations.
Add to list
14 Lesons
56 minutes
On-Demand
Free-Video
Rust

Types of Types in Rust

0 rewiews
Explore Rust's type system, including kind bounds, traits, closures, and existential types. Learn advanced concepts for more effective Rust programming.
Add to list
20 Lesons
22 minutes
On-Demand
Free-Video
Rust

Rust Typeclasses - Trait-Based Programming

0 rewiews
Explore Rust's trait system and its similarities to typeclasses in functional programming languages, presented by researcher Lindsey Kuper.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Rust

Rewriting Scientific Computing Tools in Rust - Challenges and Lessons Learned

0 rewiews
Exploring Rust's potential in scientific computing by rewriting linear algebra, complex functions, and FFT from Octave. Discusses challenges, benefits, and lessons learned in improving scientific tools.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
Rust

Subtyping in Rust - Magic and Misconceptions

0 rewiews
Explore Rust's subtyping, variance, and advanced data structure concepts with Felix Klock. Gain insights into Rust's unique approach to type systems and memory safety.
Add to list
20 Lesons
54 minutes
On-Demand
Free-Video
Rust

Traits and Types in Rust - PDXRust May 2016

0 rewiews
Explore Rust's type system, traits, and custom implementations. Learn about basic and built-in types, methods, constructors, and useful traits from the standard library.
Add to list
24 Lesons
44 minutes
On-Demand
Free-Video
Rust

Froyo: Overview of Rust-Based Storage Management System

0 rewiews
Learn about Froyo, a Rust-based storage management system. Explore its architecture, device mapping, metadata handling, and integration with technologies like RAID and DBus.
Add to list
18 Lesons
49 minutes
On-Demand
Free-Video
Rust

The Builder Pattern and Typestate Programming in Rust

0 rewiews
Explore the Builder Pattern in Rust, its advantages, and how Rust's type system enhances its implementation. Learn about typestate programming and practical applications.
Add to list
10 Lesons
35 minutes
On-Demand
Free-Video
Linux Foundation

Modern Programming Language Abstractions for Cloud-Native Application Development

0 rewiews
Explore high-level abstractions, type systems, and visualization techniques that simplify cloud-native development. Learn how modern programming languages are shaping the future of distributed applications.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Scala Days Conferences

Polymorphic Function Types in Scala 3

0 rewiews
Explore polymorphic function types in Scala 3, their usage, benefits, and implementation. Learn about recent compiler improvements and potential future enhancements for this powerful feature.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
Java

Value Classes in Scala

0 rewiews
Explore value classes in Scala, their implementation, use cases, and implications, with insights on performance, type hierarchy, and feature interactions.
Add to list
21 Lesons
36 minutes
On-Demand
Free-Video
Java

Adventures on the Road to Valhalla - Improving Java Generics - Lecture

0 rewiews
Explore the future of Java generics and parametric polymorphism with Brian Goetz. Dive into challenges, solutions, and potential improvements for the JVM ecosystem.
Add to list
23 Lesons
49 minutes
On-Demand
Free-Video
Java

Dynamic Dispatch and Type Inference in Fortress - Lecture

0 rewiews
Explore dynamic dispatch and type inference in Fortress, covering generic overloading, trait-based systems, and runtime type operations, with insights on JVM implementation challenges.
Add to list
11 Lesons
27 minutes
On-Demand
Free-Video
Java

Gradual Typing for Ruby at Scale with Sorbet

0 rewiews
Explore Sorbet, a fast typechecker for Ruby designed to enhance developer productivity in large codebases. Discover tools and techniques for efficient type checking in growing projects.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
Java

Scala War Stories - Challenges and Lessons from JVM Language Development

0 rewiews
Explore Scala's intricacies, challenges, and quirks with Paul Phillips as he shares war stories and insights on language design, unification, primitives, and unexpected behaviors.
Add to list
17 Lesons
53 minutes
On-Demand
Free-Video
Rust

New Trait Solver Walkthrough in Rust - 2024.02.26

0 rewiews
Comprehensive walkthrough of Rust's new trait solver, exploring its implementation and functionality for improved code analysis and compilation.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
Code Sync

Gradualizing Languages with Set-Theoretic Types in Elixir

0 rewiews
Explore practical implementations of gradual set-theoretic types in Elixir, focusing on disjoint unions, singleton types, and elegant solutions for type representation and checking.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
ACM SIGPLAN

Back to Direct Style: Typed and Tight

0 rewiews
Explore typed translations between direct and continuation-passing styles, examining their preservation of types and semantics, and their behavior in trivial and non-trivial control flow scenarios.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
ACM SIGPLAN

Fluent APIs in Functional Languages

0 rewiews
Explore implementing fluent APIs in functional languages using parametric polymorphism and Hindley-Milner type inference. Learn to enforce API protocols and DSL syntax at compile time without relying on name overloading.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

How Profilers Can Help Navigate Type Migration

0 rewiews
Explore strategies for guiding migratory typing using profiling tools, focusing on deep types to eliminate costly boundaries between typed and untyped components in code refactoring.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Simple Reference Immutability for System F-sub

0 rewiews
Explore reference immutability in hybrid languages, focusing on interactions with higher-order functions, polymorphism, and subtyping in System F-sub. Gain insights into taming mutation in modern programming paradigms.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Gradual Probabilistic Lambda Calculus

0 rewiews
Explore a gradual probabilistic lambda calculus combining static and dynamic typing for probabilistic programming, enhancing flexibility in machine learning and differential privacy applications.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Semantics I - Session Preview for POPL 2023

0 rewiews
Explore key concepts in semantics, including type-based approaches, rewriting, game semantics, and category theory, with expert Ugo Dal Lago.
Add to list
7 Lesons
10 minutes
On-Demand
Free-Video
ACM SIGPLAN

Synthesis II - Session Preview for POPL 2023

0 rewiews
Explore advanced program synthesis techniques and their applications in software development, presented by expert Nate Foster at POPL 2023.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type System for Four Delimited Control Operators

0 rewiews
Explore a uniform type system for four control operators, examining their relationships and implementation in Agda. Gain insights into CPS translation and termination properties.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Structural Subtyping as Parametric Polymorphism

0 rewiews
Explore the relationship between structural subtyping and parametric polymorphism in programming languages, focusing on their expressive power and potential encodings.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Functional Collection Programming with Semi-Ring Dictionaries

0 rewiews
Explore semi-ring dictionaries, a versatile collection type for functional programming. Learn about SDQL language and its optimizations for efficient database and linear algebra processing.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mixed and Verified Consistency with Propel and ConOpY

0 rewiews
Explore mixed consistency in distributed systems using ConOpY language and Propel type system for verifying CRDTs, enhancing data replication and local-first applications.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Reference Capabilities for Flexible Memory Management

0 rewiews
Explore Verona's innovative approach to memory management using isolated regions and reference capabilities, enabling predictable and controlled memory use in concurrent programming.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mutually Iso-Recursive Subtyping - OOPSLA 2023

0 rewiews
Explore mutually iso-recursive subtyping, addressing challenges in type recursion for programming languages. Gain insights into efficient type checking and subtyping for intermediate code representations.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type-Safe Dynamic Placement with First-Class Placed Values

0 rewiews
Explore type-safe dynamic placement in distributed systems using first-class placed values. Learn about Dyno, a language enabling static reasoning with dynamic placement flexibility.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Validating IoT Devices with Rate-Based Session Types

0 rewiews
Explore a novel framework for implementing and validating rate-based message passing systems in IoT domains using session types, ensuring rate error freedom and type preservation.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Resource-Aware Soundness for Big-Step Semantics

0 rewiews
Explore resource-aware extensions to lambda calculus semantics and type systems, ensuring well-typed programs avoid resource exhaustion through coinductive reasoning and big-step formalization.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Combining Dependency, Grades, and Adjoint Logic in Type Systems

0 rewiews
Explore new dependent type systems combining graded/linear types with modal operators and Adjoint Logic. Delve into meta-theoretic properties and graded substitution in advanced type theory.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Dependently Typed Language with Dynamic Equality

0 rewiews
Explore a novel dependently typed language with dynamic equality, addressing usability issues in type systems and providing clearer error messages through runtime equality checking.
Add to list
8 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs

0 rewiews
Explore BRAT, a functional language for quantum-classical hybrid programming, featuring unique syntax and type-level parameters for enhanced safety and composition.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Circuit Width Estimation via Effect Typing and Linear Dependency

0 rewiews
Explore circuit width estimation in quantum programming using effect typing and linear dependency. Gain insights into Proto-Quipper-R's type system for resource analysis of quantum algorithms.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Internalizing Indistinguishability with Dependent Types

0 rewiews
Explore a novel type system combining dependency tracking and dependent types, internalizing indistinguishability for enhanced information flow control and program equivalence reasoning.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mechanizing Refinement Types

0 rewiews
Explore the mechanization of refinement types, combining semantic subtyping and parametric polymorphism. Learn about λRF calculus, data propositions, and metatheory proofs in LiquidHaskell and Coq.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Pipelines and Beyond: Graph Types for ADTs with Futures

0 rewiews
Explore a novel graph type system enabling arbitrary combinations of futures and recursive data types in parallel programming, enhancing pipelining and performance optimization techniques.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Vehicle - A Specification Language for Neural Network Properties

0 rewiews
Explore Vehicle, a functional DSL for specifying neural network properties. Learn to express, compile, and verify specifications across platforms, enhancing safety in ML-enhanced systems.
Add to list
1 Lesons
3 hours 6 minutes
On-Demand
Free-Video
ACM SIGPLAN

Homotopy Type Theory for Sewn Quilts

0 rewiews
Explore PieceWork, an innovative programming language for quilt design inspired by Homotopy Type Theory. Learn how computational methods can enhance diversity in sewn designs and bridge programming theory with quilting craft.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Weighted Refinement Types for Counterpoint Composition

0 rewiews
Explore weighted refinement types for music composition, blending programming concepts with music theory to create flexible counterpoint systems.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Generating Well-Typed Terms That Are Not "Useless"

0 rewiews
Explore a novel algorithm for generating well-typed lambda terms that use their arguments effectively, improving random testing of functional language compilers.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

0 rewiews
Explore polymorphic reachability types for tracking freshness, aliasing, and separation in higher-order generic programs. Gain insights into advanced type systems and their applications in programming languages.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Polyregular Functions on Unordered Trees of Bounded Height

0 rewiews
Explore polyregular functions on unordered trees with bounded height, examining first-order interpretations, decidability of equivalence problems, and applications to graph classes with bounded tree-depth.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type-Based Gradual Typing Performance Optimization

0 rewiews
Explore discriminative typing for optimizing gradual typing performance. Learn about its implementation in Reticulated Python and Grift, and discover significant speedups across various programs.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
IEEE

On the Generality and Convenience of Etypes

0 rewiews
Explores Etypes in the Ethos OS, discussing its generality through grammar conversion and convenience for programmers, with a focus on distributed mandatory type systems and robust program development.
Add to list
16 Lesons
24 minutes
On-Demand
Free-Video
IEEE

Verifying and Synthesizing Constant-Resource Implementations with Types

0 rewiews
Explores a type system for verifying constant-resource implementations, enhancing security against side-channel attacks while allowing natural programming models. Introduces resource-aware noninterference and automated repair techniques.
Add to list
11 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type-Checking CRDT Convergence

0 rewiews
Explore Propel, a language with a type system for verifying algebraic properties in CRDT implementations. Learn about its case analysis and induction approach for ensuring correctness.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Type System for Safe Intermittent Computing

0 rewiews
Explore a novel type system approach for safe intermittent computing in energy-harvesting devices, addressing idempotence requirements and improving programmability for batteryless systems.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Parallelism in a Region Inference Context

0 rewiews
Explore region inference implementation for fork-join parallelism in higher-order functional programming, including type rules, semantics, and efficient multi-core utilization.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Proving Capability Safety in the Presence of Indirect Sentries

0 rewiews
Explore capability safety proofs with indirect sentries, advancing understanding of secure programming models and language design.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Exploring Algebraic Placement in Multiparty Languages - CP 2024

0 rewiews
Explore the relationship between type systems and placement systems in distributed programming languages, focusing on modular reasoning and algebraic placement structures.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Compiling Probabilistic Programs for Variable Elimination with Information Flow

0 rewiews
Explore a novel approach to variable elimination and marginal inference in probabilistic programming, featuring bounded recursion and discrete distributions, with compiler-based optimization techniques.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types

0 rewiews
Explore coverage types and their connection to Incorrectness Logic, integrating underapproximate reasoning within refinement type systems for enhanced program analysis and verification.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

0 rewiews
Explore a novel region type-system for ensuring garbage-collection safety in polymorphic programs, addressing soundness issues and enabling efficient memory management strategies.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024

0 rewiews
Explore space-efficient implementation of gradual typing with mostly parametric polymorphism. Learn about λCmp and λSmp calculi, their properties, and the implications for type-preserving translations.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Verified Compiler for a Functional Tensor Language - PLDI 2024

0 rewiews
Explore a verified compiler for functional tensor language, focusing on efficient array code production and formal correctness proof for high-performance domains like image processing and machine learning.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Focusing on Refinement Typing - A Logically Principled Foundation

0 rewiews
Explore a logically principled foundation for SMT constraint generation in refinement type systems, combining focalized call-by-push-value, bidirectional typing, and value-determined indexes.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Soundly Handling Linearity - Combining Linear Types with Multi-Shot Effect Handlers

0 rewiews
Explore a novel approach to combining linear types with multi-shot effect handlers, addressing soundness issues in existing systems and introducing control-flow linearity for resource integrity.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Parametric Subtyping for Structural Parametric Polymorphism

0 rewiews
Explore parametric subtyping for structural parametric polymorphism. Learn about a decidable fragment of structural subtyping that generalizes rigid subtyping, with a proven saturation-based decision procedure.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Types 3: Session Preview

0 rewiews
Explore cutting-edge research in type systems and their applications in programming languages with Nick Benton's preview of the Types 3 session at POPL'24.
Add to list
1 Lesons
11 minutes
On-Demand
Free-Video
ACM SIGPLAN

API-Driven Program Synthesis for Testing Static Typing Implementations

0 rewiews
Explore API-driven program synthesis for testing static typing in compilers. Learn about generating type-intensive programs using existing APIs to uncover compiler bugs efficiently.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Haskell Symposium 2024 - Session 3

0 rewiews
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Add to list
1 Lesons
9 hours 13 minutes
On-Demand
Free-Video
Strange Loop Conference

Scala vs Idris - Dependent Types, Now and in the Future

0 rewiews
Exploring dependent types in Scala and Idris: current capabilities, limitations, and future possibilities. Demonstrates rich type systems' potential for program verification and static constraint capture in functional programming.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video