Filters








5,823 Hits in 4.6 sec

Extended static checking for haskell

Dana N. Xu
<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;
In this paper, we describe an extended static checking tool for Haskell, named ESC/Haskell, that is based on symbolic computation and assisted by a few novel strategies.  ...  Extended static checking has been applied to objectoriented languages, like Java and C#, but it has not been applied to a lazy functional language, like Haskell.  ...  Acknowledgments I would like to thank my advisor Simon Peyton Jones for spending tremendous time in discussing the detailed design of the ESC/Haskell system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159842.1159849">doi:10.1145/1159842.1159849</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/haskell/Xu06.html">dblp:conf/haskell/Xu06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gd4imuqvyjeu7h6lqxpwa3dxeu">fatcat:gd4imuqvyjeu7h6lqxpwa3dxeu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809070204/http://gallium.inria.fr/~naxu/research/escH-hw.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/16/14/16149cc750d274b682f81db521a0f7004e31b5e8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159842.1159849"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Orthogonal Serialisation for Haskell [chapter]

Jost Berthold
<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;
To date, solutions to serialisation for Haskell generally do not support higher-order functions and introduce additional strictness.  ...  This paper investigates a novel approach to serialisation of Haskell data structures with a high degree of flexibility, based on runtime support for parallel Haskell on distributed memory platforms.  ...  We would like to thank all colleagues from Marburg, Edinburgh and St.Andrews who were and are supporting the development of parallel Haskell on distributed memory platforms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24276-2_3">doi:10.1007/978-3-642-24276-2_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/trdmmrocdvcdhbirursgpo4tim">fatcat:trdmmrocdvcdhbirursgpo4tim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151028011435/http://www.diku.dk:80/~berthold/papers/mainIFL10-withCopyright.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/19/d9/19d9fb03cc0e9747b1208535cbe2751749b39dac.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-24276-2_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards a Strongly Typed Functional Operating System [chapter]

