On graph rewriting, reduction, and evaluation in the presence of cycles Ian Zerny OriginalPaper 04 January 2015 Pages: 63 - 84
Graphical and incremental type inference. A graph transformation approach Silvia ClericiCristina ZoltanGuillermo Prestigiacomo OriginalPaper 30 April 2014 Pages: 29 - 62
Graph-based communication in Eden Thomas HorstmeyerRita Loogen OriginalPaper 09 March 2014 Pages: 3 - 28
Structural types for systems of equations John CapperHenrik Nilsson OriginalPaper 10 October 2013 Pages: 275 - 310
Types and associated type families for hardware simulation and synthesis Andy GillTristan BullEd Komp OriginalPaper 12 October 2013 Pages: 255 - 274
The Racket virtual machine and randomized testing Casey KleinMatthew FlattRobert Bruce Findler OriginalPaper 01 February 2013 Pages: 209 - 253
Scala-Virtualized: linguistic reuse for deep embeddings Tiark RompfNada AminMartin Odersky OriginalPaper 20 September 2013 Pages: 165 - 207
An approach to completing variable names for implicitly typed functional languages Isao SasanoTakumi Goto OriginalPaper 16 August 2013 Pages: 127 - 163
The interaction of contracts and laziness Markus DegenPeter ThiemannStefan Wehr OriginalPaper 14 August 2013 Pages: 85 - 125
Functional programs as compressed data Naoki KobayashiKazutaka MatsudaKazuya Yaguchi OriginalPaper 14 August 2013 Pages: 39 - 84
Polynomial-time inverse computation for accumulative functions with multiple data traversals Kazutaka MatsudaKazuhiro InabaKeisuke Nakano OriginalPaper Open access 25 September 2013 Pages: 3 - 38
Editorial PEPM2012 Oleg KiselyovJulia LawallSimon Thompson EditorialNotes 23 August 2013 Pages: 1 - 2
Erratum to: Continuation-Passing C, compiling threads to events through continuations Gabriel KerneisJuliusz Chroboczek Erratum 27 September 2012 Pages: 387 - 387
Type-specialized staged programming with process separation Yu David LiuChristian SkalkaScott F. Smith OriginalPaper 29 September 2012 Pages: 341 - 385
Functional un|unparsing Kenichi AsaiOleg KiselyovChung-chieh Shan OriginalPaper 04 October 2012 Pages: 311 - 340
Pruning with improving sequences in lazy functional programs Hideya IwasakiTakeshi MorimotoYasunao Takano OriginalPaper 29 August 2012 Pages: 281 - 309
Continuation-Passing C, compiling threads to events through continuations Gabriel KerneisJuliusz Chroboczek OriginalPaper 24 July 2012 Pages: 239 - 279
Path resolution for nested recursive modules Jacques GarrigueKeiko Nakata OriginalPaper 26 May 2012 Pages: 207 - 237
A proof of Moessner’s theorem by coinduction M. NiquiJ. J. M. M. Rutten OriginalPaper Open access 01 June 2012 Pages: 191 - 206
Logical approximation for program analysis Robert J. SimmonsFrank Pfenning OriginalPaper 19 June 2011 Pages: 41 - 80
Improving type error messages for generic Java Nabil el BoustaniJurriaan Hage OriginalPaper Open access 15 June 2011 Pages: 3 - 39
Side-effect localization for lazy, purely functional languages via aspects Kung ChenShu-Chun WengSiau-Cheng Khoo OriginalPaper 14 June 2011 Pages: 151 - 189
Shortcut fusion rules for the derivation of circular and higher-order programs Alberto PardoJoão Paulo FernandesJoão Saraiva OriginalPaper 22 July 2011 Pages: 115 - 149
Static consistency checking for Verilog wire interconnects Cherif SalamaGregory MalechaJohn O’Leary OriginalPaper 03 September 2011 Pages: 81 - 114
More dependent types for distributed arrays Wouter Swierstra OriginalPaper Open access 08 September 2011 Pages: 489 - 506
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
A functional approach to generic programming using adaptive traversals Bryan ChadwickKarl Lieberherr OriginalPaper 14 January 2011 Pages: 433 - 463
Mnemonics: type-safe bytecode generation at run time Johannes RudolphPeter Thiemann OriginalPaper 29 November 2011 Pages: 371 - 407
Generic multiset programming with discrimination-based joins and symbolic Cartesian products Fritz HengleinKen Friis Larsen OriginalPaper 25 November 2011 Pages: 337 - 370
Making “stricterness” more relevant Stefan HoldermansJurriaan Hage OriginalPaper Open access 24 November 2011 Pages: 315 - 335
Context-sensitive analysis without calling-context Arun LakhotiaDavidson R. BoccardoAleardo Manacero Jr. OriginalPaper 25 November 2011 Pages: 275 - 313
A multi-tier semantics for Hop Manuel SerranoChristian Queinnec OriginalPaper 20 August 2010 Pages: 409 - 431
Keeping calm in the face of change Neil SculthorpeHenrik Nilsson OriginalPaper 09 June 2011 Pages: 227 - 271
Hume box calculus: robust system development through software transformation Gudmund GrovGreg Michaelson OriginalPaper 09 June 2011 Pages: 191 - 226
Space-efficient gradual typing David HermanAaron TombCormac Flanagan OriginalPaper 21 October 2011 Pages: 167 - 189
A lean specification for GADTs: system F with first-class equality proofs Arie MiddelkoopAtze DijkstraS. Doaitse Swierstra OriginalPaper Open access 23 July 2011 Pages: 145 - 166
The two variable per inequality abstract domain Axel SimonAndy King OriginalPaper 18 August 2010 Pages: 87 - 143
Magic-sets for localised analysis of Java bytecode Fausto SpotoÉtienne Payet OriginalPaper 20 August 2010 Pages: 29 - 86
Linearity and iterator types for Gödel’s System Sandra AlvesMaribel FernándezIan Mackie OriginalPaper 20 August 2010 Pages: 1 - 27
Stories about calculations: remembering Peter Landin Tony Clark OriginalPaper 11 March 2010 Pages: 331 - 332
An introduction to Landin’s “Getting Rid of Labels” R. D. Tennent OriginalPaper 05 February 2010 Pages: 313 - 314
Personal recollections of Peter Landin: 1987–2009 Paul P. Boca OriginalPaper 05 February 2010 Pages: 299 - 303
Peter Landin: a computer scientist who inspired a generation Richard Bornat OriginalPaper 05 February 2010 Pages: 295 - 298
