research
∙
11/02/2022
Fluent APIs in Functional Languages (full version)
Fluent API is an object-oriented pattern for elegant APIs and embedded D...
share
research
∙
08/31/2022
Python Type Hints are Turing Complete
Grigore showed that Java generics are Turing complete by describing a re...
research
∙
09/08/2021
Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)
This is a study of the computing power of the subtyping machine behind K...
research
∙
09/09/2020