etylizer - Set-theoretic Types for Erlang
Explore etylizer, a static type checker for Erlang using set-theoretic types. Learn how it enhances development and improves code quality for idiomatic Erlang programming.
Enums on Steroids: Exploring Sealed Classes in Java 17
Explore sealed classes in Java 17 to create enhanced enums, improving class hierarchy control and enabling advanced programming mechanisms.
What Scala Taught Me About Software Engineering
Explore how Scala's principles and features influence software engineering practices, enhancing your approach to coding across languages.
Static Typing with RBS in Ruby - Comparing Sorbet and RBS
Explore Ruby's static typing ecosystem, comparing Sorbet and RBS type checkers through practical examples and discussing interoperability between the two systems.
Interfaces.jl: Base and Package Interface Tests for Your Objects
Learn to define and test strict interfaces in Julia using Interfaces.jl. Explore run-time and compile-time constraints, optional components, and traits for improved package interoperability and robust object behavior.
Synthesizing Distributed Protocols from Global Session Types
Automata-theoretic approach to synthesizing distributed protocols from global session types, introducing a sound and complete projection operator for multiparty session types.
The Many Shapes of Polymorphism
Explore polymorphism's impact on programming language design through Java and Scala examples, comparing code evolution and examining how different language features coexist.
The Verification of a Distributed System
Explore techniques for verifying distributed systems, including formal methods, testing strategies, and fault injection, to build robust and reliable systems in the face of partial failure and asynchrony.
Effects: To Be or Not to Be - Exploring Effect Systems in Scala and Beyond - Lecture 1
Explore effect systems in Scala, JVM, and beyond. Analyze their necessity, differences, and tradeoffs in static typing and type system design.
Python Type Hints - 5 Ways to Supercharge Your Code
Discover how Python Type Hints enhance code quality through 5 powerful techniques, from basic foundations to advanced patterns and best practices for safer, more maintainable applications.
Adventures in Elm - Questioning Programming Principles with Functional Development
Explore how Elm's purely functional approach challenges traditional programming principles while offering new perspectives on state management, error handling, and user interactions in browser applications.
How TypeScript Improves Developer Experience Through Type Safety and Data Integrity
Discover how TypeScript enhances developer productivity through practical examples, from type definitions and data integrity to managing complex application structures and preventing runtime errors.
Implementing Domain-Specific Languages with Java Imports in TypeScript - EclipseCon 2023
Discover how to develop Domain-Specific Languages in TypeScript while leveraging Java libraries, exploring integration challenges and solutions using Eclipse Langium framework for seamless development.
The Principles of the Flix Programming Language
Explore the design values and principles of Flix, a multi-paradigm programming language, and their impact on its syntax, semantics, type system, and standard library.
Event-Driven Multiparty Session Actors
Explore a novel approach combining actor languages and multiparty session types for reliable distributed applications, featuring a statically-typed session system for multi-session actors.
Shape-Constrained Array Programming with Size-Dependent Types
Explore a dependent type system for array-size consistency in functional programming, enabling compile-time shape enforcement and nontrivial transformations without added complexity.
A History of Subtyping
Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.
Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.
Typed Design Patterns for the Functional Era - FUNARCH'23
Explore functional design patterns in modern programming, focusing on architectural concepts and their implementation in Rust's type system.
A Type System for Elixir
Explore progress in adding static and gradual typing to Elixir, including set-theoretic types, bug detection, and mixing typed/untyped code. Learn about potential benefits and future challenges.
Session Types vs. Ordinary Types: Understanding Fundamental Differences - Lecture 30
Explore fundamental principles of type systems, comparing session types with traditional types in logic, mathematics, and computer science.