Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(514)
Simon Peyton-Jones
19
Matthew Flatt
10
Stephanie Weirich
9
Benjamin Pierce
8
Oleg Kiselyov
8
Ralf Hinze
6
Matthew Fluet
6
Greg Morrisett
6
Dimitrios Vytiniotis
6
Matthias Felleisen
6
Keywords
(503)
Subscribe
Academic
Conferences
ICFP - International Conference on Functional Programming
ICFP - International Conference on Functional Programming
Publications: 373
|
Citation Count: 5,410 (Self-Citation: 264)
|
H-Index: 36Year Range: 1996-2010
Interests:
Programming Languages
Paper submissions due: 12 March 2012, Duration:
9 - 15 September 2012, Copenhagen, Denmark
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(373)
The impact of higher-order state and control effects on local relational reasoning
(
Citations: 6
)
Derek Dreyer
,
Georg Neis
,
Lars Birkedal
Conference:
International Conference on Functional Programming - ICFP
, pp. 143-156, 2010
The gentle art of levitation
(
Citations: 5
)
James Chapman
,
Pierre-Évariste Dagand
,
Conor McBride
,
Peter Morris
Conference:
International Conference on Functional Programming - ICFP
, pp. 3-14, 2010
Bidirectionalizing graph transformations
(
Citations: 5
)
Soichiro Hidaka
,
Zhenjiang Hu
,
Kazuhiro Inaba
,
Hiroyuki Kato
,
Kazutaka Matsuda
,
Keisuke Nakano
Conference:
International Conference on Functional Programming - ICFP
, pp. 205-216, 2010
A certified framework for compiling and executing garbage-collected languages
(
Citations: 3
)
Andrew McCreight
,
Tim Chevalier
,
Andrew P. Tolmach
Conference:
International Conference on Functional Programming - ICFP
, pp. 273-284, 2010
A fresh look at programming with names and binders
(
Citations: 3
)
Nicolas Pouillard
,
François Pottier
Conference:
International Conference on Functional Programming - ICFP
, pp. 217-228, 2010