Search results for "TFP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Sagnik Nandy, Xiaofeng Gao 0003, Jeanne Ferrante	TFP: Time-Sensitive, Flow-Specific Profiling at Runtime.	LCPC	2003	DBLP DOI BibTeX RDF	run-time optimization, Profiling, dynamic compilation
71	Long Jin 0005, Yongmi Lee, Sungbo Seo, Keun Ho Ryu	Discovery of Temporal Frequent Patterns Using TFP-Tree.	WAIM	2006	DBLP DOI BibTeX RDF
71	Jianyong Wang 0001, Jiawei Han 0001, Ying Lu 0001, Petre Tzvetkov	TFP: An Efficient Algorithm for Mining Top-K Frequent Closed Itemsets.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
66	Paul A. Bailes, Colin J. M. Kemp	Obstacles to a Totally Functional Programming Style.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
61	Panayotis G. Michaelides, Kostas Theologou, Angelos T. Vouldis	European Airlines' TFP and the 2001 Attack: Towards Safety in a Risk Society.	Complex (2)	2009	DBLP DOI BibTeX RDF	European air transport, TFP, 2001 terrorist attack, safety state, production function
52	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
52	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
52	Andrew Marmaduke, Larry Diehl, Aaron Stump	Impredicative Encodings of Inductive-Inductive Data in Cedille.	TFP	2023	DBLP DOI BibTeX RDF
52	Prashant Kumar, Martin Erwig	MatchMaker: A DSL for Game-Theoretic Matching.	TFP	2023	DBLP DOI BibTeX RDF
52	Jason Hemann, Daniel P. Friedman	Nearly Macro-free microKanren.	TFP	2023	DBLP DOI BibTeX RDF
52	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
52	Cameron Moy	Faster, Simpler Red-Black Trees.	TFP	2023	DBLP DOI BibTeX RDF
52	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
52	Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen	Sound and Complete Type Inference for Closed Effect Rows.	TFP	2022	DBLP DOI BibTeX RDF
52	Mart Lubbers	Deep Embedding with Class.	TFP	2022	DBLP DOI BibTeX RDF
52	Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen	Towards Efficient Adjustment of Effect Rows.	TFP	2022	DBLP DOI BibTeX RDF
52	Johannes Hartmann, Jeremy Gibbons	Algorithm Design with the Selection Monad.	TFP	2022	DBLP DOI BibTeX RDF
52	Cas van der Rest, Casper Bach Poulsen	Towards a Language for Defining Reusable Programming Language Components - (Project Paper).	TFP	2022	DBLP DOI BibTeX RDF
52	Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman	Reducing the Power Consumption of IoT with Task-Oriented Programming.	TFP	2022	DBLP DOI BibTeX RDF
52	Youyou Cong, Kenichi Asai	Understanding Algebraic Effect Handlers via Delimited Control Operators.	TFP	2022	DBLP DOI BibTeX RDF
52	Ruslan Shevchenko	Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream?	TFP	2022	DBLP DOI BibTeX RDF
52	Tosca Klijnsma, Tim Steenvoorden	Semantic Equivalence of Task-Oriented Programs in TopHat.	TFP	2022	DBLP DOI BibTeX RDF
52	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
52	Damian Frölich, L. Thomas van Binsbergen	A Generic Back-End for Exploratory Programming.	TFP	2021	DBLP DOI BibTeX RDF
52	Vít Sefl	Translating Lambda Calculus into C++ Templates.	TFP	2021	DBLP DOI BibTeX RDF
52	Yusuf Moosa Motara	High-Level Modelling for Typed Functional Programming.	TFP	2021	DBLP DOI BibTeX RDF
52	Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer	Dynamic Editors for Well-Typed Expressions.	TFP	2021	DBLP DOI BibTeX RDF
52	Daniel Melcer, Stephen Chang 0001	ProofViz: An Interactive Visual Proof Explorer.	TFP	2021	DBLP DOI BibTeX RDF
52	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
52	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
52	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
52	Joanna Sharrad, Olaf Chitil	Scaling Up Delta Debugging of Type Errors - Category: Research.	TFP	2020	DBLP DOI BibTeX RDF
52	Nico Naus, Tim Steenvoorden	Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution.	TFP	2020	DBLP DOI BibTeX RDF
52	Ruben P. Pieters, Tom Schrijvers	PaSe: An Extensible and Inspectable DSL for Micro-Animations.	TFP	2020	DBLP DOI BibTeX RDF
52	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
52	David Janin	An Equational Modeling of Asynchronous Concurrent Programming.	TFP	2020	DBLP DOI BibTeX RDF
52	Willem Seynaeve, Koen Pauwels, Tom Schrijvers	State Will do.	TFP	2020	DBLP DOI BibTeX RDF
52	Lukas Immanuel Schiller	Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data.	TFP	2020	DBLP DOI BibTeX RDF
52	Satoru Kawahara, Yukiyoshi Kameyama	One-Shot Algebraic Effects as Coroutines.	TFP	2020	DBLP DOI BibTeX RDF
52	Agustín Mista, Alejandro Russo	BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs.	TFP	2020	DBLP DOI BibTeX RDF
52	Ricardo Peña, Jaime Sánchez-Hernández	White-Box Path Generation in Recursive Programs.	TFP	2020	DBLP DOI BibTeX RDF
52	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
52	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
52	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
52	Joseph Eremondi	Set Constraints, Pattern Match Analysis, and SMT.	TFP	2019	DBLP DOI BibTeX RDF
52	John Hughes 0001	How to Specify It! - A Guide to Writing Properties of Pure Functions.	TFP	2019	DBLP DOI BibTeX RDF
52	Andrew Marmaduke, Christopher Jenkins, Aaron Stump	Quotients by Idempotent Functions in Cedille.	TFP	2019	DBLP DOI BibTeX RDF
52	Pedro Ângelo 0002, Mário Florido	Type Inference for Rank 2 Gradual Intersection Types.	TFP	2019	DBLP DOI BibTeX RDF
52	Matteo Cimini	Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker.	TFP	2019	DBLP DOI BibTeX RDF
52	Chiaki Ishio, Kenichi Asai	Verifying Selective CPS Transformation for Shift and Reset.	TFP	2019	DBLP DOI BibTeX RDF
52	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
52	Martin A. T. Handley, Graham Hutton	Improving Haskell.	TFP	2018	DBLP DOI BibTeX RDF
52	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
52	Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman	High-Performance Defunctionalisation in Futhark.	TFP	2018	DBLP DOI BibTeX RDF
52	J. López-González, Juan M. Serrano	Towards Optic-Based Algebraic Theories: The Case of Lenses.	TFP	2018	DBLP DOI BibTeX RDF
52	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
52	Folkert de Vries, Jorge A. Pérez 0001	Reversible Session-Based Concurrency in Haskell.	TFP	2018	DBLP DOI BibTeX RDF
52	Paul Keir, Andrew Gozillon, Seyed Hossein Haeri	Intrinsic Currying for C++ Template Metaprograms.	TFP	2018	DBLP DOI BibTeX RDF
52	Oskar Abrahamsson, Magnus O. Myreen	Automatically Introducing Tail Recursion in CakeML.	TFP	2017	DBLP DOI BibTeX RDF
52	Rikard Hjort, Jakob Holmgren, Christian Persson	The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler.	TFP	2017	DBLP DOI BibTeX RDF
52	Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev	Typed Relational Conversion.	TFP	2017	DBLP DOI BibTeX RDF
52	Jan Midtgaard	QuickChecking Patricia Trees.	TFP	2017	DBLP DOI BibTeX RDF
52	Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer	Maintaining Separation of Concerns Through Task Oriented Software Development.	TFP	2017	DBLP DOI BibTeX RDF
52	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
52	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
52	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
52	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
52	Kyle Headley, Matthew A. Hammer	The Random Access Zipper - Simple, Persistent Sequences.	TFP	2016	DBLP DOI BibTeX RDF
52	Mark Grebe, Andy Gill	Threading the Arduino with Haskell.	TFP	2016	DBLP DOI BibTeX RDF
52	Nico Naus, Peter Thiemann 0001	Dynamic Flow Analysis for JavaScript.	TFP	2016	DBLP DOI BibTeX RDF
52	Nico Naus, Johan Jeuring	Building a Generic Feedback System for Rule-Based Problems.	TFP	2016	DBLP DOI BibTeX RDF
52	Benoît Vaugon, Michel Mauny	A Type Inference System Based on Saturation of Subtyping Constraints.	TFP	2016	DBLP DOI BibTeX RDF
52	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
52	George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest	Cactus Environment Machine - Shared Environment Call-by-Need.	TFP	2016	DBLP DOI BibTeX RDF
52	Andreas Arvidsson, Moa Johansson, Robin Touche	Proving Type Class Laws for Haskell.	TFP	2016	DBLP DOI BibTeX RDF
52	Michael Greenberg 0002	Space-Efficient Latent Contracts.	TFP	2016	DBLP DOI BibTeX RDF
52	Ananda Guneratne, Chad Reynolds, Aaron Stump	Project Report: Dependently Typed Programming with Lambda Encodings in Cedille.	TFP	2016	DBLP DOI BibTeX RDF
52	Thijs Alkemade, Johan Jeuring	Type Class Instances for Type-Level Lambdas in Haskell.	TFP	2015	DBLP DOI BibTeX RDF
52	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
52	Anders Persson, Emil Axelsson	Programmable Signatures.	TFP	2015	DBLP DOI BibTeX RDF
52	Emil Axelsson, Andrea Vezzosi	Lightweight Higher-Order Rewriting in Haskell.	TFP	2015	DBLP DOI BibTeX RDF
52	Clara Benac Earle, Lars-Åke Fredlund	Functional Testing of Java Programs.	TFP	2015	DBLP DOI BibTeX RDF
52	Pieter W. M. Koopman, Rinus Plasmeijer	A Shallow Embedded Type Safe Extendable DSL for the Arduino.	TFP	2015	DBLP DOI BibTeX RDF
52	Jonathan Fowler, Graham Hutton	Towards a Theory of Reach.	TFP	2015	DBLP DOI BibTeX RDF
52	Catherine Dubois, François Pessaux	Termination Proofs for Recursive Functions in FoCaLiZe.	TFP	2015	DBLP DOI BibTeX RDF
51	Peter Achten, Heather Miller (eds.)	Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018.	TFPIE@TFP	2019	DBLP DOI BibTeX RDF
51	Simon Thompson (eds.)	Proceedings Sixth Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017.	TFPIE@TFP	2018	DBLP BibTeX RDF
51	Marco T. Morazán	Vector Programming Using Generative Recursion.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
51	Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu	Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
51	Marco T. Morazán, Josephine A. Des Rosiers	FSM Error Messages.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
51	Per Lindgren, Marcus Lindner, Nils Fitinghoff	Introducing Certified Compilation in Education by a Functional Language Approach.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
51	Tsukino Furukawa, Youyou Cong, Kenichi Asai	Stepping OCaml.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
51	Boldizsár Németh, Eunjong Choi, Erina Makihara, Hajimu Iida	Investigating Compilation Errors of Students Learning Haskell.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
51	Stephen Adams	Teaching Erlang through the Internet: An Experience Report.	TFPIE@TFP	2017	DBLP DOI BibTeX RDF
51	Curtis D'Alves, Tanya Bouman, Christopher Schankula, Jenell Hogg, Levin Noronha, Emily Horsman, Rumsha Siddiqui, Christopher Kumar Anand	Using Elm to Introduce Algebraic Thinking to K-8 Students.	TFPIE@TFP	2017	DBLP DOI BibTeX RDF
51	Marco T. Morazán	Vector Programming Using Structural Recursion.	TFPIE@TFP	2017	DBLP DOI BibTeX RDF
51	Jeremy Singer, Blair Archibald	Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers.	TFPIE@TFP	2017	DBLP DOI BibTeX RDF
44	Keshri Verma, Om Prakash Vyas, Ranjana Vyas	Temporal Approach to Association Rule Mining Using T-Tree and P-Tree.	MLDM	2005	DBLP DOI BibTeX RDF
44	Benjamin B. M. Shao, Wesley S. Shu	Productivity Breakdown of the Information Technology Industries across Countries.	HICSS	2003	DBLP DOI BibTeX RDF
44	Frans Coenen, Paul H. Leng	Finding Association Rules with Some Very Frequent Attributes.	PKDD	2002	DBLP DOI BibTeX RDF	Dense data, Association Rules, Frequent sets