High-Level Modelling for Typed Functional Programming.pdf of High-Level Modelling for Typed Functional Programming