Higher-Order Typed (HOT) Languages
Who are we (Yale, OGI)?
Higher-order Functions
Polymorphic Typing
Functional Languages at the Architecture Level
ADL is an instance of DSL
Dynamism
Current Status
Conclusions
Email: peterson-john@cs.yale.edu