Andreas Stadelmeier stan
  • Joined on 2023-11-14
Updated 2024-12-19 13:04:14 +00:00
Prototype Implementation of a type inference algorithm for Featherweight Java including Wildcards re-implementation using Scala 3
Updated 2024-08-15 15:03:28 +00:00