itarticle polymorphic functional programmingpolymorphic functional programming System F (Girard|Reynolds) Polymorphism Existential Type 0
itarticle java functional programming Lambda Expression Functional Interface Method Reference Constructor Reference Interface Streams The java.time Package 0