researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Haskell
Meta-Environment
analysis
compiler
data-flow
design
functional programming
generic programming
laziness
meta-model
meta-objects
programming
programming languages
rule-based
semantics
subtyping
systematic-approach
transformation
type inference
Filter by Author
[+]
OR
AND
NOT
1
Aleksandar Nanevski
Amr Sabry
Andres Löh
Benjamin C. Pierce
Derek Dreyer
Dimitrios Vytiniotis
François Pottier
Jeremy Gibbons
José Pedro Magalhães
Koen Claessen
Manuel M. T. Chakravarty
Matthew Flatt
Matthew Fluet
Matthias Felleisen
Ralf Hinze
Robby Findler
Simon L. Peyton Jones
Stephanie Weirich
Zhenjiang Hu
Zhong Shao
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
acm
functional
generic
haskell
higher
icfp
international
language
languages
order
proceedings
programming
programs
september
sigplan
type
types
using
workshop
International Conference on Functional Programming (ICFP)
Editions
Publications
Viewing Publication 1 - 100 from 1093
2023
Semantic Encapsulation using Linking Types
Daniel Patterson 0001
,
Andrew Wagner
,
Amal Ahmed 0001
.
ICFP 2023
:
14-28
[doi]
Shape-Constrained Array Programming with Size-Dependent Types
Lubin Bailly
,
Troels Henriksen
,
Martin Elsman
.
ICFP 2023
:
29-41
[doi]
Efficient GPU Implementation of Affine Index Permutations on Arrays
Mathis Bouverot-Dupuis
,
Mary Sheeran
.
ICFP 2023
:
15-28
[doi]
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023
Youyou Cong
,
Pierre-Évariste Dagand
, editors,
ACM,
2023.
[doi]
A Calculus of Inductive Linear Constructions
Qiancheng Fu
,
Hongwei Xi
.
ICFP 2023
:
1-13
[doi]
Combining Dependency, Grades, and Adjoint Logic
Peter Hanukaev
,
Harley Eades III
.
ICFP 2023
:
58-70
[doi]
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2023, Seattle, WA, USA, 4 September 2023
Gabriele Keller
,
Sam Westrick
, editors,
ACM,
2023.
[doi]
A Dependently Typed Language with Dynamic Equality
Mark Lemay
,
Qiancheng Fu
,
William Blair
,
Cheng Zhang
,
Hongwei Xi
.
ICFP 2023
:
44-57
[doi]
Infix-Extensible Record Types for Tabular Data
Adam Paszke
,
Ningning Xie
.
ICFP 2023
:
29-43
[doi]
Rank-Polymorphism for Shape-Guided Blocking
Artjoms Sinkarovs
,
Thomas Koopman
,
Sven-Bodo Scholz
.
ICFP 2023
:
1-14
[doi]
2022
TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022
ACM,
2022.
[doi]
Structural refinement types
David Binder
,
Ingo Skupin
,
David Läwen
,
Klaus Ostermann
.
ICFP 2022
:
15-27
[doi]
A Hoare logic style refinement types formalisation
Zilin Chen
.
ICFP 2022
:
1-14
[doi]
Computing with generic trees in Agda
Stephen Dolan
.
ICFP 2022
:
38-44
[doi]
tylr: a tiny tile-based structure editor
David Moon
,
Andrew Blinn
,
Cyrus Omar
.
ICFP 2022
:
28-37
[doi]
2021
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms
Emilio Jesús Gallego Arias
,
Pierre Jouvelot
,
Sylvain Ribstein
,
Dorian Desblancs
.
ICFP 2021
:
35-46
[doi]
MidifilePerformer: a case study for chronologies
Juliette Chabassier
,
Myriam Desainte-Catherine
,
Jean Haury
,
Marin Pobel
,
Bernard P. Serpette
.
ICFP 2021
:
13-22
[doi]
Temporal-scope grammars for polyphonic music generation
Lukas Eibensteiner
,
Martin Ilcík
,
Michael Wimmer 0001
.
ICFP 2021
:
23-34
[doi]
Actions you can handle: dependent types for AI plans
Alasdair Hill
,
Ekaterina Komendantskaya
,
Matthew L. Daggitt
,
Ronald P. A. Petrick
.
ICFP 2021
:
1-13
[doi]
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
Gabriele Keller
,
Troels Henriksen
, editors,
ACM,
2021.
[doi]
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021
Hsiang-Shang Ko
,
Dominic Orchard
, editors,
ACM,
2021.
[doi]
Improving GHC Haskell NUMA profiling
Ruairidh MacGregor
,
Phil Trinder
,
Hans-Wolfgang Loidl
.
ICFP 2021
:
1-12
[doi]
mimium: a self-extensible programming language for sound and music
Tomoya Matsuura
,
Kazuhiro Jo
.
ICFP 2021
:
1-12
[doi]
Parallelism-preserving automatic differentiation for second-order array languages
Adam Paszke
,
Matthew J. Johnson 0002
,
Roy Frostig
,
Dougal Maclaurin
.
ICFP 2021
:
13-23
[doi]
Generating high performance code for irregular data structures using dependent types
Federico Pizzuti
,
Michel Steuwer
,
Christophe Dubach
.
ICFP 2021
:
37-49
[doi]
Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020
Baptiste Saleil
,
Michael D. Adams 0001
, editors,
University of Michigan,
2021.
[doi]
Human-in-the-loop program synthesis for live coding
Mark Santolucito
.
ICFP 2021
:
47-53
[doi]
Computing persistent homology in Futhark
Erik von Brömssen
.
ICFP 2021
:
24-36
[doi]
FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Virtual Event, Korea, 27 August 2021
Daniel Winograd-Cort
,
Jean-Louis Giavitto
, editors,
ACM,
2021.
[doi]
A simpler encoding of indexed types
Yinsen Zhang
.
ICFP 2021
:
14-22
[doi]
2020
On Teaching Type Systems as Macros (Lightning Talk)
Youyou Cong
,
Naoya Furudono
,
Hidehiko Masuhara
.
ICFP 2021
:
77
Clotho: A Racket Library for Parametric Randomness
Pierce Darragh
,
William Gallard Hatch
,
Eric Eide
.
ICFP 2021
:
3-13
SICP JS: Ketchup on Caviar?
Martin Henz
,
Tobias Wrigstad
.
ICFP 2021
:
1
Practical dependent type checking using twin types
Víctor López Juan
,
Nils Anders Danielsson
.
ICFP 2020
:
11-23
[doi]
21st Century Lisp in Academic Research and Pedagogy
Bohdan Khomtchouk
,
Jonah Fleishhacker
.
ICFP 2021
:
2
Programming with Petri Nets to Reason about Concurrency
Julien Lepiller
.
ICFP 2021
:
79
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020
James McKinna
,
Cyrus Omar
, editors,
ACM,
2020.
[doi]
Scheme for scientific computing
Francesco Montanari
.
ICFP 2021
:
66-76
Solving SICP: An Experience Report on Solving the World's Most Famous Programming Problem Set
Vladimir Nikishkin
.
ICFP 2021
:
14-50
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk)
Junya Nose
,
Youyou Cong
,
Hidehiko Masuhara
.
ICFP 2021
:
78
Strongly bounded termination with applications to security and hardware synthesis
Thomas N. Reynolds
,
William L. Harrison
,
Rohit Chadha
,
Gerard Allwein
.
ICFP 2020
:
1-10
[doi]
Running Scheme On Bare Metal (Experience Report)
Samuel Yvon
,
Marc Feeley
.
ICFP 2021
:
51-65
2019
Generic level polymorphic n-ary functions
Guillaume Allais
.
ICFP 2019
:
14-26
[doi]
Demo: functors and music
Heinrich Apfelmus
.
ICFP 2019
:
52-55
[doi]
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage
Markus Aronsson
,
Koen Claessen
,
Mary Sheeran
,
Nicholas Smallbone
.
ICFP 2019
:
34-46
[doi]
Demo: kaleidogen
Joachim Breitner
.
ICFP 2019
:
49-51
[doi]
Demo: counterpoint by construction
Youyou Cong
,
John Leo
.
ICFP 2019
:
22-24
[doi]
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019
David Darais
,
Jeremy Gibbons
, editors,
ACM,
2019.
[doi]
Fun with interfaces (SVG interfaces for musical expression)
Benedict R. Gaster
,
Nathan Renney
,
Carinna Parraman
.
ICFP 2019
:
25-36
[doi]
Representing music with prefix trees
Yan Han
,
Nada Amin
,
Neel Krishnaswami
.
ICFP 2019
:
83-94
[doi]
Tic tac types: a gentle introduction to dependently typed programming (functional pearl)
Sean Innes
,
Nicolas Wu
.
ICFP 2019
:
40-51
[doi]
How to do proofs: practically proving properties about effectful programs' results (functional pearl)
Koen Jacobs
,
Andreas Nuyts
,
Dominique Devriese
.
ICFP 2019
:
1-13
[doi]
Screaming in the IO monad: a realtime audio processing and control experiment in Haskell
David Janin
.
ICFP 2019
:
71-82
[doi]
Csound-expression: Haskell framework for computer music
Anton Kholomiov
.
ICFP 2019
:
61-70
[doi]
Generating efficient FFT GPU code with Lift
Bastian Köpcke
,
Michel Steuwer
,
Sergei Gorlatch
.
ICFP 2019
:
1-13
[doi]
Music as language: putting probabilistic temporal graph grammars to good use
Orestis Melkonian
.
ICFP 2019
:
1-10
[doi]
What constitutes a musical pattern?
Orestis Melkonian
,
Iris Yuping Ren
,
Wouter Swierstra
,
Anja Volk
.
ICFP 2019
:
95-105
[doi]
Inductive types deconstructed: the calculus of united constructions
Stefan Monnier
.
ICFP 2019
:
52-63
[doi]
The sound of lambda
Felipe Ignacio Noriega
,
Anne Veinberg
.
ICFP 2019
:
56-60
[doi]
Deferring the details and deriving programs
Liam O'Connor
.
ICFP 2019
:
27-39
[doi]
Constraint-based type-directed program synthesis
Peter-Michael Osera
.
ICFP 2019
:
64-76
[doi]
Position-dependent arrays and their application for high performance code generation
Federico Pizzuti
,
Michel Steuwer
,
Christophe Dubach
.
ICFP 2019
:
14-26
[doi]
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2019, Berlin, Germany, August 18-23, 2019
Donya Quick
,
Daniel Winograd-Cort
, editors,
ACM,
2019.
[doi]
A functional model of jazz improvisation
Donya Quick
,
Kelland Thomas
.
ICFP 2019
:
11-21
[doi]
Lazy evaluation in infinite-dimensional function spaces with wavelet basis
Justus Sagemüller
,
Olivier Verdier
.
ICFP 2019
:
27-33
[doi]
Compositional deep learning in Futhark
Duc Minh Tran
,
Troels Henriksen
,
Martin Elsman
.
ICFP 2019
:
47-59
[doi]
Mobile game programming in Haskell
Christina Zeller
,
Ivan Perez
.
ICFP 2019
:
37-48
[doi]
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019
Marco Zocca
, editor,
ACM,
2019.
[doi]
2018
From algebra to abstract machine: a verified generic construction
Carlos Tomé Cortiñas
,
Wouter Swierstra
.
ICFP 2018
:
78-90
[doi]
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018
Kei Davis
,
Mike Rainey
, editors,
ACM,
2018.
[doi]
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018
Richard A. Eisenberg
,
Niki Vazou
, editors,
ACM,
2018.
[doi]
Abstract nonsense
Junia Gonçalves
.
ICFP 2018
:
26-37
[doi]
Compositional computational constructive critique: or, how my computer learned to appreciate poetry
Jennifer Hackett
.
ICFP 2018
:
9-17
[doi]
Modular acceleration: tricky cases of functional high-performance computing
Troels Henriksen
,
Martin Elsman
,
Cosmin E. Oancea
.
ICFP 2018
:
10-21
[doi]
Extensible type-directed editing
Joomy Korkut
,
David Thrane Christiansen
.
ICFP 2018
:
38-50
[doi]
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers
Daan Leijen
.
ICFP 2018
:
51-64
[doi]
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming
Victor Cacciari Miraldo
,
Alejandro Serrano
.
ICFP 2018
:
65-77
[doi]
Authenticated modular maps in Haskell
Victor Cacciari Miraldo
,
Harold Carr
,
Alex Kogan
,
Mark Moir
,
Maurice Herlihy
.
ICFP 2018
:
1-13
[doi]
FARM 2018 performances
Tom Murphy
.
ICFP 2018
:
40
[doi]
NNdef: livecoding digital musical instruments in SuperCollider using functional reactive programming
Miguel Cerdeira Negrão
.
ICFP 2018
:
1-8
[doi]
Programming-by-example for audio: synthesizing digital signal processing programs
Mark Santolucito
,
Kate Rogers
,
Aedan Lombardo
,
Ruzica Piskac
.
ICFP 2018
:
18-25
[doi]
Typing, representing, and abstracting control: functional pearl
Philipp Schuster
,
Jonathan Immanuel Brachthäuser
.
ICFP 2018
:
14-24
[doi]
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL
Ilya Yanok
,
Nathaniel Nystrom
.
ICFP 2018
:
25-37
[doi]
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
Brent Yorgey
,
Donya Quick
, editors,
ACM,
2018.
[doi]
FARM 2018 demo summary
Brent A. Yorgey
,
Donya Quick
.
ICFP 2018
:
38-39
[doi]
HELIX: a case study of a formal verification of high performance program generation
Vadim Zaliva
,
Franz Franchetti
.
ICFP 2018
:
1-9
[doi]
2017
GALE: a functional graphic adventure library and engine
Ivan Perez 0005
.
ICFP 2017
:
28-35
[doi]
Unified media programming: an algebraic approach
Simon Archipoff
,
David Janin
.
ICFP 2017
:
36-47
[doi]
In search of a map: using program slicing to discover potential parallelism in recursive functions
Adam D. Barwell
,
Kevin Hammond
.
ICFP 2017
:
30-41
[doi]
FARM 2017 demo summary
Jean Bresson
,
Michael Sperber
.
ICFP 2017
:
48
[doi]
Driving types into PHP (invited talk)
Andrew Kennedy
.
ICFP 2017
:
1
[doi]
Strategies for regular segmented reductions on GPU
Rasmus Wriedt Larsen
,
Troels Henriksen
.
ICFP 2017
:
42-52
[doi]
Structured asynchrony with algebraic effects
Daan Leijen
.
ICFP 2017
:
16-29
[doi]
From high-level radio protocol specifications to efficient low-level implementations via partial evaluation
Geoffrey Mainland
,
Siddhanathan Shanmugam
.
ICFP 2017
:
1-11
[doi]
FARM 2017 performances
Alex McLean
.
ICFP 2017
:
49-51
[doi]
Type-directed diffing of structured data
Victor Cacciari Miraldo
,
Pierre-Évariste Dagand
,
Wouter Swierstra
.
ICFP 2017
:
2-15
[doi]
FAUST tutorial for functional programmers
Yann Orlarey
,
Stéphane Letz
,
Dominique Fober
,
Romain Michon
.
ICFP 2017
:
20-27
[doi]
Destination-passing style for efficient memory management
Amir Shaikhha
,
Andrew Fitzgibbon
,
Simon L. Peyton Jones
,
Dimitrios Vytiniotis
.
ICFP 2017
:
12-23
[doi]
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September 9, 2017
Michael Sperber
,
Jean Bresson
, editors,
ACM,
2017.
[doi]
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017
Phil Trinder
,
Cosmin E. Oancea
, editors,
ACM,
2017.
[doi]
Sign in
or
sign up
to see more results.