Travelled to:
1 × Germany
2 × USA
Collaborated with:
P.Hudak ∅
Talks about:
powerdomain (1) interpret (1) calculus (1) without (1) product (1) express (1) collect (1) analysi (1) strict (1) metric (1)
Person: Jonathan Young
DBLP: Young:Jonathan
Contributed to:
Wrote 3 papers:
- DATE-2008-Young #design #metric
- Capturing and Analyzing IC Design Productivity Metrics (JY), pp. 936–937.
- POPL-1988-HudakY
- A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.
- POPL-1986-HudakY #analysis #higher-order #strict #λ-calculus
- Higher-Order Strictness Analysis in Untyped λ Calculus (PH, JY), pp. 97–109.