Programming Language

Contents:

• Higher Kinded Types
• Type Classes
• Paper Reading: Lightweight-Higher-Kinded-Polymorphism
• Compelling Higher Kinded Types and Type Classes in F#
• FSYM: An Abstraction On Tagless-Final Style To Compositing And Decoupling Multiple Interpretations
• Tagless Final For Writing Compilers
• Julia Counts for PL Researchers
• First-class Pattern Matching in the Final Approach
• Julia Benefits from Tagless Final
• Some Use Cases for Higher Rank Polymorphisms(No Monad)