Highly Influential

Core-ML is a basic subset of most functional programming languages. It consists of the simply typed (or monomorphic)-calculus, simply typed equality over atomic constants, and let as the only poly-morphic construct. We present a synthesis of recent results which characterize this \toy" language's expressive power as well as its type reconstruction (or type… (More)

- Type inference
- P (complexity)
- Type system
- Functional programming
- Polynomial
- Expressive power (computer science)
- Time complexity
- Programming language
- Computational complexity theory
- Programming Languages
- Typing
- algorithm
- Cellular Reprogramming Techniques
- Languages
- Morphic (software)
- Poly A
- Question (inquiry)
- ELEMENTARY
- Inference

Sorry, we couldn't extract any figures or tables for this paper.

Showing 1-10 of 47 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential