yusuke1997/dblp-id-title huggingface dataset:
Continuations from generalized stack inspection
Screaming in the IO monad: a realtime audio processing and control experiment in Haskell
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL
Partial memoization of concurrency and communication
Program generation, termination, and binding-time analysis
OCaml + XDuce
Structured reactive programming with polymorphic temporal tiles
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018
A Calculus of Inductive Linear Constructions
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021
Combining Dependency, Grades, and Adjoint Logic
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell
A theory of aspects
Functional programming through deep time: modeling the first complex ecosystems on earth
ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013
Scala for generic programmers
Regular expression patterns
Toward a general theory of names: binding and scope
Encoding Types in ML-Like Languages
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
Automatic generation of efficient codes from mathematical descriptions of stencil computation
FARM 2017 demo summary
Krivine nets: a semantic foundation for distributed execution
Functional array streams
Call-by-value is dual to call-by-name
Storage Use Analysis and its Applications
The Semantics of Scheme with Future
Meeting a fanclub: a lattice of generic shape selectors
Authenticated modular maps in Haskell
A comparison of c++ concepts and haskell type classes
Witnessing side-effects
Algebras and coalgebras in the light affine Lambda calculus
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful
Mechanising Hankin and Barendregt using the Gordon-Melham axioms
Shake before building: replacing make with haskell
Translating specifications from nominal logic to CIC with the theory of contexts
How to do proofs: practically proving properties about effectful programs' results (functional pearl)
Non-stop Haskell
A sufficiently smart compiler for procedural records
Global abstraction-safe marshalling with hash types
Analysis and Caching of Dependencies
Parallelism-preserving automatic differentiation for second-order array languages
Video presentation of Functor : Lens : : Applicative : Biplate: Introducing Multiplate
A glimpse of Hopjs
Practical SMT-based type error localization
Abstracting abstract machines
Programming and reasoning with algebraic effects and dependent types
Experience report: scheme in commercial web application development
Modular and automated type-soundness verification for language extensions
Lava: Hardware Design in Haskell
Total parser combinators
Towards a streaming model for nested data parallelism
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk)
Compositional data types
Compositional computational constructive critique: or, how my computer learned to appreciate poetry
Pattern minimization problems over recursive data types
FreshML: programming with binders made simple
Teaching of image synthesis in functional style
Monadic augment and generalised short cut fusion
mimium: a self-extensible programming language for sound and music
Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis
Constraint-based type-directed program synthesis
Simple and compositional reification of monadic embedded languages
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019
Lazy data-oriented evaluation strategies
pHluid: The Design of a Parallel Functional Language Implementation on Workstations
Compositional deep learning in Futhark
Fusing filters with integer linear programming
Harnessing parallelism in FPGAs using the hume language
Improving flow analyses via GammaCFA: abstract garbage collection and counting
Compact bit encoding schemes for simply-typed lambda-terms
LiveCodeLab 2.0 and its language LiveCodeLang
Scheme on the web and in the classroom: a retrospective about the LAML project
Tic tac types: a gentle introduction to dependently typed programming (functional pearl)
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems
Making standard ML a practical database programming language
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002
Dynamic rebinding for marshalling and update, with destruct-time?
Moodler: a digital modular synthesiser with an analogue user interface
Type-safe higher-order channels in ML-like languages
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming
The missing link: dynamic components for ML
Functional pearl: two can keep a secret, if one of them uses Haskell
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax
Translating dependency into parametricity
MAP: A Functional Analysis and Design Method
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996
Fifteen years of functional pearls
Generic Validation of Structural Content with Parametric Modules
A definitional approach to primitivexs recursion over higher order abstract syntax
Financial software on GPUs: between Haskell and Fortran
Programming with monadic CSP-style processes in dependent type theory
Generic selections of subexpressions
Hereditary Substitutions for Simple Types, Formalized
Mechanizing the meta-theory of programming languages
From ML type inference to stratified type inference
Let-floating: Moving Bindings to Give Faster Programs
Automatic Generation of Staged Geometric Predicates
Type-safe cast: functional pearl
Structural refinement types
Monadic regions
Combining programming with theorem proving
Compiling Standard ML to Java Bytecodes
Usage of generic programming on hackage: experience report
Parsing with derivatives: a functional pearl
Analysing the complexity of functional programs: higher-order meets first-order
Compiling self-adjusting programs with continuations
Using fusion to enable late design decisions for pipelined computations
Experience report: a Haskell interpreter for cellML
True sums of products
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
Conservation of information: applications in functional, reversible, and quantum computing
Evaluating high-level distributed language constructs
Diagrams: a functional EDSL for vector graphics
Disjoint intersection types
Compositional semantics for composable continuations: from abortive to delimited control
Bootstrapping one-sided flexible arrays
Fully reflexive intensional type analysis
Functional pearl: a SQL to C compiler in 500 lines of code
Visualizing the turing tarpit
Pycket: a tracing JIT for a functional language
Experience report: applying random testing to a base type environment
Functional programming with structured graphs
High-level views on low-level representations
Foundational extensible corecursion: a proof assistant perspective
The Spineless Tagless G-machine, naturally
Programming assistance for type-directed programming (extended abstract)
Types with semantics: soundness proof assistant
A Non-Deterministic Call-by-Need Lambda Calculus
Extensible Algebraic Datatypes with Defaults
Testing noninterference, quickly
Skeletons for distributed topological computation
MidifilePerformer: a case study for chronologies
Wellfounded recursion with copatterns: a unified approach to termination and productivity
An optimizing compiler for a purely functional web-application language
Native offload of Haskell repa programs to integrated GPUs
Type-level web APIs with Servant: an exercise in domain-specific generic programming
Laziness without all the hard work: combining lazy and strict languages for teaching
Reason isomorphically!
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000
AtomCaml: first-class atomicity via rollback
Haskell and XML: Generic Combinators or Type-Based Translation?
Type checking with open type functions
A Structured Approach to Retrieving Functions by Types
Ad-hoc polymorphism and dynamic typing in a statically typed functional language
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013
A play on regular expressions: functional pearl
Word puzzles in Haskell: interactive games for functional programming exercises
Actions you can handle: dependent types for AI plans
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999
Cayenne - a Language with Dependent Types
Mixin Modules
Instance chains: type class programming without overlapping instances
SeLINQ: tracking information across application-database boundaries
Inductive reasoning about effectful data types
Group communication patterns for high performance computing in scala
AURA: a programming language for authorization and audit
A unified category theoretic approach to variable binding
On Barron and Strachey's cartesian product function
Recursive modules for programming
Semantic subtyping with an SMT solver
Functional pearl: streams and unique fixed points
choose your own derivative (extended abstract)
Temporal-scope grammars for polyphonic music generation
A nanopass infrastructure for compiler education
Specifying and verifying sparse matrix codes
Scrap your boilerplate with class: extensible generic functions
Developing a Stage Lighting System from Scratch
A foundation for GADTs and inductive families: dependent polynomial functor approach
A sound (and complete) model of contracts
A theory of overloading
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023
Qualified types for MLF
Optimizing Pattern Matching
Events in Haskell, and How to Implement Them
Relating models of backtracking
Lolliproc: to concurrency from classical linear logic via curry-howard and control
A sound and complete axiomatization of delimited continuations
Generic discrimination: sorting and paritioning unshared data in linear time
Runtime support for multicore Haskell
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011
Using domain-specific languages and access-execute descriptors to expand the parallel code synthesis design space: keynote talk
High performance embedded domain specific languages
Pure type systems with corecursion on streams: from finite to infinitary normalisation
Monadic Encapsulation in ML
Proof-producing synthesis of ML from higher-order logic
Generating high performance code for irregular data structures using dependent types
Bialgebra views: a way for polytypic programming to cohabit with data abstraction
Introspective pushdown analysis of higher-order programs
Towards a categorical foundation for generic programming
[Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language
Fold and Unfold for Program Semantics
SASyLF: an educational proof assistant for language theory
FARM 2017 performances
Modular development of certified program verifiers with a proof assistant
Demo: counterpoint by construction
Type-Driven Defunctionalization
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
Linearity and PCF: a semantic insight!
McErlang: a model checker for a distributed functional programming language
Maximal sharing in the Lambda calculus with letrec
Practical typed lazy contracts
Typing unmarshalling without marshalling types
A practical theory of language-integrated query
A Theory of Weak Bisimulation for Core CML
Termination analysis and call graph construction for higher-order functional programs
Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle
Composing and decomposing data types: a closed type families implementation of data types à la carte
Typed Cross-Module Compilation
Coeffects: a calculus of context-dependent computation
Certified symbolic management of financial multi-party contracts
Imperative Streams - A Monadic Combinator Library for Synchronous Programming
Programming assurance cases in Agda
FLUX: functional updates for XML
[Demo abstract] Sound and soundness: practical total functional data-flow programming
Sneaking around concatMap: efficient combinators for dynamic programming
Quotient lenses
Automatic Management of Operating System Resources
Generalising and dualising the third list-homomorphism theorem: functional pearl
Lazy call-by-value evaluation
Call for collaboration: computational musicology, ????, profit
Iterative-free program analysis
Defunctionalized interpreters for programming languages
Functional modelling of musical harmony: an experience report
Tupling Calculation Eliminates Multiple Data Traversals
Hindley-milner elaboration in applicative style: functional pearl
Disposable Memo Functions (Extended Abstract)
Implementing functional logic languages using multiple threads and stores
Galois: high assurance software
Inductive types deconstructed: the calculus of united constructions
From functional to object-oriented programming: a smooth transition for beginners
Semantic Encapsulation using Linking Types
A type directed translation of MLF to system F
What does aspect-oriented programming mean for functional programmers?
A Dependently Typed Language with Dynamic Equality
A universe of binding and computation
Transactional events
Interactive programming with dependent types
Functional synthesis of genetic regulatory networks
Recursive type generativity
A categorial grammar for music and its use in automatic melody generation
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, St. Louis, MO, USA, September 29, 2018
[Demo abstract] using Haskell as DSL for controlling immersive media experiences: Ludic support and deep immersion in nordic technology-supported LARP
Generic programming for indexed datatypes
Type-Based Hot Swapping of Running Modules
Monads, zippers and views: virtualizing the monad stack
Blame assignment for higher-order contracts with intersection and union
Grammar-based automated music composition in Haskell
Equality proofs and deferred type errors: a compiler pearl
tylr: a tiny tile-based structure editor
Low-level functional GPU programming for parallel algorithms
Partial type equivalences for verified dependent interoperability
Functional automatic differentiation with dirac impulses
Repl electric performance: end of buffer
Verifying CPS transformations in Isabelle/HOL
Complete and easy bidirectional typechecking for higher-rank polymorphism
Structured asynchrony with algebraic effects
A static type system for JVM access control
On the Runtime Complexity of Type-Directed Unboxing
Taming Effects with Monadic Typing
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations
Sensitivity analysis using type-based constraints
Encoding secure information flow with restricted delegation and revocation in Haskell
A technique for generic iteration and its optimization
Complexity of Kernel Fun Subtype Checking
Superficially substructural types
Type Inference Builds a Short Cut to Deforestation
Report on the tenth ICFP programming contest
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning
iTasks: executable specifications of interactive work flow systems for the web
A certified framework for compiling and executing garbage-collected languages
Learning refinement types
Declarative language extensions for prolog courses
Lambda-Flow: A Parallel Functional Synchronous Dataflow Language
Context-free session types
Optimizing JavaScript code for V8
Aspectual Caml: an aspect-oriented functional language
Dynamic optimization for functional reactive programming using generalized algebraic data types
Recursion principles for syntax with bindings and substitution
Mtac: a monad for typed tactic programming in Coq
Acute: high-level programming language design for distributed computation
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014
Parametric polymorphism and semantic subtyping: the logical connection
Transactional events for ML
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016
Finding race conditions in Erlang with QuickCheck and PULSE
Implicit self-adjusting computation for purely functional programs
Scribble: closing the book on ad hoc documentation tools
Modular verification of concurrent assembly code with dynamic thread creation and termination
Applications of applicative proof search
A lightweight approach to datatype-generic rewriting
The Measured Cost of Copying Garbage Collection Mechanisms
Productive coprogramming with guarded recursion
Advanced module systems: a guide for the perplexed (abstract of invited talk)
The sound of lambda
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations
Implementing Bit-addressing with Specialization
Deferring the details and deriving programs
An experimental study of renewal-older-first garbage collection
Refinement types for Haskell
Higher-order representation of substructural logics
On Embedding a Microarchitectural Design Language within Haskell
Parallel programming in Haskell almost for free: an embedding of intel's array building blocks
Composing contracts: an adventure in financial engineering, functional pearl
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM@ICFP 2014, Gothenburg, Sweden, September 1-3, 2014
Sequent calculus as a compiler intermediate language
Experience report: functional programming in c-rules
Graphs in Compilation
An equivalence-preserving CPS translation via multi-language semantics
A generic abstract syntax model for embedded languages
Experience report: the reactis validation tool
Infix-Extensible Record Types for Tabular Data
Syntactic accidents in program analysis: on the impact of the CPS transformation
The Role of Lazy Evaluation in Amortized Data Structures
Cogen in Six Lines
Specialization of Inductively Sequential Functional Logic Programs
Interpretations of the gradually-typed lambda calculus
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017
An error-tolerant type system for variational lambda calculus
Higher-Order Arity Raising
Embrace, defend, extend: a methodology for embedding preexisting DSLs
Real-Time FRP
Queueing and glueing for optimal partitioning (functional pearl)
Computing with generic trees in Agda
Generic Diff3 for algebraic datatypes
Noninterference for free
On Application of Self-Similar Pictures in Education
Structuring Graphical Paradigms in TkGofer
A New Look to Pattern Matching in Abstract Data Types
Data-flow testing of declarative programs
Modular generic programming with extensible superclasses
Rank-Polymorphism for Shape-Guided Blocking
A short cut to parallelization theorems
Elaborating intersection and union types
The anatomy of a loop: a story of scope and control
Towards a functional run-time for dense NLA domain
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers
Experience report: visualizing data through functional pipelines
1ML - core and modules united (F-ing first-class modules)
Practical principled FRP: forget the past, change the future, FRPNow!
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005
Lem: reusable engineering of real-world semantics
Flask: staged functional programming for sensor networks
Distance makes the types grow stronger: a calculus for differential privacy
Programming monads operationally with Unimo
A Probabilistic Approach to the Problem of Automatic Selection of Data Representations
Lazy Computation with Exact Real Numbers
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011
Understanding aspects: extended abstract
Principals in Programming Languages: A Syntactic Proof Technique
A fully concurrent garbage collector for functional programs on multicore processors
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005
Experience report: growing programming languages for beginning students
The gentle art of levitation
Effective interactive proofs for higher-order imperative programs
A type-preserving compiler in Haskell
Towards a type theory of contexts
Meta-programming and auto-tuning in the search for high performance GPU code
Abstract nonsense
Recycling Continuations
A computational approach to reflective meta-reasoning about languages with bindings
Extensible type-directed editing
A Delegation Language to Request Weather Products and a Scheme of Its Interpretation
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September 9, 2017
Characteristic formulae for the verification of imperative programs
Polymorphism and page tables: systems programming from a functional programmer's perspective
Multi-Stage Programming
Structural recursion for querying ordered graphs
Intersection types and computational effects
More types for nested data parallel programming
Parallel computation of multifield topology: experience of Haskell in a computational science application
Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited
Functional Programming with Graphs
Simple, partial type-inference for System F based on type-containment
on Global Dynamics of Optimal Graph Reduction
From identification of parallelizability to derivation of parallelizable codes
The power of Pi
H/Direct: A Binary Foreign Language Interface for Haskell
Static enforcement of security with types
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison
[Demo abstract] Patterning: repetitive and recursive pattern generation using clojure and quil
Homotopical patch theory
An expressive language of signatures
s6raph: vertex-centric graph processing framework with functional interface
Efficient nondestructive equality checking for trees and graphs
Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008
Extensible programming with first-class cases
Recursive Structures for Standard ML
Mathematics, textiles, and programming: scripted scarves (invited talk)
Experience report: a pure shirt fits
Streaming nested data parallelism on multicores
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006
Affordable Dynamic Types
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework
Parameterized extensible effects and session types (extended abstract)
Temporal semantics for a live coding language
Tiled polymorphic temporal media