The NetherlandsOptimizing Generics Is Easy! (2009)

Cached


by José Pedro Magalhães , Stefan Holdermans , Johan Jeuring , Andres Löh , José Pedro , Magalhães Stefan , Holdermans Johan Jeuring , Andres Löh
Citations:1 - 0 self

Documents Related by Co-Citation

95 Algorithmics: Towards programming as a mathematical activity – L G L T Meertens - 1986
172 Global optimization by suppression of partial redundancies – E Morel, C Renvoise - 1979
8 An Injective Language for Reversible Computation – Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi - 2004
7 Optimizing Generic Functions – Artem Alimarine, Sjaak Smetsers - 2004
84 The promotion and accumulation strategies in transformational programming – R S Bird - 1984
17 Program Calculation Properties of Continuous Algebras – Maarten M Fokkinga, Erik Meijer - 1991
119 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
41 A calculus of functions for program derivation – R S Bird - 1990
58 A Pattern Matching Compiler for Multiple Target Languages – Pierre-etienne Moreau, Christophe Ringeissen, Marian Vittek - 2003
62 A Typed Pattern Calculus – Delia Kesner, Laurence Puel, Val Tannen - 1996
27 Pattern matching with abstract data types – F W Burton, R D Cameron - 1993
16 Matching Objects with Patterns – Burak Emir, Martin Odersky, John Williams - 2007
14 A new look at pattern matching in abstract data types – P Palao Gostanza, R Peña, M Núñez - 1996
19 Views for Standard ML – Chris Okasaki - 1998
6 Lawful functions and program verification – S Thompson - 1990
13 Jmatch: Iterable abstract pattern matching for java – Jed Liu, Andrew C. Myers - 2003
8 A short note concerning lazy reduction rules for append – M R Sleep, S Holmström - 1982
6 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
13 First Class Patterns – Mark Tullsen - 2000
12 A critique of Abelson and Sussman: Why calculating is better than scheming – P Wadler - 1987