Arjen van Weelden, Rinus Plasmeijer
<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;
The shell uses a functional-style command language that allows construction of new processes, and it type checks the command line before executing it.  ...  , precedes a type definition in Clean. 3 Function types in Clean separate arguments by white space instead of ->. 4 Clean denotes overloading in a class K as: a | K a, whereas Haskell uses (K a) => a.  ...  static types where possible and, if static checking cannot be done (e.g. between different programs), dynamic type checks; -Achieve a system that is easy to port to another operating system (if the Clean  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44854-3_14">doi:10.1007/3-540-44854-3_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hd6uof7pvnfjhh3c2ivtlluuky">fatcat:hd6uof7pvnfjhh3c2ivtlluuky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160610142339/http://www.mbsd.cs.ru.nl/publications/papers/2003/vWeA2003-Famke.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/87/39/8739c10b2be141a7fd00d906e99a3ebbaad5a32f.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-44854-3_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

First Class Syntax, Semantics, and Their Composition

Marcos Viera, S. Doaitse Swierstra
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vxvvpoup2fdh5io7x4xnimgwpe" style="color: black;">Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL &#39;13</a> </i> &nbsp;
type-checked "language definition fragments".  ...  When describing (extensible) programming languages, attribute grammars have turned out to be an excellent tool for modular definition and integration of their different aspects.  ...  Over the years this method has been very effective, and especially modern, lazily evaluated, statically typed functional languages such as Haskell serve as an ideal environment for applying this technique  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2620678.2620686">doi:10.1145/2620678.2620686</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ifl/VieraS13.html">dblp:conf/ifl/VieraS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qkmwd667nfappbspwx3szguwhu">fatcat:qkmwd667nfappbspwx3szguwhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809113925/http://www.cs.ru.nl/P.Achten/IFL2013/symposium_proceedings_IFL2013/ifl2013_submission_21.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/f6/89/f68983866422a5328bfbb8d14f8d4b2414a0c336.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2620678.2620686"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

HLIO: mixing static and dynamic typing for information-flow control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015</a> </i> &nbsp;
Although our motivation is IFC, our technique for deferring constraints goes well beyond and offers a methodology for programmer-controlled hybrid type checking in Haskell.  ...  In this paper, we show how to give programmers the flexibility of deferring IFC checks to runtime (as in LIO), while also providing static guarantees-and the absence of runtime checks-for parts of their  ...  We thank the anonymous reviewers and Bart van Delft for useful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2784731.2784758">doi:10.1145/2784731.2784758</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/BuirasVR15.html">dblp:conf/icfp/BuirasVR15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nklzmk2vwvhu7afnyz5hzmc7lu">fatcat:nklzmk2vwvhu7afnyz5hzmc7lu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724081554/http://www.cse.chalmers.se/~russo/publications_files/hybrid-icfp2015.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/77/bd/77bd1c597f94ee4bd672123251be70900f651228.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2784731.2784758"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

HLIO: mixing static and dynamic typing for information-flow control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
<span title="2015-08-29">2015</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;
Although our motivation is IFC, our technique for deferring constraints goes well beyond and offers a methodology for programmer-controlled hybrid type checking in Haskell.  ...  In this paper, we show how to give programmers the flexibility of deferring IFC checks to runtime (as in LIO), while also providing static guarantees-and the absence of runtime checks-for parts of their  ...  We thank the anonymous reviewers and Bart van Delft for useful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2858949.2784758">doi:10.1145/2858949.2784758</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/boowlvmlnzdl7m4mrqcgm3sjky">fatcat:boowlvmlnzdl7m4mrqcgm3sjky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724081554/http://www.cse.chalmers.se/~russo/publications_files/hybrid-icfp2015.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/77/bd/77bd1c597f94ee4bd672123251be70900f651228.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2858949.2784758"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Tool support for refactoring functional programs

Huiqing Li, Claus Reinke, Simon Thompson
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7v65k6c67beuveqr6z2ryoy2n4" style="color: black;">Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell &#39;03</a> </i> &nbsp;
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages.  ...  In discussing the construction of HaRe and Wrangler, we comment on the different challenges presented by Haskell and Erlang due to their differences in syntax, semantics and pragmatics.  ...  Conclusions We have shown two tools, one mature and one under active development, for refactoring functional programs, and as well as giving details about their implementation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/871895.871899">doi:10.1145/871895.871899</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/haskell/LiRT03.html">dblp:conf/haskell/LiRT03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xe637jyuc5dinmltlqdmgit2ji">fatcat:xe637jyuc5dinmltlqdmgit2ji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108063521/http://kar.kent.ac.uk/24037/2/WRT08.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/f3/1af32bfb92bffb06f60b648ba6f86c707140e0b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/871895.871899"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Layout-sensitive language extensibility with SugarHaskell

Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7v65k6c67beuveqr6z2ryoy2n4" style="color: black;">Proceedings of the 2012 symposium on Haskell symposium - Haskell &#39;12</a> </i> &nbsp;
Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more scenarios (e.g., arrow  ...  EBNF declarations also show how to extend the extension mechanism itself: They introduce syntactic sugar for using the declared concrete syntax in other SugarHaskell modules.  ...  Giarrusso, and the anonymous reviewers for valuable feedback on earlier versions of this work. This work is supported in part by the European Research Council, grant No. 203099.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2364506.2364526">doi:10.1145/2364506.2364526</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/haskell/ErdwegRRO12.html">dblp:conf/haskell/ErdwegRRO12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2xcjwol53bbytnyk2e4erxsjpa">fatcat:2xcjwol53bbytnyk2e4erxsjpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808121221/http://www.mathematik.uni-marburg.de/~seba/publications/sugarhaskell.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/b3/d8/b3d8524e16ed5f1c76315f95e99879aa11f7cc57.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2364506.2364526"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Gradual Liquid Type Inference [article]

Niki Vazou, Éric Tanter, David Van Horn
<span title="2018-07-05">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This enumeration is useful for static liquid type error explanation, since the safe concretizations exhibit all the potential inconsistencies that lead to static type errors.  ...  We develop the theory of gradual liquid type inference and explore its pragmatics in the setting of Liquid Haskell.  ...  Migration is complete when, if possible, all functions are given fully-static refinement types, and type check under Liquid Haskell.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.02132v1">arXiv:1807.02132v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l7bufkhc3nbr3cqxktbpssyobq">fatcat:l7bufkhc3nbr3cqxktbpssyobq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200826230251/https://arxiv.org/pdf/1807.02132v1.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/44/72/4472aab0f8758e084212ad8641f30e4d6db8afd2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.02132v1" 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>

Layout-sensitive language extensibility with SugarHaskell

Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann
<span title="2013-01-17">2013</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;
Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more scenarios (e.g., arrow  ...  EBNF declarations also show how to extend the extension mechanism itself: They introduce syntactic sugar for using the declared concrete syntax in other SugarHaskell modules.  ...  Giarrusso, and the anonymous reviewers for valuable feedback on earlier versions of this work. This work is supported in part by the European Research Council, grant No. 203099.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2430532.2364526">doi:10.1145/2430532.2364526</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnvcqr2pfzaajnw3i2k6mdxw4m">fatcat:lnvcqr2pfzaajnw3i2k6mdxw4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808121221/http://www.mathematik.uni-marburg.de/~seba/publications/sugarhaskell.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/b3/d8/b3d8524e16ed5f1c76315f95e99879aa11f7cc57.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2430532.2364526"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Template meta-programming for Haskell

Tim Sheard, Simon Peyton Jones
<span title="">2002</span> <i title="ACM Press"> Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell &#39;02 </i> &nbsp;
Our design is being implemented in the Glasgow Haskell Compiler, ghc.  ...  We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming.  ...  These occurrences are within the static scope of their binding occurrence: static scoping extends across the template mechanism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581690.581691">doi:10.1145/581690.581691</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j4tkdi6rvfaepiwuddu2jydlkq">fatcat:j4tkdi6rvfaepiwuddu2jydlkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061231235648/http://research.microsoft.com:80/~simonpj/papers/meta-haskell/meta-haskell.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/8e/74/8e7439e7ec1d675b7adf1c734eb5a1a26218b548.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581690.581691"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Template meta-programming for Haskell

Tim Sheard, Simon Peyton Jones
<span title="2002-12-01">2002</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 being implemented in the Glasgow Haskell Compiler, ghc.  ...  We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming.  ...  These occurrences are within the static scope of their binding occurrence: static scoping extends across the template mechanism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/636517.636528">doi:10.1145/636517.636528</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/euqngdkb2nfyhfjut6xewzenwi">fatcat:euqngdkb2nfyhfjut6xewzenwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061231235648/http://research.microsoft.com:80/~simonpj/papers/meta-haskell/meta-haskell.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/8e/74/8e7439e7ec1d675b7adf1c734eb5a1a26218b548.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/636517.636528"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Tool support for refactoring functional programs

Huiqing Li, Simon Thompson
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the 2nd Workshop on Refactoring Tools - WRT &#39;08</a> </i> &nbsp;
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages.  ...  In discussing the construction of HaRe and Wrangler, we comment on the different challenges presented by Haskell and Erlang due to their differences in syntax, semantics and pragmatics.  ...  Conclusions We have shown two tools, one mature and one under active development, for refactoring functional programs, and as well as giving details about their implementation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1636642.1636644">doi:10.1145/1636642.1636644</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/LiT08.html">dblp:conf/oopsla/LiT08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/awoedy6z5ndhxf7yz3noxmvzi4">fatcat:awoedy6z5ndhxf7yz3noxmvzi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108063521/http://kar.kent.ac.uk/24037/2/WRT08.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/f3/1af32bfb92bffb06f60b648ba6f86c707140e0b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1636642.1636644"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Tool support for refactoring functional programs

Huiqing Li, Simon Thompson
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM &#39;08</a> </i> &nbsp;
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages.  ...  In discussing the construction of HaRe and Wrangler, we comment on the different challenges presented by Haskell and Erlang due to their differences in syntax, semantics and pragmatics.  ...  Conclusions We have shown two tools, one mature and one under active development, for refactoring functional programs, and as well as giving details about their implementation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328408.1328437">doi:10.1145/1328408.1328437</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/LiT08.html">dblp:conf/pepm/LiT08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rydtrtagkrgh3jtdj3mfuiizhu">fatcat:rydtrtagkrgh3jtdj3mfuiizhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108063521/http://kar.kent.ac.uk/24037/2/WRT08.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/f3/1af32bfb92bffb06f60b648ba6f86c707140e0b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328408.1328437"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

HLogo: A Parallel Haskell Variant of NetLogo

Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou
<span title="">2016</span> <i title="SCITEPRESS - Science and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ivumcmc5s5c5pcgwxrjioy7kmi" style="color: black;">Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications</a> </i> &nbsp;
HLogo is implemented as a Domain Specific Language embedded in the functional language Haskell, which means that it also inherits Haskell's features, such as its static typing.  ...  Agent-based Modeling (ABM) has become quite popular to the simulation community for its usability and wide area of applicability.  ...  Other than the syntax, HLogo inherits Haskell's static typing: all HLogo expressions are statically typed, which is in contrast to NetLogo's dynamic typing -NetLogo performs very minimal type checking.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005983501190128">doi:10.5220/0005983501190128</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/simultech/BezirgiannisPS16.html">dblp:conf/simultech/BezirgiannisPS16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/opxdqfxo6nb5vg3o4fxy4kl7x4">fatcat:opxdqfxo6nb5vg3o4fxy4kl7x4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720170428/https://ir.cwi.nl/pub/25181/4.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/fd/f0/fdf07b08e3abee83d8d5f402422ed2c21f5c9530.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005983501190128"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,823 results