| 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.  |
TFP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Marmaduke, Larry Diehl, Aaron Stump |
Impredicative Encodings of Inductive-Inductive Data in Cedille. |
TFP |
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 |
TFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Prashant Kumar, Martin Erwig |
MatchMaker: A DSL for Game-Theoretic Matching. |
TFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hemann, Daniel P. Friedman |
Nearly Macro-free microKanren. |
TFP |
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. |
TFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cameron Moy |
Faster, Simpler Red-Black Trees. |
TFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen |
Sound and Complete Type Inference for Closed Effect Rows. |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mart Lubbers |
Deep Embedding with Class. |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen |
Towards Efficient Adjustment of Effect Rows. |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Hartmann, Jeremy Gibbons |
Algorithm Design with the Selection Monad. |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas van der Rest, Casper Bach Poulsen |
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman |
Reducing the Power Consumption of IoT with Task-Oriented Programming. |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Youyou Cong, Kenichi Asai |
Understanding Algebraic Effect Handlers via Delimited Control Operators. |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruslan Shevchenko |
Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream? |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tosca Klijnsma, Tim Steenvoorden |
Semantic Equivalence of Task-Oriented Programs in TopHat. |
TFP |
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 |
TFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Frölich, L. Thomas van Binsbergen |
A Generic Back-End for Exploratory Programming. |
TFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Sefl |
Translating Lambda Calculus into C++ Templates. |
TFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuf Moosa Motara |
High-Level Modelling for Typed Functional Programming. |
TFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer |
Dynamic Editors for Well-Typed Expressions. |
TFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Melcer, Stephen Chang 0001 |
ProofViz: An Interactive Visual Proof Explorer. |
TFP |
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 |
TFP |
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. |
TFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Sharrad, Olaf Chitil |
Scaling Up Delta Debugging of Type Errors - Category: Research. |
TFP |
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 |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Naus, Tim Steenvoorden |
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben P. Pieters, Tom Schrijvers |
PaSe: An Extensible and Inspectable DSL for Micro-Animations. |
TFP |
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 |
TFP |
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. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Janin |
An Equational Modeling of Asynchronous Concurrent Programming. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Seynaeve, Koen Pauwels, Tom Schrijvers |
State Will do. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Immanuel Schiller |
Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoru Kawahara, Yukiyoshi Kameyama |
One-Shot Algebraic Effects as Coroutines. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Mista, Alejandro Russo |
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Peña, Jaime Sánchez-Hernández |
White-Box Path Generation in Recursive Programs. |
TFP |
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. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Eremondi |
Set Constraints, Pattern Match Analysis, and SMT. |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hughes 0001 |
How to Specify It! - A Guide to Writing Properties of Pure Functions. |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Marmaduke, Christopher Jenkins, Aaron Stump |
Quotients by Idempotent Functions in Cedille. |
TFP |
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 |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank 2 Gradual Intersection Types. |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker. |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Ishio, Kenichi Asai |
Verifying Selective CPS Transformation for Shift and Reset. |
TFP |
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 |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin A. T. Handley, Graham Hutton |
Improving Haskell. |
TFP |
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. |
TFP |
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 |
TFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman |
High-Performance Defunctionalisation in Futhark. |
TFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | J. López-González, Juan M. Serrano |
Towards Optic-Based Algebraic Theories: The Case of Lenses. |
TFP |
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. |
TFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Folkert de Vries, Jorge A. Pérez 0001 |
Reversible Session-Based Concurrency in Haskell. |
TFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Keir, Andrew Gozillon, Seyed Hossein Haeri |
Intrinsic Currying for C++ Template Metaprograms. |
TFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Oskar Abrahamsson, Magnus O. Myreen |
Automatically Introducing Tail Recursion in CakeML. |
TFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rikard Hjort, Jakob Holmgren, Christian Persson |
The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler. |
TFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev |
Typed Relational Conversion. |
TFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard |
QuickChecking Patricia Trees. |
TFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer |
Maintaining Separation of Concerns Through Task Oriented Software Development. |
TFP |
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. |
TFP |
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. |
TFP |
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. |
TFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyle Headley, Matthew A. Hammer |
The Random Access Zipper - Simple, Persistent Sequences. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Grebe, Andy Gill |
Threading the Arduino with Haskell. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Naus, Peter Thiemann 0001 |
Dynamic Flow Analysis for JavaScript. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Naus, Johan Jeuring |
Building a Generic Feedback System for Rule-Based Problems. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Vaugon, Michel Mauny |
A Type Inference System Based on Saturation of Subtyping Constraints. |
TFP |
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. |
TFP |
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 |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest |
Cactus Environment Machine - Shared Environment Call-by-Need. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Arvidsson, Moa Johansson, Robin Touche |
Proving Type Class Laws for Haskell. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Greenberg 0002 |
Space-Efficient Latent Contracts. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Guneratne, Chad Reynolds, Aaron Stump |
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thijs Alkemade, Johan Jeuring |
Type Class Instances for Type-Level Lambdas in Haskell. |
TFP |
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. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Persson, Emil Axelsson |
Programmable Signatures. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Axelsson, Andrea Vezzosi |
Lightweight Higher-Order Rewriting in Haskell. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Benac Earle, Lars-Åke Fredlund |
Functional Testing of Java Programs. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Rinus Plasmeijer |
A Shallow Embedded Type Safe Extendable DSL for the Arduino. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Fowler, Graham Hutton |
Towards a Theory of Reach. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, François Pessaux |
Termination Proofs for Recursive Functions in FoCaLiZe. |
TFP |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license