𝐖ell-𝚻yped 𝐑eflections
  • Home
  • Archive
  • Categories
  • Tags
  • About

Well-Typed Reflections

Thoughts on Computer Science & Engineering
Lionel Parreaux, Assistant Prof. @ HKUST CSE

Recent Posts

  • Demystifying MLsub — the Simple Essence of Algebraic Subtyping
  • The Y Combinator Explained in Python
  • What is Type Projection in Scala, and Why is it Unsound?
  • Scala Pattern Matching Warts and Improvements
  • Comprehending Monoids with Class

Links

  • I'm looking for PhD students. Apply here!
  • RSS Feed
  • My TACO Lab research group
  • Publications
  • MLscript (nascent programming language)
  • Squid (type-safe metaprogramming for Scala)
  • Github Profile (LPTK)
  • Old Personal Page & Portfolio
  • Twitter Profile
  • Linkedin Profile

C++

  • Mar-2015 Throwing Other Things than Exceptions, Continued

Collections

  • Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension

Comprehension

  • Oct-2018 Comprehending Monoids with Class
  • Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension

Exceptions

  • Mar-2015 Throwing Other Things than Exceptions, Continued

Functional programming

  • Mar-2015 Algebraic Data Types in Java 6

Haskell

  • Oct-2018 Comprehending Monoids with Class

Java

  • Mar-2015 Algebraic Data Types in Java 6

Lambda calculus

  • Oct-2019 The Y Combinator Explained in Python

Language design

  • Dec-2018 Scala Pattern Matching Warts and Improvements
  • Oct-2018 Comprehending Monoids with Class

Pattern matching

  • Dec-2018 Scala Pattern Matching Warts and Improvements

Python

  • Oct-2019 The Y Combinator Explained in Python

Query languages

  • Oct-2018 Comprehending Monoids with Class

Scala

  • Sep-2019 What is Type Projection in Scala, and Why is it Unsound?
  • Dec-2018 Scala Pattern Matching Warts and Improvements
  • Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension

Type systems

  • Mar-2020 Demystifying MLsub — the Simple Essence of Algebraic Subtyping
  • Sep-2019 What is Type Projection in Scala, and Why is it Unsound?

©2025 𝐖ell-𝚻yped 𝐑eflections , Powered by Jekyll , Bootstrap , Github , Xixia