Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joseph Eremondi
Approximate Normalization for Gradual Dependent Types
Proceedings of the ACM on Programming Languages
Related publications
Two Types of Gradual Events: Solar Protons and Relativistic Electrons
Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems
ACM SIGPLAN Notices
Computer Science
A Role for Dependent Types in Haskell
Proceedings of the ACM on Programming Languages
Computing Methods for the Approximate Solution of Time Dependent Problems
Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types
Studies in Logic and the Foundations of Mathematics
Approximate Analysis of Load Dependent General Queueing Networks
IEEE Transactions on Software Engineering
Software
Do We Need Dependent Types?
Journal of Functional Programming
Software
An Approximate Likelihood Ratio Method for Testing Equality of Two Dependent Proportions
Asian Journal of Mathematics & Statistics
Perfect Normalization of Exaggerated Glucagon Responses in Noninsulin-Dependent and Insulin-Dependent Diabetes Mellitus
Folia Endocrinologica Japonica
