Searching for CITATIONS to document sorted by Number of Citations:
The Definition of Standard ML
(1989)
by R MILNER, M TOFTE, R HARPER
Add To MetaCart
1080 citations found, showing 1 through 10.
Next 10 →
-
Introduction to functional programming
- Cited by 1124 (35 self) – Show/Hide Context – Add To MetaCart
-
Proof-Carrying Code
- Cited by 875 (25 self) – Show/Hide Context – Add To MetaCart
-
A Framework for Defining Logics
- Cited by 546 (31 self) – Show/Hide Context – Add To MetaCart
-
From System F to Typed Assembly Language
- Cited by 506 (61 self) – Show/Hide Context – Add To MetaCart
-
A Syntactic Approach to Type Soundness
- Cited by 419 (19 self) – Show/Hide Context – Add To MetaCart
-
Comprehending Monads
- Cited by 385 (12 self) – Show/Hide Context – Add To MetaCart
-
How to Make Ad-Hoc Polymorphism Less Ad Hoc
- Cited by 280 (3 self) – Show/Hide Context – Add To MetaCart
-
Specification and analysis of system architecture using Rapide
- Cited by 267 (4 self) – Show/Hide Context – Add To MetaCart
-
Computational Interpretations of Linear Logic
- Cited by 245 (3 self) – Show/Hide Context – Add To MetaCart
-
Why functional programming matters
- Cited by 244 (2 self) – Show/Hide Context – Add To MetaCart
