Reconstructing Scala
Explore Dotty, the new Scala compiler, and its improved developer experience with enhanced error messages, rewrite rules, and optimizations. Learn about contributing to this exciting project.
Type Parameter Power-Up! Variance, Bounds, and Inference
Explore advanced Scala type system concepts including variance, bounds, and inference to enhance your programming skills and write more robust code.
Sweet Sixteen, but Where Are the Tools?
Explore advanced JavaScript tools for expressions, error handling, and code optimization in this insightful talk on enhancing development workflows and productivity.
Flow - Am I Your Type?
Explore static typing in JavaScript with Flow, covering installation, types, analysis, and integration with tools like Babel and ESLint. Learn to catch errors and improve code quality.
Swift for the Curious
Explore Swift's rapid evolution, unique features, and impact on Apple development. Learn its place among modern languages and potential applications beyond the Apple ecosystem.
Write Your Own Domain Specific Language with F#
Explore creating a domain-specific language in F#, focusing on readability for non-technical users while leveraging functional programming concepts and type safety.
Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages
Explore greedy implicit bounded quantification in object-oriented programming, focusing on type inference algorithms and a variant of kernel F≤ with implicit polymorphism.
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Explore efficient Boolean unification for Hindley-Milner-style type and effect systems. Learn about a hybrid algorithm improving compilation speed and reducing inference overhead in polymorphic effect systems.
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Explore innovative concrete type inference for dynamically typed languages, combining machine learning and SMT solving to enable code optimization without manual type annotations, significantly boosting performance.
Approximating Type Stability in the Julia JIT
Explore an algorithm for approximating type stability in Julia's JIT compiler, enhancing performance in this dynamic scientific computing language.
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.
Relational Solver for Java Generics Type System
Explore a relational solver for Java Generics Type System, enhancing understanding of advanced programming concepts and type theory.
Polymorphic Type Inference for Dynamic Languages
Explore a novel type system combining polymorphism, intersection types, and subtyping for dynamic languages. Learn about type reconstruction algorithms and their applications in advanced programming.
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
Explore a novel type inference approach for first-class polymorphism using multi-bounded polymorphism, advancing the state of the art in type inference for programming languages.
Typing with Pixie Dust - Enhancing Legacy Code with Automated Type Specs
Discover tools for enhancing legacy code with automatic type specifications, improving code reliability and maintainability through a Rebar3 plugin and TypEr enhancements.
How to Build a Python-to-C++ Compiler out of Spare Parts - and Why
Explore Python-to-C++ compilation for enhanced performance and parallelism. Discover Typon's approach to compiling untyped Python, achieving concurrency, and seamless interoperability with existing Python code.
SymbolicIndexingInterface.jl: Symbolic Indexing for Everyone
Explore symbolic indexing in Julia with SymbolicIndexingInterface.jl, enabling intuitive access to symbolic variables across modeling DSLs and frameworks for efficient data manipulation.
Demystifying Scala
Explore Scala's unique blend of functional and object-oriented programming, its key features, and practical applications in this comprehensive introduction for curious developers.
Kotlin - The Chronicles of Lost Semicolons
Explore Kotlin's exciting features through live coding, covering types, strings, expressions, pattern matching, functions, null safety, functional programming, and Java interoperability.
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.