Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sören Tempel, Tobias Brandt, Christoph Lüth |
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, pp. 16-35, 2023, Springer, 978-3-031-38937-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Marmaduke, Larry Diehl, Aaron Stump |
Impredicative Encodings of Inductive-Inductive Data in Cedille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, pp. 1-15, 2023, Springer, 978-3-031-38937-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Chang 0001 (eds.) |
Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-031-38937-5 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Prashant Kumar, Martin Erwig |
MatchMaker: A DSL for Game-Theoretic Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, pp. 51-71, 2023, Springer, 978-3-031-38937-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jason Hemann, Daniel P. Friedman |
Nearly Macro-free microKanren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, pp. 72-91, 2023, Springer, 978-3-031-38937-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Curtis D'Alves, Lucas Dutton, Steven Gonder, Christopher Kumar Anand |
Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, pp. 92-105, 2023, Springer, 978-3-031-38937-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cameron Moy |
Faster, Simpler Red-Black Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, pp. 36-50, 2023, Springer, 978-3-031-38937-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen |
Sound and Complete Type Inference for Closed Effect Rows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 144-168, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mart Lubbers |
Deep Embedding with Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 39-58, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen |
Towards Efficient Adjustment of Effect Rows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 169-191, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Hartmann, Jeremy Gibbons |
Algorithm Design with the Selection Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 126-143, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cas van der Rest, Casper Bach Poulsen |
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 18-38, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman |
Reducing the Power Consumption of IoT with Task-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 80-99, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Youyou Cong, Kenichi Asai |
Understanding Algebraic Effect Handlers via Delimited Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 59-79, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruslan Shevchenko |
Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 1-17, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tosca Klijnsma, Tim Steenvoorden |
Semantic Equivalence of Task-Oriented Programs in TopHat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 100-125, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Swierstra, Nicolas Wu (eds.) |
Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-031-21313-7 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Damian Frölich, L. Thomas van Binsbergen |
A Generic Back-End for Exploratory Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 24-43, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vít Sefl |
Translating Lambda Calculus into C++ Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 95-115, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yusuf Moosa Motara |
High-Level Modelling for Typed Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 69-94, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer |
Dynamic Editors for Well-Typed Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 44-66, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Melcer, Stephen Chang 0001 |
ProofViz: An Interactive Visual Proof Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 116-135, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Viktória Zsók, John Hughes 0001 (eds.) |
Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-030-83977-2 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philip Munksgaard, Svend Lund Breddam, Troels Henriksen, Fabian Gieseke, Cosmin E. Oancea |
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 3-23, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Sharrad, Olaf Chitil |
Scaling Up Delta Debugging of Type Errors - Category: Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 71-93, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | William J. Bowman, Ronald Garcia (eds.) |
Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-030-47146-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nico Naus, Tim Steenvoorden |
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 47-68, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ruben P. Pieters, Tom Schrijvers |
PaSe: An Extensible and Inspectable DSL for Micro-Animations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 3-24, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aleksander Byrski, John Hughes 0001 (eds.) |
Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-030-57760-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 139-158, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Janin |
An Equational Modeling of Asynchronous Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 180-203, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Willem Seynaeve, Koen Pauwels, Tom Schrijvers |
State Will do. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 204-225, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Immanuel Schiller |
Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 229-248, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Satoru Kawahara, Yukiyoshi Kameyama |
One-Shot Algebraic Effects as Coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 159-179, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Mista, Alejandro Russo |
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 25-46, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Peña, Jaime Sánchez-Hernández |
White-Box Path Generation in Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 121-135, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman 0001, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova |
Flexible Formality Practical Experience with Agile Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 94-120, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Eremondi |
Set Constraints, Pattern Match Analysis, and SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 121-141, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
How to Specify It! - A Guide to Writing Properties of Pure Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 58-83, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Marmaduke, Christopher Jenkins, Aaron Stump |
Quotients by Idempotent Functions in Cedille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 1-20, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michal H. Palka, Magnus O. Myreen (eds.) |
Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-030-18505-3 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank 2 Gradual Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 84-120, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini |
Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 21-37, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chiaki Ishio, Kenichi Asai |
Verifying Selective CPS Transformation for Shift and Reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 38-57, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Van Horn, John Hughes 0001 (eds.) |
Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-030-14804-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin A. T. Handley, Graham Hutton |
Improving Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 114-135, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson |
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 1-19, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wang 0002, Scott Owens (eds.) |
Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-319-89718-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman |
High-Performance Defunctionalisation in Futhark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 136-156, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | J. López-González, Juan M. Serrano |
Towards Optic-Based Algebraic Theories: The Case of Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 74-93, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes |
Saint: An API-Generic Type-Safe Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 94-113, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Folkert de Vries, Jorge A. Pérez 0001 |
Reversible Session-Based Concurrency in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 20-45, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Keir, Andrew Gozillon, Seyed Hossein Haeri |
Intrinsic Currying for C++ Template Metaprograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, pp. 46-73, 2018, Springer, 978-3-030-18505-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Abrahamsson, Magnus O. Myreen |
Automatically Introducing Tail Recursion in CakeML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 118-134, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rikard Hjort, Jakob Holmgren, Christian Persson |
The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 135-148, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev |
Typed Relational Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 39-58, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard |
QuickChecking Patricia Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 59-78, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer |
Maintaining Separation of Concerns Through Task Oriented Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 19-38, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White |
Concurrent System Programming with Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 98-117, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens |
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 79-97, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev |
Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 1-18, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Headley, Matthew A. Hammer |
The Random Access Zipper - Simple, Persistent Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 155-171, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark Grebe, Andy Gill |
Threading the Arduino with Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 135-154, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nico Naus, Peter Thiemann 0001 |
Dynamic Flow Analysis for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 75-93, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nico Naus, Johan Jeuring |
Building a Generic Feedback System for Rule-Based Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 172-191, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Vaugon, Michel Mauny |
A Type Inference System Based on Saturation of Subtyping Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 94-112, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani |
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 44-58, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano, Jurriaan Hage (eds.) |
Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![Springer, 978-3-319-39109-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest |
Cactus Environment Machine - Shared Environment Call-by-Need. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 24-43, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Arvidsson, Moa Johansson, Robin Touche |
Proving Type Class Laws for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 61-74, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Greenberg 0002 |
Space-Efficient Latent Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 3-23, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Guneratne, Chad Reynolds, Aaron Stump |
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 115-134, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thijs Alkemade, Johan Jeuring |
Type Class Instances for Type-Level Lambdas in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 60-84, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 85-103, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anders Persson, Emil Axelsson |
Programmable Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 124-135, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emil Axelsson, Andrea Vezzosi |
Lightweight Higher-Order Rewriting in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 1-21, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clara Benac Earle, Lars-Åke Fredlund |
Functional Testing of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 40-59, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Rinus Plasmeijer |
A Shallow Embedded Type Safe Extendable DSL for the Arduino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 104-123, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Fowler, Graham Hutton |
Towards a Theory of Reach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 22-39, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Dubois, François Pessaux |
Termination Proofs for Recursive Functions in FoCaLiZe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 136-156, 2015, Springer, 978-3-319-39109-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|