Parametric Polymorphism Courses and Certifications

Java

Adventures in Parametric Polymorphism - Project Valhalla and Value Types

Explore parametric polymorphism in Java with Brian Goetz, covering value types, generics, specialization, and reflection for enhanced programming flexibility and performance.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Structural Subtyping as Parametric Polymorphism

Explore the relationship between structural subtyping and parametric polymorphism in programming languages, focusing on their expressive power and potential encodings.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Parametric Subtyping for Structural Parametric Polymorphism

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.

• YouTube
• 18 minutes
• On-Demand
• Free Video

Java

Trends in the JVM - New Projects and Initiatives

JVM Architect John Rose discusses new trends and projects in JVM technology, including Graal, Metropolis, Valhalla, and Amber, exploring readability, value types, and parametric polymorphism.

• YouTube
• 49 minutes
• On-Demand
• Free Video

Java

VM Futures - Trends and Ideas for Java Virtual Machine Evolution

Explore VM futures, including platform interoperability, value types, and parametric polymorphism. Discover innovative ideas for JVM enhancement and future-proof design strategies.

• YouTube
• 46 minutes
• On-Demand
• Conference Talk

Java

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

Explore the future of Java generics and parametric polymorphism with Brian Goetz. Dive into challenges, solutions, and potential improvements for the JVM ecosystem.

• YouTube
• 49 minutes
• On-Demand
• Free Video

Topos Institute

Parametric Profunctor Preoptics in Neural Networks and Haskell Implementation

Dive into advanced category theory concepts, exploring parametric optics and profunctors for neural network implementation, with practical applications in Haskell programming.

• YouTube
• 54 minutes
• On-Demand
• Free Video

Gopher Academy

Plowing Through Data - Building Flexible Pipelines with Go

Discover how to build scalable data pipelines using Go's parametric polymorphism for processing agricultural data from fields, labs, and applications with flexibility and ease.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Ruby Central

Functional Programming in Plain Terms

Demystifying functional programming concepts for Ruby developers, exploring monads, functors, and more through simple language and practical Rails examples.

• YouTube
• 29 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Fluent APIs in Functional Languages

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.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Code Sync

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.

• YouTube
• 23 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Mechanizing Refinement Types

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.

• YouTube
• 20 minutes
• On-Demand
• Free Video

ACM SIGPLAN

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.

• YouTube
• 30 minutes
• On-Demand
• Free Video

ACM SIGPLAN

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

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.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

API-Driven Program Synthesis for Testing Static Typing Implementations

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.

• YouTube
• 19 minutes
• On-Demand
• Free Video