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
(19)
Flemming Nielson
3
Harald Ganzinger
2
Samson Abramsky
2
Neil D. Jones
2
Peter Sestoft
1
Hanne Riis Nielson
1
Francoise Bellegarde (Françoise Bellegarde)
1
Chris Hankin
1
Geoffrey L. Burn
1
Bengt Nordstrom (Bengt Nordström)
1
Keywords
(31)
Subscribe
Academic
Conferences
Programs as Data Objects
Programs as Data Objects
Publications: 19
|
Citation Count: 268 (Self-Citation: 3)
|
H-Index: 9Year Range: 1985-1986
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(19)
Expected forms of data flow analysis
(
Citations: 10
)
Flemming Nielson
Conference:
Programs as Data Objects
, 1986
Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985
Harald Ganzinger
,
Neil D. Jones
Conference:
Programs as Data Objects
, 1986
The theory of strictness analysis for higher order functions
(
Citations: 47
)
Geoffrey L. Burn
,
Chris Hankin
,
Samson Abramsky
Conference:
Programs as Data Objects
, pp. 42-62, 1985
Strictness analysis and polymorphic invariance
(
Citations: 34
)
Samson Abramsky
Conference:
Programs as Data Objects
, pp. 1-23, 1985
The structure of a self-applicable partial evaluator
(
Citations: 44
)
Peter Sestoft
Conference:
Programs as Data Objects
, pp. 236-256, 1985