PUBLIC REASON'S CHAOS THEOREM
- 期刊名称Episteme
- 作者Kogelmann, Brian
- 印刷ISSN1742-3600
- 电子ISSN1750-0117
- 文件大小249.92KB
- 发表时间2018-1-24
- DOI10.1017/epi.2017.37
- 页码1-20
Migrating gradual typesCampora, John Peter; Chen, Sheng; Erwig, Martin; Walkingshaw, Eric · Proceedings of the ACM on Programming Languages · 2017
Extending Type Inference to Variational ProgramsChen, Sheng; Erwig, Martin; Walkingshaw, Eric · ACM Transactions on Programming Languages and Systems · 2014
Exploiting diversity in type checkers for better error messagesChen, Sheng; Erwig, Martin; Smeltzer, Karl · Journal of Visual Languages & Computing · 2016
An error-tolerant type system for variational lambda calculusChen, Sheng; Erwig, Martin; Walkingshaw, Eric · ACM SIGPLAN Notices · 2012
[IEEE 2011 15th International Software Product Line Conference (SPLC) - Munich, Germany (2011.08.22-2011.08.26)] 2011 15th International Software Product Line Conference - Optimizing the Product Derivation ProcessChen, Sheng; Erwig, Martin · 2011
[ACM Press the 5th International Workshop - Indianapolis, Indiana (2013.10.26-2013.10.26)] Proceedings of the 5th International Workshop on Feature-Oriented Software Development - FOSD '13 - An abstract representation of variational graphsErwig, Martin; Walkingshaw, Eric; Chen, Sheng · 2013
[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Type-based parametric analysis of program familiesChen, Sheng; Erwig, Martin · 2014
Pure type systems with judgemental equalityADAMS, ROBIN · Journal of Functional Programming · 2005
FUNCTIONAL PEARL Unfolding pointer algorithmsBIRD, RICHARD S. · Journal of Functional Programming · 2001
Red-black trees with typesKAHRS, STEFAN · Journal of Functional Programming · 2001
Functional programming for business studentsMolyneux, Phil · Journal of Functional Programming · 1993
Metamorphism in jigsawNAKANO, KEISUKE · Journal of Functional Programming · 2013
Data types à la carteSWIERSTRA, WOUTER · Journal of Functional Programming · 2008
Delimited control and computational effectsDOWNEN, PAUL; ARIOLA, ZENA M. · Journal of Functional Programming · 2014
The view from the leftMCBRIDE, CONOR; MCKINNA, JAMES · Journal of Functional Programming · 2004