yusuke1997/dblp-id-title huggingface dataset:
Building embedded systems with embedded DSLs
Modelling String Folding with G2L Grammars
An embedded DSL for stochastic processes: research article
Lazy tree splitting
A lambda-calculus foundation for universal probabilistic programming
Efficient compilation of tail calls and continuations to JavaScript
Which simple types have a unique inhabitant?
Secure distributed programming with value-dependent types
LVars: lattice-based data structures for deterministic parallelism
N queens problem: a metaprogramming stress test for the compiler
Protien Folding meets Functional Programming
Arrp: a functional language with multi-dimensional signals and recurrence equations
An efficient implementation of tiled polymorphic temporal media
Embedding F
Building Program Optimizers with Rewriting Strategies
Discriminative sum types locate the source of type errors
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
From process logic to program logic
Folding domain-specific languages: deep and shallow embeddings (functional Pearl)
FAUST tutorial for functional programmers
Generating generic functions
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness
Denotational cost semantics for functional languages with inductive types
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007
Soft contract verification
The T-calculus: towards a structured programing of (musical) time and space
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001
Recursive subtyping revealed: functional pearl
Type-specialized staged programming with process separation
Non-parametric parametricity
Explicitly heterogeneous metaprogramming with MetaHaskell
Generic multiset programming for language-integrated querying
Polytypic properties and proofs in Coq
o.OM: structured-functional communication between computer music systems using OSC and Odot
Safe zero-cost coercions for Haskell
On the bright side of type classes: instance arguments in Agda
Functional formal methods
Intensional Polymorphism in Type-Erasure Semantics
XQuery and static typing: tackling the problem of backward axes
Parametricity and dependent types
Demo: kaleidogen
Nameless, painless
Backtracking, interleaving, and terminating monad transformers: (functional pearl)
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
Worker/wrapper/makes it/faster
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
A new verified compiler backend for CakeML
Distilling abstract machines
Functional programming and hardware design: still interesting after all these years
Using scheme to control simulated modular robots
Bluespec and Haskell
Compiling regular patterns
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2021, Virtual Event, Korea, August 22, 2021
Frob - Functional Robotics
Shortcut fusion for accumulating parameters & zip-like functions
Seeing the futures: profiling shared-memory parallel racket
Meta-programming through typeful code representation
Interactive visual functional programming
Compiling scheme to JVM bytecode: : a performance study
The constrained-monad problem
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming
Strongly Typed Flow-Directed Representation Transformations
Functional programming for dynamic and large data with self-adjusting computation
APLicative programming with Naperian functors (extended abstract)
A fast compiler for NetKAT
A T2 graph-reduction approach to fusion
Scrap++: scrap your boilerplate in C++
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code
A traversal-based algorithm for higher-order model checking
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010
Distributed Programming, a Purely Functional Approach
Charting Patterns on Price History
Defunctionalizing push arrays
NNdef: livecoding digital musical instruments in SuperCollider using functional reactive programming
Generic datatypes à la carte
String diagrams for free monads (functional pearl)
Boxy types: inference for higher-rank types and impredicativity
Generic lookup and update for infinitary inductive-recursive types
Dag-calculus: a calculus for parallel computation
Exception analysis for non-strict languages
A theory of typed coercions and its applications
LambdaJIT: a dynamic compiler for heterogeneous optimizations of STL algorithms
Type-based parametric analysis of program families
The reduceron reconfigured
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism
Making programming languages to dance to: live coding with tidal
Oh Lord, please don't let contracts be misunderstood (functional pearl)
Modular typechecking for hierarchically extensible datatypes and functions
Elaborator reflection: extending Idris in Idris
Bidirectionalizing graph transformations
Dependently typed programming with finite sets
A language-based approach to functionally correct imperative programming
Using formal methods to enable more secure vehicles: DARPA's HACMS program
Typed iterators for XML
Using circular programs for higher-order syntax: functional pearl
Dependent type providers
Optimizing abstract abstract machines
Propositions as sessions
NixOS: a purely functional Linux distribution
Space profiling for parallel functional programs
The manticore project
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009
GALE: a functional graphic adventure library and engine
Algebraic effects and effect handlers for idioms and arrows
JIT costing adaptive skeletons for performance portability
Strategies for regular segmented reductions on GPU
Computing persistent homology in Futhark
Type-safe diff for families of datatypes
Geometry of synthesis iv: compiling affine recursion into static hardware
There is no fork: an abstraction for efficient, concurrent, and concise data access
Multi-return function call
A unified category-theoretic formulation of typed binding signatures
Generic level polymorphic n-ary functions
How to keep your neighbours in order
Compositional References for Stateful Functional Programming
Binders unbound
Formal verification of monad transformers
Optimising purely functional GPU programs
Exploiting vector instructions with generalized stream fusio
Just do it: simple monadic equational reasoning
Experience report: embedded, parallel computer-vision with a functional DSL
Expressing contract monitors as patterns of communication
Static Interpretation of Modules
FARM 2016 demo summary
Using functional languages to facilitate C++ metaprogramming
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006
Context-parametric polykinded types
A pattern for almost compositional functions
Generic representations of tree transformations
Algorithms for traversal-based generic programming
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014
A GUI on Top of a Functional Language
Type-theoretic design patterns
Generic conversions of abstract syntax representations
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms
Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016
Hoare-style reasoning with (algebraic) continuations
Fully abstract compilation via universal embedding
A nanopass framework for commercial compiler development
Deconstraining DSLs
Adding delimited and composable control to a production programming environment
Compiling with continuations, continued
Generic partially-static data (extended abstract)
Don't make the wrong mistakes: programming as debugging
Polarized data parallel data flow
Romeo: a system for more flexible binding-safe programming
Optimizing closures in O(0) time
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage
System FC with explicit kind equality
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking
Verified heap theorem prover by paramodulation
Down with Emacs Lisp: Dynamic Scope Analysis
A Dependently Typed Assembly Language
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008
Polymorphism and separation in hoare type theory
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
Ynot: dependent types for imperative programs
Verified decision procedures for MSO on words based on derivatives of regular expressions
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997
Practical and effective higher-order optimizations
Static and Dynamic Partitioning of Pointers as Links and Threads
Write it recursively: a generic framework for optimal path queries
First-class isomorphic specialization by staged evaluation
Functional geometry and the Traité de Lutherie: functional pearl
Semantics-preserving data layout transformations for improved vectorisation
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
Fast narrowing-driven partial evaluation for inductively sequential programs
Efficient divide-and-conquer parsing of practical context-free languages
The C - compiler infrastructure
Refinement through restraint: bringing down the cost of verification
Deriving Structural Hylomorphisms From Recursive Definitions
Implementing Design Patterns as Language Constructs
Access control in a core calculus of dependency
A unification algorithm for Coq featuring universe polymorphism and overloading
C-SHORe: a collapsible approach to higher-order verification
Typing, representing, and abstracting control: functional pearl
A relational framework for higher-order shape analysis
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2019, Berlin, Germany, August 18-23, 2019
LAND*: an AND with local bindings, a guarded LET* special form
Trampolined Style
The influence of browsers on evaluators or, continuations to program web servers
VeriML: typed computation of logical terms inside a language with effects
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs
ML: metalanguage or object language?
Histo- and dynamorphisms revisited
From Fast Exponentiation to Square Matrices: An Adventure in Types
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2023, Seattle, WA, USA, 4 September 2023
Generic Unification via Two-Level Types and Parameterized Modules
Solving SICP: An Experience Report on Solving the World's Most Famous Programming Problem Set
Contification Using Dominators
Formal Models of Distributed Memory Management
A scheduling framework for general-purpose parallel languages
Liberating effects with rows and handlers
Functional generation of harmony and melody
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier
Scrap your zippers: a generic zipper for heterogeneous types
Functional pearl: a smart view on datatypes
Lightweight monadic programming in ML
Partial aborts for transactions via first-class continuations
Improving the static analysis of embedded languages via partial evaluation
Icicle: write once, run once
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?
Exploring melody space in a live context using declarative functional programming
Demo: functors and music
Juniper: a functional reactive programming language for the Arduino
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl)
Abstraction preservation and subtyping in distributed languages
Type classes with more higher-order polymorphism
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons
Type Dispatch for Named Hierarchical Types
Simple unification-based type inference for GADTs
A formal treatment of the barendregt variable convention in rule inductions
Causal commutative arrows and their optimization
Automating Derivation of Incremental Programs
Leveling up dependent types: generic programming over a predicative hierarchy of universes
Journey to find bugs in JavaScript web applications in the wild
Composing monads using coproducts
Flexible Type Analysis
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
Modular acceleration: tricky cases of functional high-performance computing
Security-typed programming within dependently typed programming
Static typing for a faulty lambda calculus
From ML to ML F : graphic type constraints with efficient type inference
Structures for structural recursion
Teaching functional programming with soccer-fun
The Development of Erlang
Hygienic quasiquotation in scheme
Functional pearl: the great escape or, how to jump the border without getting caught
A modal foundation for meta-variables
Purely functional lazy non-deterministic programming
A functional I/O system or, fun for freshman kids
QuickCheck: a lightweight tool for random testing of Haskell programs
Feedback directed implicit parallelism
A New Notation for Arrows
A logical analysis of aliasing in imperative higher-order functions
Combining syntactic and semantic bidirectionalization
Program-ing finger trees in Coq
Csound-expression: Haskell framework for computer music
Reasoning about recursive procedures with parameters
The functional guts of the Kleisli query system
biXid: a bidirectional transformation language for XML
JavaScript at ten years
Unifying structured recursion schemes
Regular expression types for XML
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction
ReCaml: execution state as the cornerstone of reconfigurations
Possibilities and Limitations of Call-by-Need Space Improvement
Scrap more boilerplate: reflection, zips, and generalised casts
Type Fixpoints: Iteration vs. Recursion
Programming with Petri Nets to Reason about Concurrency
Towards an automatic complexity analysis for generic programs
A Hoare logic style refinement types formalisation
Recursive monadic bindings
Verbose Typing
Tagless staged interpreters for typed languages
Typed compilation of inclusive subtyping
Disjunctive normal forms and local exceptions
Type-theory in color
Good advice for type-directed programming aspect-oriented programming and extensible generic functions
A type theory for incremental computational complexity with control flow changes
Forest: a language and toolkit for programming with filestores
User-friendly functional programming for web mashups
A robot in every classroom: robots and functional programming across the curriculum
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation
Call-pattern specialisation for haskell programs
Fun with interfaces (SVG interfaces for musical expression)
The right kind of generic programming
A Term Calculus for Unitary Approach to Nomalization
Tangible functional programming
Arrows Are Strong Monads
Design patterns as higher-order datatype-generic programs
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
Beautiful differentiation
Algebraic fusion of functions with an accumulating parameter and its improvement
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015
MinCaml: a simple and efficient compiler for a minimal functional language
Atomic Heap Transactions and Fine-grain Interrupts
Types for path correctness of XML queries
Type Specialization for Imperative Languages
Hygienic resugaring of compositional desugaring
Generate and offshore: type-safe and modular code generation for low-level optimization
FARM 2018 performances
A Type Based Sharing Analysis for Update Avoidance and Optimisation
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003
HLIO: mixing static and dynamic typing for information-flow control in Haskell
A theory of gradual effect systems
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017
Inductive, Coinductive, and Pointed Types
Efficient communication and collection with compact normal forms
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
Balanced trees inhabiting functional parallel programming
Representing music with prefix trees
Typed self-interpretation by pattern matching
Modular Object-Oriented Programming with Units and Mixins
Temporal higher-order contracts
A Simple Proof Technique for Certain Parametricity Results
FPH: first-class polymorphism for Haskell
Hierarchical memory management for parallel programs
Work efficient higher-order vectorisation
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019
Agda-curious?: an exploration of programming with dependent types
A multivalued language with a dependent type system
TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022
A type system for recursive modules
Implementing Typed Intermediate Languages
A Lazy CGI Namespace in Scheme
Matching lenses: alignment and view update
Deciding k CFA is complete for EXPTIME
Simple Semantic Analysis Problems for Functional Programs
Functional Array Fusion
Type Errors Confuse the Programmer (Poster Abstract)
An interoperable calculus for external object access
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
Sharing Code through First-class Environments
Parametric datatype-genericity
Using functional programming within an industrial product group: perspectives and perceptions
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012
Catenable Double-Ended Queues
Representing reductions of NP-complete problems in logical frameworks: a case study
A semantic model for graphical user interfaces
Type inference for the spine view of data
Verification of safety properties for concurrent assembly code
Tips on teaching types and functions
Generic packet descriptions: verified parsing and pretty printing of low-level data
Experience report: Haskell in computational biology
Set-theoretic foundation of parametric polymorphism and subtyping
Representing Java Classes in a Typed Intermediate Language
TeachScheme!: a checkpoint
SICP JS: Ketchup on Caviar?
Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes
On the Complexity of Set-Based Analysis
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud
Program verification through characteristic formulae
Programming mixed music in ReactiveML
Paradise: a two-stage DSL embedded in Haskell
FranTk - a declarative GUI language for Haskell
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
Generic programming with fixed points for mutually recursive datatypes
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming
Breadth-first numbering: lessons from a small exercise in algorithm design
Experience report: a do-it-yourself high-assurance compiler
Automatic SIMD vectorization for Haskell
A simpler encoding of indexed types
YALE: Yet Another Lambda Evaluator Based on Interaction Nets
Functional reactive programming with liveness guarantees
Safe functional reactive programming through dependent types
Automatically disproving fair termination of higher-order functional programs
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence
Strongly bounded termination with applications to security and hardware synthesis
Indexed codata types
Scalan: a framework for domain-specific hotspot optimization (invited tutorial)
The duality of computation
Foundational Program Verification in Coq with Automated Proofs
Fun with semirings: a functional pearl on the abuse of linear algebra
Practical proofs of concurrent programs
Adaptive lock-free maps: purely-functional to scalable
Type inference, principal typings, and let-polymorphism for first-class mixin modules
In search of a map: using program slicing to discover potential parallelism in recursive functions
A functional model of jazz improvisation
Subtyping and intersection types revisited
HMF: simple type inference for first-class polymorphism
[Demo abstract] Music suite: a family of musical representations
Towards more natural functional programming languages
Associated type synonyms
Parallel discrete event simulation with Erlang
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM@ICFP 2013, Boston, MA, USA, September 25-27, 2013
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms
An object-oriented approach to datatype-generic programming
Implicit phasing for R6RS libraries
Efficient lookup-table protocol in secure multiparty computation
Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious
Functional Style in C++: Closures, Late Binding, and Lambda Abstractions
Driving types into PHP (invited talk)
Functional Programming and Attribute Grammars Deforestation
Functional pearl: every bit counts
Software is discrete mathematics
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012
Experience report: using functional programming to manage a linux distribution
Contracts for higher-order functions
Polytypic programming in COQ
Concurrent NetCore: from policies to pipelines
Delimited dynamic binding
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012
Program synthesis: opportunities for the next decade
Functional Back-Ends within the Lambda-Sigma Calculus
Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016
Shape-Constrained Array Programming with Size-Dependent Types
HELIX: a case study of a formal verification of high performance program generation
Composable and compilable macros: : you want it when?
Functional netlists