A multi-tier semantics for Hop Manuel SerranoChristian Queinnec OriginalPaper 20 August 2010 Pages: 409 - 431
A functional approach to generic programming using adaptive traversals Bryan ChadwickKarl Lieberherr OriginalPaper 14 January 2011 Pages: 433 - 463
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008 Peter AchtenMarko van EekelenMarco T. Morazán OriginalPaper 14 June 2011 Pages: 465 - 487
More dependent types for distributed arrays Wouter Swierstra OriginalPaper Open access 08 September 2011 Pages: 489 - 506