Programming

• Interface Polymorphism
• Scott Encoding Construction Of The Y Combinator In An Untyped Lambda Calculus