Editing Standard ML (section)

==References==
{{refs|
<ref name="intro">{{cite web
 |title=Programming in Standard ML: Hierarchies and Parameterization
 |url=https://www.cs.cmu.edu/~rwh/introsml/modules/subfun.htm
 |access-date=2020-02-22
}}</ref>

<ref name="sml">{{cite journal
 |last=Tofte |first=Mads
 |year=2009
 |title=Standard ML language
 |journal=Scholarpedia
 |volume=4
 |issue=2
 |page=7515
 |doi=10.4249/scholarpedia.7515
 |bibcode=2009SchpJ...4.7515T
 |doi-access=free
}}</ref>

<ref name="smlnj">{{cite web
 |title=SML '97
 |url=http://www.smlnj.org/sml97.html
 |website=www.smlnj.org
}}</ref>

<ref name="revision">{{cite book
 |last1=Milner |first1=Robin |author1-link=Robin Milner
 |last2=Tofte |first2=Mads
 |last3=Harper |first3=Robert
 |last4=MacQueen |first4=David
 |year=1997
 |title=The Definition of Standard ML (Revised)
 |publisher=MIT Press
 |isbn=0-262-63181-4
}}</ref>

<ref name="itertools">{{cite web
 |title=itertools — Functions creating iterators for efficient looping — Python 3.7.1rc1 documentation
 |url=https://docs.python.org/3/library/itertools.html
 |website=docs.python.org
}}</ref>

<ref name="bfs">{{cite conference
 |last=Okasaki |first=Chris
 |year=2000
 |title=Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design
 |book-title=International Conference on Functional Programming 2000
 |publisher=ACM
}}</ref>

<ref name="machine code verification">{{cite conference
 |last1=Alglave |first1=Jade |author1-link=Jade Alglave
 |last2=Fox |first2=Anthony C. J.
 |last3=Ishtiaq |first3=Samin
 |last4=Myreen |first4=Magnus O.
 |last5=Sarkar |first5=Susmit
 |last6=Sewell |first6=Peter
 |last7=Nardelli |first7=Francesco Zappa
 |date=2009
 |title=The Semantics of Power and ARM Multiprocessor Machine Code
 |conference=DAMP 2009
 |pages=13–24
 |url=http://www0.cs.ucl.ac.uk/staff/j.alglave/papers/damp09.pdf |archive-url=https://web.archive.org/web/20170814015026/http://www0.cs.ucl.ac.uk/staff/j.alglave/papers/damp09.pdf |archive-date=2017-08-14 |url-status=live
}}</ref>
}}