Filters








1,260 Hits in 2.4 sec

Design and implementation of generics for the .NET Common language runtime

Andrew Kennedy, Don Syme
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI &#39;01</a> </i> &nbsp;
Our design is very expressive, supporting parameterized types, polymorphic static, instance and virtual methods, "F-bounded" type parameters, instantiation at pointer and value types, polymorphic recursion  ...  In this paper we extend it with direct support for parametric polymorphism (also known as generics), describing the design through examples written in an extended version of the C# programming language  ...  Peyton Jones and others from the Programming Principles and Tools group in Cambridge.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378797">doi:10.1145/378795.378797</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/KennedyS01.html">dblp:conf/pldi/KennedyS01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vy4umfvq3ndana5iqnujk7zc2i">fatcat:vy4umfvq3ndana5iqnujk7zc2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041125030550/http://research.microsoft.com:80/~akenn/generics/DesignAndImplementationOfGenerics.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/eb/cc/ebcc78e197adcf095591ad4a3e379e6e77bf70f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378797"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Design and implementation of generics for the .NET Common language runtime

Andrew Kennedy, Don Syme
<span title="2001-05-01">2001</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;
Our design is very expressive, supporting parameterized types, polymorphic static, instance and virtual methods, "F-bounded" type parameters, instantiation at pointer and value types, polymorphic recursion  ...  In this paper we extend it with direct support for parametric polymorphism (also known as generics), describing the design through examples written in an extended version of the C# programming language  ...  Peyton Jones and others from the Programming Principles and Tools group in Cambridge.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378797">doi:10.1145/381694.378797</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/irj3jw5hbzeurbjfcxmh2kuxuq">fatcat:irj3jw5hbzeurbjfcxmh2kuxuq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041125030550/http://research.microsoft.com:80/~akenn/generics/DesignAndImplementationOfGenerics.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/eb/cc/ebcc78e197adcf095591ad4a3e379e6e77bf70f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378797"> <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 Ruby

Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uo6yx5jpgnf2zl7mkrumytd4ti" style="color: black;">Proceedings of the 2009 ACM symposium on Applied Computing - SAC &#39;09</a> </i> &nbsp;
We believe that DRuby takes a major step toward bringing the benefits of combined static and dynamic typing to Ruby and other object-oriented languages.  ...  and the documentation provided by type annotations.  ...  Acknowledgments This research was supported in part by NSF CCF-0346982 and DARPA ODOD.HR00110810073.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1529282.1529700">doi:10.1145/1529282.1529700</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sac/FurrAFH09.html">dblp:conf/sac/FurrAFH09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h4usz3vzsvhjhnzofr4yn7yuwa">fatcat:h4usz3vzsvhjhnzofr4yn7yuwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812041342/https://www.cs.umd.edu/users/jfoster/papers/oops09.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/01/be/01bee24cc686bf44f1dc501378bbfb8bf1b10921.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1529282.1529700"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Polymorphic RPC Calculus [article]

Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
<span title="2020-05-25">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We formulate a type system for the polymorphic RPC calculus, and prove its type soundness.  ...  Subsequently, the typed RPC calculus is designed to capture the location information of functions by types and to drive location type-directed slicing compilations.  ...  There are three inductive cases where A is a function type, a polymorphic type, and a polymorphic location.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.10988v3">arXiv:1910.10988v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vrom632xr5aplfwmiklnuas4ya">fatcat:vrom632xr5aplfwmiklnuas4ya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825061823/https://arxiv.org/pdf/1910.10988v3.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/d1/07/d107430be26216c90a080e97f6cc74dde8b15ec0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.10988v3" 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>

Module-per-Object: a Human-Driven Methodology for C++-based High-Level Synthesis Design [article]

Jeferson Santiago da Silva, François-Raymond Boyer, J.M. Pierre Langlois
<span title="2019-04-09">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Also, the MpO approach notably improves software quality, augmenting parametrization while eliminating the incidence of code duplication.  ...  These characteristics lead to high-quality software descriptions and efficient hardware generation.  ...  However, inheritance and static polymorphism are allowed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.06693v2">arXiv:1903.06693v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wxgapryxbfcwjgum6jaterfcqy">fatcat:wxgapryxbfcwjgum6jaterfcqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200928081934/https://arxiv.org/pdf/1903.06693v2.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/58/af580b7bda782a99ef696674cd95de18da0d3449.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.06693v2" 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>

