Jonathan M. Young

Higher-order strictness analysis in untyped lambda calculus

Paul Hudak, Jonathan M. Young · 1986 · 85 citations · Full text

Engineering, Type Theory, Computational Complexity +18

Equality of Opportunity: The Making of the Americans with Disabilities Act.

Jonathan M. Young · 2010 · 47 citations

Social Inequality, Disabilities Act, Ableism +12

Bending and twisting the embryonic heart: a computational model for c-looping based on realistic geometry

Yunfei Shi, Yao Jiang, Jonathan M. Young et al. · Frontiers in Physiology · 2014 · 42 citations · Full text

Cardiac Muscle, Engineering, Computational Model +27

Mathematical modeling of drug release from nanostructured porous Si: Combining carrier erosion and hindered drug diffusion for predicting release kinetics

Adi Tzur-Balter, Jonathan M. Young, Lisa M. Bonanno-Young et al. · Acta Biomaterialia · 2013 · 33 citations

Nanomedicine, Chemical Engineering, Hindered Drug Diffusion +8

Code optimizations for lazy evaluation

Adrienne Bloss, Paul Hudak, Jonathan M. Young · LISP and Symbolic Computation · 1988 · 32 citations

Engineering, Program Analysis, Formal Methods +7