Filters








2,729 Hits in 2.0 sec

Polymorphic variants in Haskell

Koji Kagawa
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7v65k6c67beuveqr6z2ryoy2n4" style="color: black;">Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell &#39;06</a> </i> &nbsp;
This paper, first, explains how to encode polymorphic variants in Haskell's type system (Haskell 98 + popular extensions). However, this encoding of polymorphic variants are rarely used in practice.  ...  In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors.  ...  Encoding Polymorphic Variants in Haskell In this section, we will explain how to encode polymorphic variants in Haskell and how to reuse existing functions defined for polymorphic variants, solving the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159842.1159848">doi:10.1145/1159842.1159848</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/haskell/Kagawa06.html">dblp:conf/haskell/Kagawa06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4pxfotldkfgwjplnomw5qajqkm">fatcat:4pxfotldkfgwjplnomw5qajqkm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150908214426/http://guppy.eng.kagawa-u.ac.jp/~kagawa/PVH/PolymorphicVariantsInHaskell.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/64/76/647608aed396dacb6085e4c9dc25ecb44902eb14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159842.1159848"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Client-Side Web Scripting with HaskellScript [chapter]

Erik Meijer, Daan Leijen, James Hook
<span title="">1998</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;
In this paper we explain the basic DOM API by means of examples and report on our experiences of using Haskell as a programming language for client-side web scripting.  ...  In particular we show h o w polymorphism and overloading can be used to make scripting type safe, without losing the exibility that programmers expect from scripting languages.  ...  The type class Variant contains two member functions, the rst one marshal :: Variant a = a -IO Variant marshals a Haskell value into a Variant and the second unmarshal :: Variant -IO a unmarshals a Variant  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49201-1_14">doi:10.1007/3-540-49201-1_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6dqkhl4ctzap7h3s7ngjdunwta">fatcat:6dqkhl4ctzap7h3s7ngjdunwta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060915174152/http://www-internal.cse.ogi.edu/PacSoft/publications/phaseiiiq8papers/clientside.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/bc/6e/bc6e6dbd675a2500a3007698914467246a5a579f.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-49201-1_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Haskell's overlooked object system [article]

Oleg Kiselyov, Ralf Laemmel
<span title="2005-09-10">2005</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
polymorphic classes, flexible multiple inheritance, safe downcasts and safe co-variant arguments.  ...  Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism of object-oriented languages such as Java and OCaml.  ...  We also gratefully acknowledge feedback from Robin Green, Bryn Keller, Chris Rathman and several other participants in mailing list or email discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0509027v1">arXiv:cs/0509027v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t3hgy6yxcff4ldzko3hogvt6ha">fatcat:t3hgy6yxcff4ldzko3hogvt6ha</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0509027/cs0509027.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/d4/4d/d44d74bff653618de354aa4935155304fdbe9f13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0509027v1" 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>

Modular polymorphic defunctionalization

Georgios Fourtounis, Nikolaos Papaspyrou, Panagiotis Theofilopoulos
<span title="">2014</span> <i title="National Library of Serbia"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rhtuh2ifczhapmhplqzald63za" style="color: black;">Computer Science and Information Systems</a> </i> &nbsp;
In this paper, we formalize a modular variant of defunctionalization which can support separate compilation for a functional programming language with parametric polymorphism.  ...  Our technique allows modules in a Haskell-like language to be separately defunctionalized and compiled, then linked together to generate an executable program.  ...  Investing in knowledge society through the European Social Fund. Project code: MIS 380153.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2298/csis130923030f">doi:10.2298/csis130923030f</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tquan4zczfedtlyabq2wjzq3ai">fatcat:tquan4zczfedtlyabq2wjzq3ai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815064523/http://www.doiserbia.nb.rs/img/doi/1820-0214/2014/1820-02141400030F.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/a4/bea46d108cd8e639f936bec2332785ab6cd5c87e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2298/csis130923030f"> <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>

SSR-Marker Analysis of the Intracultivar Phenotypic Variation Discovered within 3 Soybean Cultivars

Jennifer L. Yates, H. Roger Boerma, Vasilia A. Fasoula
<span title="2012-04-30">2012</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kd2t7ecy6bffjndxlqugmyurky" style="color: black;">Journal of Heredity</a> </i> &nbsp;
More specifically, 82% of the SSR variant alleles were traced in the Benning Foundation seed source, 93% in the Haskell seed source, and 82% in the Cook seed source.  ...  The 7 lines from Haskell had a total of 63 variant alleles, the 5 lines from Benning had 34 variant alleles, and the 7 lines from Cook had 34 variant alleles, therefore, possessing unique genetic fingerprints  ...  Similarly, 7% of SSR variant bands found in the Haskell selections could not be detected in the Haskell seed source, and 18% of the variant bands found in the Cook selections could not be detected in the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jhered/ess015">doi:10.1093/jhered/ess015</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22547666">pmid:22547666</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ajssayma3bdlpfhk7myr2jbb5m">fatcat:ajssayma3bdlpfhk7myr2jbb5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190226015249/http://pdfs.semanticscholar.org/6abf/ce1da949222e1acca9c7f07b9010e2705b19.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/6a/bf/6abfce1da949222e1acca9c7f07b9010e2705b19.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jhered/ess015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Implementing functional languages on object-oriented virtual machines

N. Perry, E. Meijer
<span title="">2004</span> <i title="Institution of Engineering and Technology (IET)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ifjlwjvjg5fv3irmlpg2d6u4ii" style="color: black;">IEE Proceedings - Software</a> </i> &nbsp;
We discuss some of the issues involved in implementing functional languages on object-oriented virtual environments (VE) such as the Java Virtual Machine and Microsoft's .NET.  ...  The paper concentrates on how functional language type systems can be supported in these OO-typed environments, and on how functional and OO languages can interwork.  ...  For example in Haskell a list of integers may be expressed as: These two are not equivalent, the former supports a single level of variants and the number of variants is fixed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/ip-sen:20040320">doi:10.1049/ip-sen:20040320</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/grmm66cr3rgoxbyg7c7sdqz5lu">fatcat:grmm66cr3rgoxbyg7c7sdqz5lu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811054606/http://www.cin.ufpe.br/~haskell/papers/Implementing_Functional_Languages_on_Object-Oriented_Virtual_Machines-Perry&amp;Meijer.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/74/05/7405081a9c47de0b5d0a1d6260057486f5dd3001.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/ip-sen:20040320"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Typing Haskell with an Attribute Grammar [chapter]

Atze Dijkstra, S. Doaitse Swierstra
<span title="">2005</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 fills this gap by describing the implementation of a series of compilers for a simplified variant of Haskell.  ...  Currently, as part of an ongoing work [11] , in the compilers following the compilers described in these notes, the following Haskell features are dealt with: EH 4.  ...  name Essential Haskell (EH) used for simplified variants of Haskell 1 in these notes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11546382_1">doi:10.1007/11546382_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/quwhzsglz5fpploiay2gdkvjyi">fatcat:quwhzsglz5fpploiay2gdkvjyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810093535/http://foswiki.cs.uu.nl/foswiki/pub/Atze/WebHome/20050311-afp04.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/79/10/7910bd37ea9047d36268fb5c42511c9d4af9b8e8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11546382_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Hardware synthesis from a recursive functional language

Kuangya Zhai, Richard Townsend, Lianne Lairmore, Martha A. Kim, Stephen A. Edwards
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4zelo33ojdfzbwajaf5qlthey" style="color: black;">2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)</a> </i> &nbsp;
Abstraction in hardware description languages stalled at the register-transfer level decades ago, yet few alternatives have had much success, in part because they provide only modest gains in expressivity  ...  Our compiler translates general Haskell programs into a restricted intermediate representation before applying a series of semantics-preserving transformations, concluding with a simple syntax-directed  ...  The first dialect is GHC's explicitly typed, polymorphic IR, which removes a number of Haskell constructs but still contains recursion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/codesisss.2015.7331371">doi:10.1109/codesisss.2015.7331371</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/codes/ZhaiTLKE15.html">dblp:conf/codes/ZhaiTLKE15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q3u3t7spgzb4tllrbvl64itebm">fatcat:q3u3t7spgzb4tllrbvl64itebm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150624041314/http://www1.cs.columbia.edu/~sedwards/papers/zhai2015hardware.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/89/7c/897cd2959c3712821def60a408e3295fd1661769.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/codesisss.2015.7331371"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

"Scrap Your Boilerplate" Revolutions [chapter]

Ralf Hinze, Andres Löh
<span title="">2006</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;
In this paper, we show how to overcome both limitations. The main technical contributions are the 'type spine' view and the 'lifted spine' view.  ...  Its main weakness roots in the value-orientation: one can only define generic functions that consume data (show ) but not ones that produce data (read ).  ...  Oliveira and Gibbons [29] present a light-weight variant of PolyP that works within Haskell 98. sum-of-products view: Generic Haskell [2, 32, 33] (GH) builds upon this view.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11783596_13">doi:10.1007/11783596_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dqrjsgzw35g3tpmj6cohqdlbri">fatcat:dqrjsgzw35g3tpmj6cohqdlbri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060925213551/http://www.informatik.uni-bonn.de/%7Eralf/publications/SYB1.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/64/be/64bea73e4b4824d4e93a776200bad4c4c6b8f5a4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11783596_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Catch Me If You Can [chapter]

