Approximate Normalization for Gradual Dependent Types

Proceedings of the ACM on Programming Languages
doi 10.1145/3341692
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Two Types of Gradual Events: Solar Protons and Relativistic Electrons

2019English

Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems

ACM SIGPLAN Notices
Computer Science
2017English

A Role for Dependent Types in Haskell

Proceedings of the ACM on Programming Languages
2019English

Computing Methods for the Approximate Solution of Time Dependent Problems

1994English

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics
1994English

Approximate Analysis of Load Dependent General Queueing Networks

IEEE Transactions on Software Engineering
Software
1988English

Do We Need Dependent Types?

Journal of Functional Programming
Software
2000English

An Approximate Likelihood Ratio Method for Testing Equality of Two Dependent Proportions

Asian Journal of Mathematics & Statistics
2009English

Perfect Normalization of Exaggerated Glucagon Responses in Noninsulin-Dependent and Insulin-Dependent Diabetes Mellitus

Folia Endocrinologica Japonica
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy