Andreas Stadelmeier stan
  • Joined on 2023-11-14
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