researchr
Explore
Tags
Journals
Conferences
Authors
Profiles
Groups
Calendar
New Conferences
Events
Deadlines
Search
You are not signed in
Sign in
Sign up
Links
Publications by Year
Publications by Tag
Publications by Author
Publications by Top terms
International Conference on Functional Programming (ICFP)
Editions
Publications
Publications by Topics
[-]
OR
AND
NOT
1
algebra
C++
DSL
Eclipse
Futamura
Futamura projection
Haskell
Java
JavaScript
MLF
Meta-Environment
Pascal
QuickCheck
Scala
Stratego
Stratego/XT
System F
XML
XML Schema
abstract machine
abstract syntax
abstraction
access control
analysis
application framework
architecture
aspect oriented programming
attribute grammars
bidirectional transformation
caching
case study
certification
code generation
compiler
completeness
composition
consistency
constraints
context-aware
contracts
control systems
coverage
data-flow
data-flow analysis
data-flow language
data-flow programming
database
debugging
design
domain-specific language
e-science
exceptions
extensible language
feature-oriented programming
formal semantics
functional programming
generic programming
genetic programming
grammar
graph transformation
graph-rewriting
higher-order transformations
history
incremental
interpreter
language design
language modeling
laziness
lenses
logic
logic programming
macros
memory management
meta programming
meta-model
meta-objects
mobile
model checking
modeling language
object-oriented programming
object-role modeling
open function types
open-source
operating system
operational semantics
optimization
parallel programming
parsimony
parsing
partial evaluation
partitioning
pattern language
pattern matching
peer-to-peer
polymorphism
polytypic
polytypic programming
program analysis
program optimization
program transformation
program verification
programming
programming languages
proof assistant
query language
random testing
reactive programming
refinement
reflection
rewriting
rewriting strategies
rule-based
rules
search
security
semantics
software architecture
source-to-source
staged computation
state machines
static analysis
subject-oriented programming
subtyping
synchronization
syntax definition
systematic-approach
tagging
taxonomy
term rewriting
termination
test coverage
testing
transformation
transformation language
transformation system
translation
traversal
type checking
type inference
type soundness
type system
type theory
variable binding
web applications
writing
Publications by Authors
[+]
[-]
OR
AND
NOT
1
A. J. Field
A. J. Kfoury
A. Tellez-Arenas
Aarne Ranta
Aaron Stump
Abbas Edalat
Abdulaziz Ghuloum
Adam Granicz
Adam J. Chlipala
Adam Shaw
Adriaan Moors
Akihiko Takano
Akimasa Morihata
Akinori Yonezawa
Alain Frisch
Alan F. Blackwell
Alan Jeffrey
Alberto Ciaffaglione
Alberto Momigliano
Aleksandar Nanevski
Aleksey Nogin
Alexander Aiken
Alexander Krauss
Alexandre Pilkiewicz
Alexei Kopylov
Alexey Rodriguez
Alexey Rodriguez Yakushev
Ali Sinan Köksal
Alley Stoughton
Allyn Dimock
Amal Ahmed
Amal J. Ahmed
Amr Sabry
Andreas Farre
Andreas P. Priesnitz
Andreas Rossberg
Andrei Sabelfeld
Andres Löh
Andres Löh
Andrew Butterfield
Andrew D. Gordon
Andrew Fredricks
Andrew Kennedy
Andrew M. Cheadle
Andrew M. Pitts
Andrew McCreight
Andrew P. Tolmach
Andrew W. Appel
Andrzej Filinski
André L. M. Santos
Anil Madhavapeddy
Anindya Banerjee
Antonis Stampoulis
Arie Middelkoop
Armand Puccetti
Arne J. Glenstrup
Arthur Charguéraud
Atsushi Ohori
Avraham Shinnar
Bastiaan Heeren
Benjamin C. Pierce
Boris Yakobowski
Bruce J. McAdam
Bruno Pagano
Butler W. Lampson
Byron Cook
Chiyan Chen
Chris Okasaki
Christian Queinnec
Christopher League
Chung-chieh Shan
Claudio V. Russo
Colin Runciman
Conal Elliott
Conor McBride
Daan Leijen
Dan Grossman
Daniel P. Friedman
Daniel R. Licata
David A. McAllester
David A. Pelta
David Fisher
David Herman
David J. King
David Van Horn
David Walker
Derek Dreyer
Didier Rémy
Dimitrios Vytiniotis
Dominic Duggan
Eelco Dolstra
Erik Meijer
Francesco Zappa Nardelli
Frank Huch
Frank Pfenning
Franklyn A. Turbak
François Pottier
Fritz Henglein
Gabriele Keller
Gavin M. Bierman
Geoffrey Washburn
Georg Neis
George Russell
Germán Vidal
Gilles Peskine
Giorgio Ghelli
Giuseppe Castagna
Greg Morrisett
Guy E. Blelloch
Hans Svensson
Harry G. Mairson
Haruo Hosoya
Henrik Nilsson
Hideya Iwasaki
Hongwei Xi
Hugo Herbelin
Isao Sasano
J. B. Wells
J. Gregory Morrisett
J. Nathan Foster
Jacques Garrigue
James Cheney
James J. Leifer
Janis Voigtländer
Jason Hickey
Jay Ligatti
Jean-Philippe Bernardy
Jeremy Gibbons
Johan Jeuring
John H. Reppy
John Hughes
John Launchbury
John Power
Jonathan T. Moore
Josef Svenningsson
Julia L. Lawall
Jurriaan Hage
Jörgen Gustavsson
Karl Crary
Karl Mazurak
Kazutaka Matsuda
Keisuke Nakano
Keith Wansbrough
Kevin Donnelly
Koen Claessen
Kohei Honda
Lars Birkedal
Lennart Augustsson
Luc Maranget
Luc Moreau
Lukasz Ziarek
Malcolm Wallace
Manuel M. T. Chakravarty
Manuel Serrano
Marc Feeley
Marcin Zalewski
Marino Miculan
Mark P. Jones
Martin Odersky
Martin Sulzmann
Martín Abadi
Masato Takeichi
Matthew Flatt
Matthew Fluet
Matthew Might
Matthias Blume
Matthias Felleisen
Matthias Neubauer
Meng Wang
Michael Hanus
Michael Norrish
Michael Sperber
Michael W. Hicks
Michael Y. Levin
Mike Rainey
Mitchell Wand
Mizuhito Ogawa
Natalio Krasnogor
Neil Ghani
Nick Benton
Norman Ramsey
Olaf Chitil
Oleg Kiselyov
Olin Shivers
Olivier Danvy
Pablo E. Martínez López
Pablo Mocciola
Pablo Nogueira
Patrik Jansson
Paul Govereau
Paul Hudak
Peter Achten
Peter J. Stuckey
Peter Sewell
Peter Thiemann
Philip W. Trinder
Philip Wadler
R. Kent Dybvig
Ralf Hinze
Ralf Lämmel
Rebekah Leslie
Robby Findler
Robert Ennals
Robert Harper
Robert Muller
Roman Leshchinskiy
Ross Paterson
S. Doaitse Swierstra
Satnam Singh
Scott Nettles
Scott Owens
Sebastian Fischer
Shriram Krishnamurthi
Sibylle Schupp
Sigbjorn Finne
Simon L. Peyton Jones
Simon Marlow
Stefan Holdermans
Stefan Monnier
Stephanie Weirich
Steve Zdancewic
Steven E. Ganz
Sungwoo Park
Suresh Jagannathan
Tarmo Uustalu
Thomas Gazagnaire
Thomas van Noort
Tim Sheard
Tom Schrijvers
Tyng-Ruey Chuang
Ulf Wiger
Umut A. Acar
Valery Trifonov
Walid Taha
Wei-Ngan Chin
Wouter Swierstra
Xin Yu
Yasuhiko Minamide
Zhenjiang Hu
Zhong Shao