海量图书期刊资源,随时随地畅享阅读乐趣
Encoding shortest paths in spatial networksMartin Erwig · 1995
Monadification of functional programsMartin Erwig; Deling Ren · 2004
Pattern Guards and Transformational PatternsMartin Erwig; Simon Peyton Jones · 2001
Visual type inferenceMartin Erwig · 2006
The Choice CalculusErwig, Martin; Walkingshaw, Eric · ACM Transactions on Software Engineering and Methodology · 2011
Model inference for spreadsheetsCunha, Jácome; Erwig, Martin; Mendes, Jorge; Saraiva, João · Automated Software Engineering · 2016
SurveyorAllen, Wyatt; Erwig, Martin · ACM SIGPLAN Notices · 2013
Functional programming with graphsErwig, Martin · ACM SIGPLAN Notices · 1997