Lambda: the ultimate sublanguage (experience report)

作者： Jeremy Yallop , Leo White

关键词:

摘要: We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a language.

参考文章(61)

Jeremy Yallop, Leo White, Lightweight Higher-Kinded Polymorphism international symposium on functional and logic programming. pp. 119- 135 ,(2014) , 10.1007/978-3-319-07151-0_8

STEPHANIE WEIRICH, Type-FUNCTIONAL PEARL safe cast Journal of Functional Programming. ,vol. 14, pp. 681- 695 ,(2004) , 10.1017/S0956796804005179

Jacques Garrigue, Didier Rémy, Ambivalent Types for Principal Type Inference with GADTs asian symposium on programming languages and systems. ,vol. 8301, pp. 257- 272 ,(2013) , 10.1007/978-3-319-03542-0_19

Robert Atkey, Relational Parametricity for Higher Kinds computer science logic. ,vol. 16, pp. 46- 61 ,(2012) , 10.4230/LIPICS.CSL.2012.46

Benjamin C. Pierce, Types and Programming Languages ,(2002)

Martin Elsman, Ken Friis Larsen, Typing XHTML Web Applications in ML Practical Aspects of Declarative Languages. pp. 224- 238 ,(2004) , 10.1007/978-3-540-24836-1_16

Jacques Garrigue, Relaxing the Value Restriction international symposium on functional and logic programming. pp. 196- 213 ,(2004) , 10.1007/978-3-540-24754-8_15

Jérôme Vouillon, Vincent Balat, From bytecode to JavaScript: the Js_of_ocaml compiler Software - Practice and Experience. ,vol. 44, pp. 951- 972 ,(2014) , 10.1002/SPE.2187