Closed types for a safe imperative MetaML

Volume 13
Issue 03 - May 2003
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;">Closed types for a safe imperative MetaML</div><br><div style="font-size: 10px;"><b>C. CALCAGNO,E. MOGGI and T. SHEARD (2003).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP">Journal of Functional Programming</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP&volumeId=13&bVolume=y#loc13 ">Volume 13</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=JFP&volumeId=13&issueId=03&iid=150521"> Issue 03</a>, May 2003 pp 545-571 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=150521">http://journals.cambridge.org/action/displayAbstract?aid=150521</a></div></div>
The code will display like this:

Closed types for a safe imperative MetaML

C. CALCAGNO, E. MOGGI and T. SHEARD (2003).
Journal of Functional Programming, Volume 13, Issue 03, May 2003 pp 545-571 http://journals.cambridge.org/action/displayAbstract?aid=150521

Blog this Article

Journal of Functional Programming (2003), 13 : 545-571 Cambridge University Press

Copyright © 2003 Cambridge University Press

doi:10.1017/S0956796802004598 (About doi)

Published online by Cambridge University Press 13 May 2003

Social Bookmarking

Username or Email Address	Password

Cambridge Journals Online

Journal of Functional Programming (2003), 13 : 545-571 Cambridge University Press

Copyright © 2003 Cambridge University Press

doi:10.1017/S0956796802004598 (About doi)

Published online by Cambridge University Press 13 May 2003