default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 26
Volume 26, 2016
- Ralf Hinze, Nicolas Wu
:
Unifying structured recursion schemes - An Extended Study. e1 - Andreas Abel, Brigitte Pientka:
Well-founded recursion with copatterns and sized types. e2 - Aaron Stump, Peng Fu:
Efficiency of lambda-encodings in total type theory. e3 - Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis:
Testing noninterference, quickly. e4 - Robert J. Stewart, Patrick Maier, Phil Trinder:
Transparent fault tolerance for scalable functional computation. e5 - Bo Joel Svensson, Ryan R. Newton, Mary Sheeran:
A language for hierarchical data parallel design-space exploration on GPUs. e6 - Xavier Clerc:
OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler. e7
- Graham Hutton:
PhD Abstracts. e8
- K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones:
Composable scheduler activations for Haskell. e9 - Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond:
PAEAN: Portable and scalable runtime support for parallel Haskell dialects. e10 - Mischa Dieterle, Thomas Horstmeyer, Rita Loogen, Jost Berthold:
Skeleton composition versus stable process systems in Eden. e11 - Pawel Parys:
A characterization of lambda-terms transforming numerals. e12 - Paul Stansifer, Mitchell Wand:
Romeo: A system for more flexible binding-safe programming. e13
- Michael Codish, Eijiro Sumii:
Preface for special section from FLOPS 2014. e14
- Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich:
Safe zero-cost coercions for Haskell. e15
- Jesper Cockx, Dominique Devriese, Frank Piessens:
Eliminating dependent pattern matching without K. e16
- Simon J. Thompson:
Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7. e17
- Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper:
Homotopical patch theory. e18 - Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
Gradual type-and-effect systems. e19
- Derek Dreyer, Mary Sheeran:
Special issue dedicated to ICFP 2014: Editorial. e20 - Noam Zeilberger:
Linear lambda terms as invariants of rooted trivalent maps. e21
- Jun Inoue, Walid Taha:
Reasoning about multi-stage programs. e22 - Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Oracle-guided scheduling for controlling granularity in implicitly parallel languages. e23
- Graham Hutton:
PhD Abstracts. e24
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-20 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