David Teller, Arnaud Spiwack, Till Varoquaux
<span title="">2011</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;
Our work is based on OCaml and features simple uses of higher-order programming, low-level exceptions, phantom types, polymorphic variants and compile-time code rewriting.  ...  In this document, we demonstrate a design principle and a tiny library for managing errors in a functional manner, with static coverage-checking, automatically-inferred, structurally typed and hierarchical  ...  a larger polymorphic variant containing all the constructors of each of the smaller variants • the same constructor may appear in several otherwise unrelated polymorphic variants.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24452-0_14">doi:10.1007/978-3-642-24452-0_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3wthprbtinep3gq3gngtsfarra">fatcat:3wthprbtinep3gq3gngtsfarra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110818020758/http://www.univ-orleans.fr/lifo/Members/David.Teller/publications/ml2008.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/f2/76/f276b16ec138036c0cb03e979025b31314d10f2d.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-24452-0_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Special Issue on Generic Programming Editorial

RALF HINZE
<span title="">2010</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
Haskell scores well in this regard because of its type classes, so does C++ extended with the notion of concepts.  ...  Hinze introduces a generic variant of the worker/wrapper transformation, illustrating the technique with numerous examples.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796810000286">doi:10.1017/s0956796810000286</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5zs5dcu7rreldjf7zzn3gxa7ga">fatcat:5zs5dcu7rreldjf7zzn3gxa7ga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724183231/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/7AFE2E70F95A1714D2E3811253691420/S0956796810000286a.pdf/div-class-title-special-issue-on-generic-programming-editorial-div.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/f3/49f328e1febdb27a1a6113579f65f414a118e762.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796810000286"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Software extension and integration with type classes

Ralf Lämmel, Klaus Ostermann
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/njckhhsy45acjc6agj5now7wey" style="color: black;">Proceedings of the 5th international conference on Generative programming and component engineering - GPCE &#39;06</a> </i> &nbsp;
We reconsider these challenges at the level of language expressiveness, by using the language concept of type classes, as it is available in the functional programming language Haskell.  ...  We also pinpoint several limitations of type classes in this context.  ...  Assessment Extensibility in the data dimension is straightforward: first add the designated datatype for the data variant, then add the variant to the union with an instance.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1173706.1173732">doi:10.1145/1173706.1173732</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/gpce/LammelO06.html">dblp:conf/gpce/LammelO06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kbrikvuvp5a57mfz5du6dhfope">fatcat:kbrikvuvp5a57mfz5du6dhfope</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160614204425/http://www.informatik.uni-marburg.de/~kos/papers/gpce06.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/76/73/7673ff1a00a544a094c4de3da0bc0e68c8bfde45.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1173706.1173732"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </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>
For completeness, we also provide an operational reference model for implementing functional strategies (in Haskell).  ...  In the present paper, we provide a compact and matured reconstruction of functional strategies. We capture strategic polymorphism by just two primitive combinators.  ...  (adhocMTU is a type-specialised variant of adhoc, and oneMTU is defined in terms of hfoldr as we will show later.)  ... 
<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>

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

Olivier Danvy, Morten Rhiger
<span title="2000-06-04">2000</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
<p>We present a simple way to program typed abstract syntax in a <br />language following a Hindley-Milner typing discipline, such as Haskell and ML, and we apply it to automate two proofs about normalization  ...  </p><p>Keywords: Type-directed partial evaluation, normalization functions, simply-typed lambda-calculus, higher-order abstract syntax, Haskell.</p>  ...  Part of it was carried out while the second author was visiting Jason Hickey at Caltech, in the summer and fall of 2000.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v7i34.20169">doi:10.7146/brics.v7i34.20169</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hbu4tlrg5fhzpm66xd7l4l4lpm">fatcat:hbu4tlrg5fhzpm66xd7l4l4lpm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922045833/https://tidsskrift.dk/index.php/brics/article/download/20169/17789" 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/d8/95/d895cd79186d1a13ec190eb5261dd83ce3131f26.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v7i34.20169"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Simple Take on Typed Abstract Syntax in Haskell-like Languages [chapter]

Olivier Danvy, Morten Rhiger
<span title="">2001</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;
We present a simple way to program typed abstract syntax in a language following a Hindley-Milner typing discipline, such as Haskell and ML, and we apply it to automate two proofs about normalization functions  ...  as embodied in type-directed partial evaluation for the simply typed lambda calculus: normalization functions (1) preserve types and (2) yield long beta-eta normal forms.  ...  Part of it was carried out while the second author was visiting Jason Hickey at Caltech, in the summer and fall of 2000.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44716-4_22">doi:10.1007/3-540-44716-4_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s4ak2dwxbnadzgcr4yhlrgq4li">fatcat:s4ak2dwxbnadzgcr4yhlrgq4li</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922045833/https://tidsskrift.dk/index.php/brics/article/download/20169/17789" 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/d8/95/d895cd79186d1a13ec190eb5261dd83ce3131f26.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-44716-4_22"> <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 2,729 results