Complete Multiparty Session Type Projection with Automata - ST30
Explore efficient multiparty session type projection using automata. Learn sound, complete, and efficient techniques for verifying asynchronous communication protocols.
How I Learned to Stop Worrying and Love Dynamic Languages
Explore insights on dynamic languages from a seasoned researcher's perspective, covering successful strategies in research, advising, and project leadership.
Termination in Concurrency, Revisited - PPDP23
Explore termination in concurrent programming, comparing type systems for mobile processes and examining session types, weight-based systems, and Curry-Howard correspondence.
Strongly-Typed Multi-View Stack-Based Computations
Explore a Domain-Specific Language for stack-based computations, ensuring type correctness and supporting multiple views and mutually recursive functions of arbitrary arities.
Totally Live Programming with Hazel - Progress Report
Explore Hazel, a groundbreaking live programming environment with error localization and recovery mechanisms, ensuring well-structured and meaningful code at every stage.
Latte: Lightweight Aliasing Tracking for Java
Explore Latte, a lightweight system for tracking aliasing and uniqueness in Java, minimizing annotations and complexity while supporting destructive reads and practical applications.
All the Binaries Together: A Semantic Approach to Application Binary Interfaces
Explore a semantic approach to Application Binary Interfaces, enhancing interoperability and safety in multi-language systems through realizability models and formalized ABIs.
Retrofitting Null-Safety into Java
Explore Nullsafe, a compiler plugin extending Java's type system with nullness, reducing NullPointerExceptions in production code at Meta through large-scale transformation.
asai: A Library for Compiler Diagnostics
Explore asai, an OCaml library for enhancing compiler diagnostics in proof assistants, improving error messages for end users.
Flux: Refinement Types for Rust
Explore refinement types for Rust with Flux, enhancing code safety and expressiveness in systems programming.
Asynchronous Reactive Programming with Modal Types in Haskell
Explore asynchronous reactive programming using modal types in Haskell. Learn about Async Rattus, an embedded FRP language with compile-time clock tracking for efficient asynchronous system composition.
Make Illegal States Unrepresentable - Techniques for Safer Code Design
Explore techniques to make illegal states unrepresentable in code, reducing bugs and improving comprehension. Learn to apply this principle in functional programming for more robust software design.
TypeCheck - Effortless Runtime Type Checking
Explore runtime type-checking in Elixir with TypeCheck library. Learn its benefits, implementation, and advanced features for improved code clarity and resilience.
Bringing Elixir to Life - ElixirConf EU 2023
Explore Elixir's latest features, set theoretic types, and improved developer experience with creator José Valim in this comprehensive keynote from ElixirConf EU 2023.
Bringing Types to Elixir - Set-Theoretic Types for Elixir Programs
Explore set-theoretic types and their potential for Elixir programming, including bug detection and code quality feedback. Learn about a type system tailored for Elixir's unique features.
A Hitchhiker's Guide to Linearity - Lambda Days 2023
Explore the world of linear logic in programming languages, from linear types to ownership systems, and discover their impact on safety and performance.
The Design Principles of the Elixir Type System
Explore set-theoretic types for Elixir, their benefits in bug detection and code quality, and the concept of gradual typing. Gain insights into potential new syntax and challenges in introducing a type system.
Typical C++ But Why - Leveraging the Type System for Better Code - Meeting C++ 2023
Explore how leveraging C++'s type system strengths enhances code quality, prevents errors, improves readability, and reduces risks during code modifications.
SBB - Secure Building Blocks for IoT Systems in Rust - Conf42 Rustlang 2023
Explore Rust's advantages for embedded systems, IoT security, and functional safety. Learn about digital signatures and RustBoot architecture for secure IoT development.
TypeScript Static Analysis Hidden Gems
Explore advanced TypeScript tooling for powerful code analysis and automation. Discover hidden gems like typescript-eslint, eslint-plugin-expect-type, ts-prune, and TypeStat to enhance your development workflow.
Demystify Python Types for PEP 729
Explore Python type systems, from theory to practice. Understand type theory, gradual typing, and major type checkers. Gain insights into PEP 729's typing governance process and implementation challenges.