Filters








1,310 Hits in 8.8 sec

Extending the type checker of Standard ML by polymorphic recursion

Martin Emms, Hans Leiβ
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
We describe an extension of the type inference of Standard ML that covers polymorphic recursion.  ...  For any term t of SML, a type scheme r and a system L of inequations between (simple) types is computed, such that the types of t are the instances of 7 by substitutions S that satisfy L.  ...  By relaxing monomorphic to polymorphic recursion, one obtains the Milner-Mycroft or ML+-type system, which still has the subject-reduction and the principal types properties.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00139-x">doi:10.1016/s0304-3975(98)00139-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p7jgpz3dzfb3nhehfcenr4tpaq">fatcat:p7jgpz3dzfb3nhehfcenr4tpaq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926194418/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/442/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5ODAwMTM5eA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/11/2011eb9608905b9cbcee036d47f9988d7249e015.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00139-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Imperative Functional Programming with Isabelle/HOL [chapter]

Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
It is based on shallow embedding of programs, a polymorphic heap model using enumeration encodings and type classes, and a state-exception monad similar to known counterparts from Haskell.  ...  The framework immediately allows for correct code generation to ML and Haskell.  ...  Related Work Since the seminal paper by Peyton Jones and Wadler [12] , the use of monads to incorporate effects in purely functional programs is standard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71067-7_14">doi:10.1007/978-3-540-71067-7_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lcedkeoly5fzxol5ttbj6ezv24">fatcat:lcedkeoly5fzxol5ttbj6ezv24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401205251/http://www4.in.tum.de/~krauss/imperative/imperative.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/0a/c30a7fb85774f85514ec3c2e7888c0b08a5ba605.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71067-7_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Parametric polymorphism and semantic subtyping

Nils Gesbert, Pierre Genevès, Nabil Layaïda
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP &#39;11</a> </i> &nbsp;
in the context of XML.  ...  This provides a powerful polymorphic type system aiming at maintaining full static type-safety of functional programs that manipulate trees, even with higher-order functions, which is particularly useful  ...  The seminal work by Hosoya, Vouillon and Pierce on a type system for XML [12] applied the theory of regular expression types and finite tree automata in the context of XML.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2034773.2034789">doi:10.1145/2034773.2034789</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/GesbertGL11.html">dblp:conf/icfp/GesbertGL11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yoc2ewbxyvez7brjci67ppzqgy">fatcat:yoc2ewbxyvez7brjci67ppzqgy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120124173448/http://wam.inrialpes.fr/publications/2011/icfp11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/6f/e26f9589425e49846b9a8170d5306939d63239f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2034773.2034789"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti [chapter]

Raphaël Cauderlier, Catherine Dubois
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we propose to extend the FoCaLiZe compiler by a backend to the Dedukti language -a proof checker for Deduction modulo -in order to benefit from Zenon Modulo, an extension of Zenon for Deduction  ...  The paper focusses mainly on the process that overcomes the lack of local pattern-matching and recursive definitions in Dedukti.  ...  For implementing, FoCaLiZe offers a pure functional programming language close to ML, featuring a polymorphic type system, recursive functions, data types and pattern-matching.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-46750-4_26">doi:10.1007/978-3-319-46750-4_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3lcz3tnzsvejdlkvzpewkh4tty">fatcat:3lcz3tnzsvejdlkvzpewkh4tty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190219042355/http://pdfs.semanticscholar.org/186c/956b788539ddf32b0fd1546cb1f6e674ae4d.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/18/6c/186c956b788539ddf32b0fd1546cb1f6e674ae4d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-46750-4_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A type-based compiler for standard ML

Zhong Shao, Andrew W. Appel
<span title="1995-06-01">1995</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML.  ...  In order to support more efficient data representations and gain more experience about type-directed compilation, we have implemented a new type-based middle end and back end for the Standard ML of New  ...  This research is supported in part by National Science Foundation Grants CCR-9002786, CCR-9200790, and CCR-9501624.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/223428.207123">doi:10.1145/223428.207123</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/77tu74iddba5dntjgb7ahafxsm">fatcat:77tu74iddba5dntjgb7ahafxsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808202206/http://dp.iit.bme.hu/mfp/mfp03s/tcps.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/ab/1eab69b7a85f87eb265945bebddd6ac0e1e08be3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/223428.207123"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A type-based compiler for standard ML

Zhong Shao, Andrew W. Appel
<span title="">1995</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation - PLDI &#39;95</a> </i> &nbsp;
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML.  ...  In order to support more efficient data representations and gain more experience about type-directed compilation, we have implemented a new type-based middle end and back end for the Standard ML of New  ...  This research is supported in part by National Science Foundation Grants CCR-9002786, CCR-9200790, and CCR-9501624.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/207110.207123">doi:10.1145/207110.207123</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/ShaoA95.html">dblp:conf/pldi/ShaoA95</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5cfp5tac3zh3rbdd34dauscjoi">fatcat:5cfp5tac3zh3rbdd34dauscjoi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808202206/http://dp.iit.bme.hu/mfp/mfp03s/tcps.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/ab/1eab69b7a85f87eb265945bebddd6ac0e1e08be3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/207110.207123"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

ML Modules and Haskell Type Classes: A Constructive Comparison [chapter]

Stefan Wehr, Manuel M. T. Chakravarty
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation.  ...  The work at hand fills this gap: It introduces type-preserving translations from modules to type classes and vice versa, which enable a thorough comparison of the two concepts.  ...  For such cases, we definitely need to encode recursion in terms of recursive functors because polymorphic recursion is not available on the term level of Standard ML.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-89330-1_14">doi:10.1007/978-3-540-89330-1_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vztdqnlevzdlrogtccj4tpb25i">fatcat:vztdqnlevzdlrogtccj4tpb25i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080719222339/http://chak.web.cse.unsw.edu.au/~chak/papers/modules-classes.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f1/1b/f11b64806dbb17735e3709e322ee393ddce664c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-89330-1_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Foreword

Corrado Böhm, Irène Guessarian
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Extending the Type Checker of Standard ML by Polymorphic Recursion by M. Emms and H.  ...  Bugliesi investigates the role of matching in the design of a type system for the calculus of objects: a new operational semantics is defined and its type soundness is proved.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00133-9">doi:10.1016/s0304-3975(98)00133-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ea62itnvanbttcep6sq5qojv5y">fatcat:ea62itnvanbttcep6sq5qojv5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418204143/https://core.ac.uk/download/pdf/82111062.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/e7/f8e779f740d775107204d521a11cac7826e65693.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00133-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Programming Examples Needing Polymorphic Recursion

J.J. Hallett, A.J. Kfoury
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages.  ...  The basic type system, HM, is analogous to the type system of SML, Haskell, and OCaml, which allows let-polymorphism and only monomorphic recursion.  ...  Acknowledgments Joe Wells was a continual source of encouragement and technical advice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.06.014">doi:10.1016/j.entcs.2005.06.014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kcca4p3aefb3fme4ymw6drekqy">fatcat:kcca4p3aefb3fme4ymw6drekqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190219085522/https://core.ac.uk/download/pdf/82791265.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/08/4c/084cb286432129c555f922d55f1a0fea3c17fb8e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.06.014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Language support for feature-oriented product line engineering

Wonseok Chae, Matthias Blume
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bkbkidixczetzbllp2pobouque" style="color: black;">Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD &#39;09</a> </i> &nbsp;
The problem was that Standard ML did not fully realize this paradigm at the code level, which caused some difficulties when we were developing a set of compilers.  ...  In our previous work, we adopted feature-oriented product line engineering to build a family of compilers and managed variations using the Standard ML module system.  ...  MLPolyR is an ML-like language with row polymorphism, polymorphic record selection and polymorphic sums, functional record update and a Hindley-Milner-style type system with principal types [10, 11] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1629716.1629720">doi:10.1145/1629716.1629720</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/models/ChaeB09.html">dblp:conf/models/ChaeB09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7kmlhp2xbhglcux3qzec6t2jq">fatcat:u7kmlhp2xbhglcux3qzec6t2jq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100612213108/http://ttic.uchicago.edu/~wchae/files/fosd09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cb/3d/cb3ddbc74774c65f5a6d0243451766ae81c6fa99.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1629716.1629720"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

OCaml + XDuce

Alain Frisch
<span title="2006-09-16">2006</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
The challenge was to combine two type checkers of very different natures while preserving the best properties of both (principality and automatic type reconstruction on one side; very precise types and  ...  An optional preprocessing pass, called strengthening, can be added to allow more implicit use of XML subtyping. This pass is also very similar to an ML type checker.  ...  Acknowledgments The author would like to thank Didier Rémy and François Pottier for fruitful discussion about the design and formalization of type systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1160074.1159829">doi:10.1145/1160074.1159829</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5hsnlkjskzeh5acbbjx2x3x5sm">fatcat:5hsnlkjskzeh5acbbjx2x3x5sm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110720185547/http://www.cduce.org/papers/ocamlduce_icfp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/fd/a4fdf5a212981465f261780ac0675fe747ec8c5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1160074.1159829"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

OCaml + XDuce

Alain Frisch
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP &#39;06</a> </i> &nbsp;
The challenge was to combine two type checkers of very different natures while preserving the best properties of both (principality and automatic type reconstruction on one side; very precise types and  ...  An optional preprocessing pass, called strengthening, can be added to allow more implicit use of XML subtyping. This pass is also very similar to an ML type checker.  ...  Acknowledgments The author would like to thank Didier Rémy and François Pottier for fruitful discussion about the design and formalization of type systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159803.1159829">doi:10.1145/1159803.1159829</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/Frisch06.html">dblp:conf/icfp/Frisch06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/32so6cugirdlhi7rcbzqlaln2a">fatcat:32so6cugirdlhi7rcbzqlaln2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110720185547/http://www.cduce.org/papers/ocamlduce_icfp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/fd/a4fdf5a212981465f261780ac0675fe747ec8c5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159803.1159829"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

System Description: CYNTHIA [chapter]

Jon Whittle, Alan Bundy, Richard Boulton, Helen Lowe
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Mutual recursion could be added by extending the termination checker. We made a conscious decision to insist that the user provide type declarations.  ...  The most common way to write ML programs is via a text editor and compiler (such as the Standard ML of New Jersey compiler).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48660-7_36">doi:10.1007/3-540-48660-7_36</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nsfzcsxnqncdnja5lqbofdejta">fatcat:nsfzcsxnqncdnja5lqbofdejta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817071228/http://www.research.ed.ac.uk/portal/files/6321334/System_description_CyNTHIA.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/f0/5cf03615e24feef43bc081295de0fc75337e05d9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48660-7_36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Hygienic Source-Code Generation Using Functors [article]

Karl Crary
<span title="2018-01-04">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This results in all code being type checked in its appropriate context, and it assists the type checker in localizing errors correctly.  ...  We have implemented a lexer generator and parser generator based on this technique for Standard ML, OCaml, and Haskell.  ...  Observe that the implementations of the actions (the fields aa and abc of the argument structure) are ordinary ML code. As one consequence, the action code faces the standard type checker.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.01579v1">arXiv:1801.01579v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/om3vs2e6affz3emmk7d2ro6v2i">fatcat:om3vs2e6affz3emmk7d2ro6v2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200917141455/https://arxiv.org/pdf/1801.01579v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/f5/b6f582201b008367239d0826b3c8b69152b53396.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.01579v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Hygienic Source-Code Generation Using Functors [chapter]

Karl Crary
<span title="2017-12-22">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This results in all code being type checked in its appropriate context, and it assists the type checker in localizing errors correctly.  ...  We have implemented a lexer generator and parser generator based on this technique for both Standard ML and Haskell.  ...  Observe that the implementations of the actions (the fields aa and abc of the argument structure) are ordinary Standard ML code. As one consequence, the action code faces the standard type checker.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-73305-0_4">doi:10.1007/978-3-319-73305-0_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ojc22igytvh7hfonaea7uum7hq">fatcat:ojc22igytvh7hfonaea7uum7hq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171020233705/http://www.cs.cmu.edu/~crary/papers/2018/cmtool.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4c/86/4c86becf1c2875b7e8321e6a230f89f02f5ed4f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-73305-0_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,310 results