Variation in the oxytocin receptor gene is associated with behavioral and neural correlates of empathic accuracy

Helle Ruff Laursen, Hartwig Roman Siebner, Tina Haren, Kristoffer Madsen, Rikke Grønlund, Oliver Hulme, Susanne Henningsson
<span title="2014-12-05">2014</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sx3lvh2nmvah7ilqdbdicsjcku" style="color: black;">Frontiers in Behavioral Neuroscience</a> </i> &nbsp;
The OXTR rs2268498 and rs53576 polymorphisms, but not the SLC6A4 5-HTTLPR, were associated with significant differences in empathic accuracy, with CC-and AA-carriers, respectively, displaying higher empathic  ...  We investigated the effect of variation in the oxytocin receptor gene (OXTR) and the serotonin transporter gene (SLC6A4) on the psychophysical and neurometric variability associated with empathic performance  ...  slice acquisition order).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnbeh.2014.00423">doi:10.3389/fnbeh.2014.00423</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/25538588">pmid:25538588</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4257152/">pmcid:PMC4257152</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e3rlyj2ivfa4rhuo33w5euo6ny">fatcat:e3rlyj2ivfa4rhuo33w5euo6ny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719112858/https://curis.ku.dk/ws/files/189410574/fnbeh_08_00423.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/3f/30/3f30f1cca4964c5c0bc93e71bc464b689697b78b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnbeh.2014.00423"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4257152" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) [article]

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
<span title="2016-05-04">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The trace typing approach involves gathering traces of program executions, inferring types for instances of variables and expressions occurring in a trace, and merging types according to merge strategies  ...  We present trace typing: a framework for automatically and quantitatively evaluating variations of a retrofitted type system on large code bases.  ...  TypeScript and Flow include forms of parametric polymorphism, based on programmer annotations. Trace typing can approximate some forms of parametric polymorphism (Section 3.4).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.01362v1">arXiv:1605.01362v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jacxtipj7bd77eykx6dulvu5hi">fatcat:jacxtipj7bd77eykx6dulvu5hi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191013195519/https://arxiv.org/pdf/1605.01362v1.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/81/66/816648201b0aa046634cf36092e2b3ec818d6b05.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.01362v1" 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>

Concept-Controlled Polymorphism [chapter]

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine
<span title="">2003</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;
First, concepts can be used to constrain parametric polymorphism, as exemplified by type classes in Haskell.  ...  We describe a C ++ implementation of a new mechanism, which we call enable if , and its role in concept-controlled polymorphism.  ...  This work was supported by NSF grants EIA-0131354 and ACI-0219884, and by a grant from the Lilly Endowment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39815-8_14">doi:10.1007/978-3-540-39815-8_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6lsljjz76fdfxfkmefrwh5lmlq">fatcat:6lsljjz76fdfxfkmefrwh5lmlq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040903101636/http://www.objectdays.org:80/pdf/03/papers/gpce/28300228.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/3d/07/3d078e9f98b2a5b615196beae271ce7218fc4358.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-39815-8_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Extensible programming with first-class cases

Matthias Blume, Umut A. Acar, Wonseok Chae
<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;
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases.  ...  We give a type system for the language and provide rules for a 2-phase transformation: first into an explicitly typed λ-calculus with record polymorphism, and finally to efficient index-passing code.  ...  The same argument does not work for Haskell, because due to type classes Haskell's polymorphism is not parametric.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159803.1159836">doi:10.1145/1159803.1159836</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/BlumeAC06.html">dblp:conf/icfp/BlumeAC06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mm43vfniz5eovgew2ghil5q4ka">fatcat:mm43vfniz5eovgew2ghil5q4ka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922235144/https://www.brinckerhoff.org/clements/csc530-sp08/Readings/blume-2006.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/73/11/73113c3629fc996fa7cc3e59533a4f3e92a81d69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159803.1159836"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Extensible programming with first-class cases

Matthias Blume, Umut A. Acar, Wonseok Chae
<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;
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases.  ...  We give a type system for the language and provide rules for a 2-phase transformation: first into an explicitly typed λ-calculus with record polymorphism, and finally to efficient index-passing code.  ...  The same argument does not work for Haskell, because due to type classes Haskell's polymorphism is not parametric.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1160074.1159836">doi:10.1145/1160074.1159836</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nxza4vp2p5c4ja5q3rfjqogakm">fatcat:nxza4vp2p5c4ja5q3rfjqogakm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922235144/https://www.brinckerhoff.org/clements/csc530-sp08/Readings/blume-2006.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/73/11/73113c3629fc996fa7cc3e59533a4f3e92a81d69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1160074.1159836"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Dynamically Composable Collaborations with Delegation Layers [chapter]

Klaus Ostermann
<span title="">2002</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;
Different techniques and language extensions have been suggested to express such slices in programming languages.  ...  We propose delegation layers, an approach that scales the OO mechanisms for single objects, such as delegation, late binding, and subtype polymorphism, to sets of collaborating objects.  ...  Java Layers extend Java by supporting constrained parametric polymorphism and mixins.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-47993-7_4">doi:10.1007/3-540-47993-7_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4o7bmtccpvfz7j2i3na24igqam">fatcat:4o7bmtccpvfz7j2i3na24igqam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709152628/https://www.informatik.uni-marburg.de/~kos/papers/delglayers.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/61/d2/61d2f6d52d0177654e83468af344043074612667.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-47993-7_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model Transformation Reuse Across Metamodels [chapter]

Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
<span title="">2018</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;
We discuss strengths and weaknesses of each approach, provide a reading grid used to compare their features, and identify gaps in current reuse approaches.  ...  In this paper, we classify reuse approaches for MTs across different metamodels and compare a sample of specific approaches -model types, concepts, a-posteriori typing, multilevel modeling, and design  ...  Work partially supported by the Spanish MINECO (TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), the Safran/Inria/CNRS collaboration GLOSE, and the Inria/CWI Associated Team ALE  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-93317-7_4">doi:10.1007/978-3-319-93317-7_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rsfwvcuqxve4jjbsjvdjrazscm">fatcat:rsfwvcuqxve4jjbsjvdjrazscm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200307190554/https://hal.inria.fr/hal-01910113/document" 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/00/aa/00aacfe6f228d583c2366714a03e7be5339915c7.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-93317-7_4"> <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 [article]

Ralf Laemmel
<span title="2002-11-01">2002</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
intensional, polytypic, and ad-hoc polymorphism.  ...  The way we develop the model and the suite of traversal schemes, it becomes clear that parameterised + typed strategic programming is best viewed as a potent combination of certain bits of parametric,  ...  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>

The essence of Reynolds

Stephen Brookes, Peter W. O'Hearn, Uday Reddy
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL &#39;14</a> </i> &nbsp;
In this paper we pay tribute to the man, his ideas, and his influence.  ...  by the two slices of the program without any observable difference.  ...  There is a significant focus on abstraction and refinement in "craft", and on controlling interference as an aid to modular reasoning. • Types, Abstraction and Parametric Polymorphism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2535838.2537851">doi:10.1145/2535838.2537851</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/BrookesOR14.html">dblp:conf/popl/BrookesOR14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gf5zdcx4j5dyhebxwbgwpvhere">fatcat:gf5zdcx4j5dyhebxwbgwpvhere</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216164054/https://static.aminer.org/pdf/20170130/pdfs/popl/dugbv3kyl7gf2efjzhrxvjbxckitn15q.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/ac/88/ac881fb98c833e5e07fb50db7488ec1136787273.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2535838.2537851"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The Essence of Reynolds

Stephen Brookes, Peter W. O'Hearn, Uday Reddy
<span title="2014-04-12">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
In this paper we pay tribute to the man, his ideas, and his influence.  ...  by the two slices of the program without any observable difference.  ...  There is a significant focus on abstraction and refinement in "craft", and on controlling interference as an aid to modular reasoning. • Types, Abstraction and Parametric Polymorphism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-014-0295-x">doi:10.1007/s00165-014-0295-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cf3w7y647ratnebxbisrrw6oee">fatcat:cf3w7y647ratnebxbisrrw6oee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140908045859/http://www.cs.bham.ac.uk/~udr/papers/EssenceOfReynolds.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/be/f6/bef6e07e7760a87a5e5a5421a78a2b186351b490.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-014-0295-x"> <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,260 results