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
(360)
Richard P. Gabriel
8
Daniel Friedman
8
Paul Hudak
7
Matthias Felleisen
7
Mitchell Wand
6
David Macqueen
5
Jonathan L. White
5
Rodney Brooks
5
Guy L. Steele
4
John Hennessy
4
Keywords
(292)
Subscribe
Academic
Conferences
LFP - ACM Conference on LISP and Functional Programming
LFP - ACM Conference on LISP and Functional Programming
Publications: 249
|
Citation Count: 7,346 (Self-Citation: 212)
|
H-Index: 47Year Range: 1980-1999
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(249)
Relating typability and expressibility in finite-rank intersection type systems
(
Citations: 21
)
A. J. Kfoury
,
H. G. Mairson
,
F. A. Turbak
,
J. B. Wells
Conference:
ACM Conference on LISP and Functional Programming - LFP
, 1999
Signatures for a Network Protocol Stack: A Systems Application of Standard ML
(
Citations: 51
)
Edoardo Biagioni
,
Robert Harper
,
Peter Lee
,
Brian G. Milnes
Conference:
ACM Conference on LISP and Functional Programming - LFP
, pp. 55-64, 1994
Semantics of Type Classes Revisited
(
Citations: 15
)
Satish R. Thatte
Conference:
ACM Conference on LISP and Functional Programming - LFP
, pp. 208-219, 1994
Set-based analysis of ml programs
(
Citations: 5
)
N. Hbintzb
Conference:
ACM Conference on LISP and Functional Programming - LFP
, 1994
Using Run-Time List Sizes to Guide Parallel Thread Creation
(
Citations: 12
)
L. Huelsbergen
,
J. R. Larus
,
A. Aiken
Conference:
ACM Conference on LISP and Functional Programming - LFP
, 1994