default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th TFP 2016: College Park, MD, USA
- David Van Horn
, John Hughes:
Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10447, Springer 2019, ISBN 978-3-030-14804-1
Implementation Techniques
- Michael Greenberg:
Space-Efficient Latent Contracts. 3-23 - George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest:
Cactus Environment Machine - Shared Environment Call-by-Need. 24-43 - Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani:
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler. 44-58
Types and Verification
- Andreas Arvidsson, Moa Johansson, Robin Touche:
Proving Type Class Laws for Haskell. 61-74 - Nico Naus, Peter Thiemann:
Dynamic Flow Analysis for JavaScript. 75-93 - Benoît Vaugon, Michel Mauny:
A Type Inference System Based on Saturation of Subtyping Constraints. 94-112
Programming
- Ananda Guneratne, Chad Reynolds, Aaron Stump:
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille. 115-134 - Mark Grebe, Andy Gill:
Threading the Arduino with Haskell. 135-154 - Kyle Headley, Matthew A. Hammer:
The Random Access Zipper - Simple, Persistent Sequences. 155-171 - Nico Naus, Johan Jeuring:
Building a Generic Feedback System for Rule-Based Problems. 172-191
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 2024-10-31 20:02 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:
