A Critique of Standard ML

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796800000836
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

A Standard ML Compiler

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Towards a Mechanized Metatheory of Standard ML

2007English

A Type-Theoretic Interpretation of Standard ML

2000English

Implementing Visualization of Term Rewriting Computation in Standard ML

IEEJ Transactions on Electronics, Information and Systems
Electronic EngineeringElectrical
1996English

Rediscovering Religion and Secularism a Critique of a Critique

Social Transformations: Journal of the Global South
2016English

ML-236A, ML-236B, and ML-236C, New Inhibitors of Cholesterogensis Produced by Penicillium Citrinum.

Journal of Antibiotics
Drug DiscoveryPharmacology
1976English

A New Entropy Model for RNA: Part I. A Critique of the Standard Jacobson-Stockmayer Model Applied to Multiple Cross Links

Journal of Nucleic Acids Investigation
2012English

Review Article: A Critique

Indian Journal of Surgery
Surgery
2012English

A Critique of Biological Psychiatry1

Psychological Medicine
PsychiatryMental HealthApplied Psychology
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy