Filters








6,135 Hits in 2.7 sec

The Sketch of a Polymorphic Symphony [article]

Ralf Laemmel
<span title="2002-11-01">2002</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Secondly, we use an encoding scheme of run-time type case for mixing uniform and type-specific behaviour.  ...  intensional, polytypic, and ad-hoc polymorphism.  ...  Acknowledgement The following people contributed beats to this polymorphic symphony: Jan Kort, Andres Löh, Simon Peyton-Jones, Joost Visser, and Stephanie Weirich.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0204013v2">arXiv:cs/0204013v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vy3y64nkqfh4ll73omwromwscm">fatcat:vy3y64nkqfh4ll73omwromwscm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171008201146/https://core.ac.uk/download/pdf/2418310.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/b0/71/b071f793bf2228b8538561957f39ddfd34109a5e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0204013v2" 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>

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining [chapter]

Olaf Chitil
<span title="">2000</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;
Hence we develop a more general worker/wrapper scheme without build. We give a type-inference based algorithm which splits definitions into workers and wrappers.  ...  To perform short cut deforestation (nearly) without inlining, Gill suggested to split definitions into workers and wrappers and inline only the small wrappers, which transfer the information needed for  ...  system with polymorphic recursion if it is typable and may diverge otherwise.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/10722298_2">doi:10.1007/10722298_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l3jfkbfcirb6xhbkm6pc6is5ey">fatcat:l3jfkbfcirb6xhbkm6pc6is5ey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041122111443/http://www.cs.kent.ac.uk:80/pubs/1999/1910/content.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/53/f2/53f2cf9ea1e016e9dbe953c432ebd080f66de792.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/10722298_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Sketch of a Polymorphic Symphony

Ralf Lämmel
<span title="">2002</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;
Secondly, we use an encoding scheme of run-time type case for mixing uniform and type-specific behaviour.  ...  intensional, polytypic, and ad-hoc polymorphism.  ...  Acknowledgement The following people contributed beats to this polymorphic symphony: Jan Kort, Andres Löh, Simon Peyton-Jones, Joost Visser, and Stephanie Weirich.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80604-2">doi:10.1016/s1571-0661(04)80604-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ydi6ru3dznbnhn66gsmgdkwhru">fatcat:ydi6ru3dznbnhn66gsmgdkwhru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004174007/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/e3d/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDgwNjA0Mg%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/9e/e7/9ee7a601ebfe099c792ac84300e56854e67c77a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80604-2"> <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>

Extensional polymorphism

Catherine Dubois, François Rouaix, Pierre Weis
<span title="">1995</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;95</a> </i> &nbsp;
This formalism is compatible with parametric polymorphism, and supports a large class of functions defined by structural pattern matching on types.  ...  We present the extensional polymorphism, a framework to type check ad hoc polymorphic functions.  ...  Acknowledgments We thank the whole virtual bat8 community for many useful discussions, in particular Bernard Lang, Jean-Jacques L&y, Luc Maranget, Xavier Leroy, Didier R6my and again Damien Doligez, Turing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/199448.199473">doi:10.1145/199448.199473</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/DuboisRW95.html">dblp:conf/popl/DuboisRW95</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a62uiqnutnbj3ewowyfskmqdka">fatcat:a62uiqnutnbj3ewowyfskmqdka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216063812/https://static.aminer.org/pdf/20170130/pdfs/popl/mvbs1aljrfk3ce8xdvia4igtd0ryxqp5.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/96/fa/96fa9d64f80a53e8ea1935eb7410b208a4d6f9de.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/199448.199473"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Untyped Recursion Schemes and Infinite Intersection Types [chapter]

Takeshi Tsukada, Naoki Kobayashi
<span title="">2010</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;
schemes, so that the model checking can be reduced to type checking as in recent work by Kobayashi and Ong for typed recursion schemes.  ...  As recursion schemes are essentially terms of the simply-typed lambdacalculus with recursion and tree constructors, however, it was not clear how the new framework applies to programs written in languages  ...  Since various type systems, possibly with polymorphic and recursive types, can be regarded as restricted forms of the intersection type system, our studies of the intersection-typed recursion schemes can  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-12032-9_24">doi:10.1007/978-3-642-12032-9_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fqmrmf2yqjbozkrx2nbuy4frvq">fatcat:fqmrmf2yqjbozkrx2nbuy4frvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502213654/https://link.springer.com/content/pdf/10.1007%2F978-3-642-12032-9_24.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/1a/69/1a695b88dbf4c264023492de7c7a0d93b65f28df.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-642-12032-9_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

First-class polymorphism for ML [chapter]

Stefan Kahrs
<span title="">1994</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;
Polymorphism in ML is implicit: type variables are silently introduced and eliminated.  ...  This is not so much a question of programming language design as a contribution for better understanding the relationship between polymorphic functions, polymorphic types, and functors.  ...  Acknowledgements I would like to thank Bernd Gersdorf, Claudio Russo, Don Sannella and Andrzej Tarlecki and the ESOP referees for valuable discussions on this subject and feedback on an earlier version  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57880-3_22">doi:10.1007/3-540-57880-3_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nurfxyxb7fgv5lgxcdai2pbnfa">fatcat:nurfxyxb7fgv5lgxcdai2pbnfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030112445/https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_22.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/33/59/3359b50e58cf568c792cbdb16a514756e3853807.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-57880-3_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Strategic polymorphism requires just two combinators! [article]

Ralf Laemmel, Joost Visser
<span title="2002-12-19">2002</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any type while mixing uniform and type-specific behaviour.  ...  In the present paper, we provide a compact and matured reconstruction of functional strategies. We capture strategic polymorphism by just two primitive combinators.  ...  This turns traversal schemes into programmable entities where ordinary recursive function definition suffices to complete folding into recursive traversal. The paper is structured as follows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0212048v1">arXiv:cs/0212048v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hn5yxlc655a67a7anr3rnxshuy">fatcat:hn5yxlc655a67a7anr3rnxshuy</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0212048/cs0212048.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a6/09/a60925600dec8ab6ad06a07b7549cb15f81f5e3f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0212048v1" 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>

Type inference with polymorphic recursion

Fritz Henglein
<span title="1993-04-01">1993</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a> </i> &nbsp;
Mycroft has extended its problematic monomorphic typing rule for recursive definitions with a polymorphic typing rule.  ...  SUMMARY AND OUTLOOK The Milner-Mycroft Calculus is a type system that permits polymorphic usage of recursively defined functions inside their own definitions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/169701.169692">doi:10.1145/169701.169692</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oj2ywojinnhitliphwlbnw2uae">fatcat:oj2ywojinnhitliphwlbnw2uae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170129233436/http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1993a.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/49/94/4994387cee0bbd4816cd44e8461af41ec08c7924.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/169701.169692"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs [chapter]

Pedro B. Vasconcelos, Kevin Hammond
<span title="">2004</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;
This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annotations or unusual syntax.  ...  Our type reconstruction algorithm is capable of inferring cost equations for a subset of recursive programs whose costs can be expressed using primitive recursion.  ...  We believe, however, that these should be analogous to proofs for other type and effect systems [1] . We are grateful toÁlvaro J.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27861-0_6">doi:10.1007/978-3-540-27861-0_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tqwvfpp67vbqxf7vkghuhqiany">fatcat:tqwvfpp67vbqxf7vkghuhqiany</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20091226183054/http://www.ncc.up.pt/~pbv/research/ifl2004.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/d1/a4d1265e3b7473e73ab168b8fa06d185733f853c.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-27861-0_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time [chapter]

Dirk Dussart, Fritz Henglein, Christian Mossin
<span title="">1995</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;
The combination of parameter polymorphism, subtyping extended to qualified and polymorphic types, and polymorphic recursion is useful in standard type inference and gives expressive type-based program  ...  In a program analysis context we show how Mycroft's iterative method of computing principal types for a type system with polymorphic recursion can be generalized and adapted to work in a setting with subtyping  ...  Polymorphic recursion was introduced in [12] as an extension of ML style polymorphism that allows recursive definitions to be used at different types inside the definition.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-60360-3_36">doi:10.1007/3-540-60360-3_36</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pjeutkttwfbabclrqas4rgxii4">fatcat:pjeutkttwfbabclrqas4rgxii4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150906062720/http://repository.readscheme.org/ftp/papers/topps/D-243.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/ea/a3/eaa3098752565d5827819047552be7d17e30f44c.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-60360-3_36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Flexible representation analysis

Zhong Shao
<span title="">1997</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP &#39;97</a> </i> &nbsp;
Our new scheme supports unboxed representations for recursive and mutable types, yet it only requires little runtime type analysis.  ...  For example, Leroy's coercion-based approach does not handle recursive data types and mutable types well.  ...  Acknowledgements We would like to thank Andrew Appel, Dave Berry, Franklhr Chen, Simon Peyton Jones, and the ICFP program committee for their comments and suggestions on an early version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/258948.258958">doi:10.1145/258948.258958</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/Shao97.html">dblp:conf/icfp/Shao97</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nqlhmmbpcbbizbbxo24gp4qdwq">fatcat:nqlhmmbpcbbizbbxo24gp4qdwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216080107/https://static.aminer.org/pdf/PDF/000/310/120/flexible_representation_analysis.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/45/5b/455bbdbe911e92036c07812150e495f0dfce9efa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/258948.258958"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Using Rewriting to Synthesize Functional Languages to Digital Circuits [chapter]

Christiaan Baaij, Jan Kuper
<span title="">2014</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;
The type of these variables determines the bit-width of the wires. Assigning a bit-width to polymorphic and function-type variables within this direct synthesis scheme is impossible.  ...  Using a term rewrite system, polymorphic and function-type binders can be completely eliminated from a circuit description given only minor, reasonable, restrictions on the input.  ...  Because CλaSH is a polymorphic, higher-order language, the arguments and results can however contain polymorphic or function-typed values.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-45340-3_2">doi:10.1007/978-3-642-45340-3_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7s6ojzn5kne7hahlqecxtdjwga">fatcat:7s6ojzn5kne7hahlqecxtdjwga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170107095543/http://jeapostrophe.github.io/conferences/2013-tfp/proceedings/tfp2013_submission_22.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/e1/52/e1520fde55526f8965039fba3986c935d9ab7af9.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-642-45340-3_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Data Definitions in the ACL2 Sedan

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
<span title="2014-06-04">2014</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
Our framework concisely supports common data definition patterns, e.g. list types, map types, and record types. It also provides support for polymorphic functions.  ...  We were teaching undergraduate students how to reason about programs using ACL2s and wanted to provide them with an effective method for defining, testing, and reasoning about data types in the context  ...  FA8750-10-2-0233 and by NSF grants CCF-1117184 and CCF-1319580.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.152.3">doi:10.4204/eptcs.152.3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pconzth265do3bstja2b65i3yi">fatcat:pconzth265do3bstja2b65i3yi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191228094550/http://www.ccs.neu.edu/home/pete/pub/acl2-2014.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/ba/0a/ba0a7f421130f3994ae08310b78780d0d1e01a7b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.152.3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Static type inference for parametric classes

A. Ohori, P. Buneman
<span title="">1989</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA &#39;89</a> </i> &nbsp;
The type correctness of class declarations is statically checked, and a principal scheme is inferred for any type correct program containing methods and objects defined in classes.  ...  Classes can be parameterized by types allowing "generic" definitions.  ...  From a definition of reverse that contains no mention of types, the ML type system is able to infer that list(t) → list(t) is a most general polymorphic type-scheme of reverse where t is a type variable  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/74877.74923">doi:10.1145/74877.74923</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/OhoriB89.html">dblp:conf/oopsla/OhoriB89</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x5ldjk76wvcptavt2da5manrp4">fatcat:x5ldjk76wvcptavt2da5manrp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809144357/http://homepages.inf.ed.ac.uk/opb/papers/TAOOP1994.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/af/a6/afa6b0f42a67f243d23424e67a7dd28233a121de.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/74877.74923"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static type inference for parametric classes

A. Ohori, P. Buneman
<span title="1989-10-01">1989</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 type correctness of class declarations is statically checked, and a principal scheme is inferred for any type correct program containing methods and objects defined in classes.  ...  Classes can be parameterized by types allowing "generic" definitions.  ...  From a definition of reverse that contains no mention of types, the ML type system is able to infer that list(t) → list(t) is a most general polymorphic type-scheme of reverse where t is a type variable  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/74878.74923">doi:10.1145/74878.74923</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cszor2migndrletthkhcq547me">fatcat:cszor2migndrletthkhcq547me</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809144357/http://homepages.inf.ed.ac.uk/opb/papers/TAOOP1994.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/af/a6/afa6b0f42a67f243d23424e67a7dd28233a121de.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/74878.74923"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 6,135 results