Haskell - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

High coverage testing of Haskell programsTristan O. R. Allwood, Cristian Cadar, Susan Eisenbach. ISSTA 2011: 375-385 [doi]

An Implementation of Composable Memory Transactions in HaskellAndré Rauber Du Bois. SC 2011: 34-50 [doi]

KiCS2: A New Compiler from Curry to HaskellBernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck. wflp 2011: 1-18 [doi]

Combinators for Message-Passing in HaskellNeil C. C. Brown. padl 2011: 19-33 [doi]

Accelerating Haskell array codes with multicore GPUsManuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover. POPL 2011: 3-14 [doi]

Embedded Parser GeneratorsJonas Duregård, Patrik Jansson. In Proceedings of the 4th ACM Symposium on Haskell. 2011: 107-117 [doi]

Automated termination proofs for haskell by term rewritingJürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann. TOPLAS, 33(2):7, 2011. [doi]

An Overview of QML With a Concrete Implementation in HaskellJonathan Grattage. ENTCS, 270(1):165-174, 2011. [doi]

Testing an optimising compiler by generating random lambda termsMichal H. Palka, Koen Claessen, Russo, Alejandro, John Hughes. In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi]

Refined typing to localize the impact of forced strictness on free theoremsDaniel Seidel, Janis Voigtländer. ACTA, 48(3):191-211, 2011. [doi]

OutsideIn(X) Modular type inference with local assumptionsDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. J. Funct. Program., 21(4-5):333-412, 2011.

Collection Processing with Constraints, Monads, and FoldsRyan Wisnesky. WIR 2011: 37-44

2010

An Expression Processor: A Case Study in Refactoring Haskell ProgramsChristopher Brown 0002, Huiqing Li, Simon J. Thompson. sfp 2011: 31-49 [doi]

Using wearable activity type detection to improve physical activity energy expenditure estimationFahd Albinali, Stephen S. Intille, William Haskell, Mary Rosenberger. huc 2010: 311-320 [doi]

C?aSH: Structural Descriptions of Synchronous Hardware Using HaskellChristiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink, Marco Gerards. dsd 2010: 714-721 [doi]

Generic programming with C++ concepts and Haskell type classes - a comparisonJean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp. JFP, 20(3-4):271-302, 2010. [doi]

Clone detection and elimination for HaskellChristopher Brown, Simon Thompson. PEPM 2010: 111-120 [doi]

Free theorems for functional logic programsJan Christiansen, Daniel Seidel, Janis Voigtländer. plpv 2010: 39-48 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

From higher-order logic to Haskell: there and back againFlorian Haftmann. PEPM 2010: 155-158 [doi]

FPGA-based Hybrid Systems in Forth: a Forth Core and Reconfigurable Hardware from ForthDarrin M. Hanna, Richard E. Haskell. csreaESA 2010: 168-171

Explicitly Typed Exceptions for HaskellJosÃ© Iborra. padl 2010: 43-57 [doi]

Regular, shape-polymorphic, parallel arrays in HaskellGabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier. ICFP 2010: 261-272 [doi]

A certified framework for compiling and executing garbage-collected languagesAndrew McCreight, Tim Chevalier, Andrew P. Tolmach. ICFP 2010: 273-284 [doi]

Haskell before Haskell: Curry s Contribution to Programming (1946-1950)Liesbeth De Mol, Maarten Bullynck, Martin Carlé. CiE 2010: 108-117 [doi]

Haskell Type Constraints UnleashedDominic A. Orchard, Tom Schrijvers. FLOPS 2010: 56-71 [doi]

Formal polytypic programs and proofsWendy Verbruggen, Edsko de Vries, Arthur Hughes. JFP, 20(3-4):213-269, 2010. [doi]

Generic storage in HaskellSebastiaan Visser, Andres Löh. ICFP 2010: 25-36 [doi]

Arity-generic datatype-generic programmingStephanie Weirich, Chris Casinghino. plpv 2010: 15-26 [doi]

2009

Porting IgorII from Maude to HaskellMartin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid. AAIP 2010: 140-158 [doi]

Finding the needle: stack traces for GHCTristan O. R. Allwood, Simon Peyton Jones, Susan Eisenbach. haskell 2009: 129-140 [doi]

Feature (De)composition in Functional ProgrammingSven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer. In Proceedings of the 8th International Conference on Software Composition (SC). 2009: [doi]

Unembedding domain-specific languagesRobert Atkey, Sam Lindley, Jeremy Yallop. haskell 2009: 37-48 [doi]

Tool DemonstrationCLasHFrom Haskell to HardwareChristiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp. haskell 2009: [doi]

Declarative Scripting in HaskellTim Bauer, Martin Erwig. SLE 2009: 294-313 [doi]

Lazy functional incremental parsingJean-Philippe Bernardy. haskell 2009: 49-60 [doi]

Comparing and Optimising Parallel Haskell Implementations for Multicore MachinesJost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain. icppw 2009: 386-393 [doi]

::::Programming in Haskell:::: by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5Saketh Bhamidipati. JFP, 19(2):256-259, 2009. [doi]

An implementation and semantics for transactional memory introspection in HaskellArnar Birgisson, Ãšlfar Erlingsson. PLDI 2009: 87-99 [doi]

Types are calling conventionsMaximilian C. Bolingbroke, Simon L. Peyton Jones. haskell 2009: 1-12 [doi]

A compositional theory for STM HaskellJohannes BorgstrÃ¶m, Karthikeyan Bhargavan, Andrew D. Gordon. haskell 2009: 69-80 [doi]

Alloy: fast generic transformations for HaskellNeil C. C. Brown, Adam T. Sampson. haskell 2009: 105-116 [doi]

Automatically Generating CSP Models for Communicating Haskell ProcessesNeil C. C. Brown. eceasst, 23, 2009. [doi]

Implementation of an Orchestration Language as a Haskell Domain Specific LanguageMarco Devesas Campos, LuÃs Soares Barbosa. ENTCS, 255:45-64, 2009. [doi]

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languagesJacques Carette, Oleg Kiselyov, Chung-chieh Shan. JFP, 19(5):509-543, 2009. [doi]

A concurrent ML library in concurrent HaskellAvik Chaudhuri. ICFP 2009: 269-280 [doi]

From spreadsheets to relational databases and backJácome Cunha, João Saraiva, Joost Visser. PEPM 2009: 179-188 [doi]

The architecture of the Utrecht Haskell compilerAtze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra. haskell 2009: 93-104 [doi]

Embedding a Proof System in HaskellGergely Dévai. cefp 2010: 354-371 [doi]

Push-pull functional reactive programmingConal M. Elliott. haskell 2009: 25-36 [doi]

Reinventing Haskell BacktrackingSebastian Fischer. gi 2009: 2875-2888

Type-safe observable sharing in HaskellAndy Gill. haskell 2009: 117-128 [doi]

A Haskell Hosted DSL for Writing Transformation SystemsAndy Gill. DSL 2009: 285-309 [doi]

Structured Terminologies in Clinical Information Systems: Implementation through CollaborationRobert E. Haskell, Nicholas R. Hardiker, Tera J. Watkins, Cynthia B. Lundberg, Jane M. Brokel, Marisa L. Wilson. ni 2009: 659-662 [doi]

A principled approach to programming with nested types in HaskellPatricia Johann, Neil Ghani. lisp, 22(2):155-189, 2009. [doi]

A family of syntactic logical relations for the semantics of Haskell-like languagesPatricia Johann, Janis Voigtländer. iandc, 207(2):341-368, 2009. [doi]

Parallel performance tuning for HaskellDon Jones Jr., Simon Marlow, Satnam Singh. haskell 2009: 81-92 [doi]

Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent ApproachChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE). 2009: [doi]

Type-safe diff for families of datatypesEelco Lempsink, Sean Leather, Andres Löh. In WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. 2009: [doi]

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in HaskellDaniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu. DSL 2009: 236-261 [doi]

Using Bloom Filters for Large Scale Gene Sequence Analysis in HaskellKetil Malde, Bryan O Sullivan. padl 2009: 183-194 [doi]

Runtime support for multicore HaskellSimon Marlow, Simon L. Peyton Jones, Satnam Singh. ICFP 2009: 65-78 [doi]

Losing functions without gaining data: another look at defunctionalisationNeil Mitchell, Colin Runciman. haskell 2009: 13-24 [doi]

Kenro: a virtual machine monitor mostly described in HaskellYoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki. SAC 2009: 1940-1941 [doi]

Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and WhitherSimon L. Peyton Jones. ECOOP 2009: 1 [doi]

Roll your own test bed for embedded real-time protocols: a haskell experienceLee Pike, Geoffrey M. Brown, Alwyn Goodloe. haskell 2009: 61-68 [doi]

Experience report: Haskell in the real world : writing a commercial application in a lazy functional lanuageCurt J. Sampson. ICFP 2009: 185-190 [doi]

Type invariants for HaskellTom Schrijvers, Louis-Julien Guillemette, Stefan Monnier. plpv 2009: 39-48 [doi]

Taming Selective StrictnessDaniel Seidel, Janis Voigtländer. gi 2009: 2916-2930

Parametricity for Haskell with Imprecise Error SemanticsFlorian Stenger, Janis Voigtländer. tlca 2009: 294-308 [doi]

Comparing the performance of concurrent linked-list implementations in HaskellMartin Sulzmann, Edmund S. L. Lam, Simon Marlow. POPL 2009: 37-46 [doi]

Isomorphisms, hylomorphisms and hereditarily finite data types in HaskellPaul Tarau. SAC 2009: 1898-1902 [doi]

Accelerating the performance of particle swarm optimization for embedded applicationsGirma S. Tewolde, Darrin M. Hanna, Richard E. Haskell. cec 2009: 2294-2300 [doi]

Attribute grammars fly first-class: how to do aspect oriented programming in HaskellMarcos Viera, S. Doaitse Swierstra, Wouter Swierstra. ICFP 2009: 245-256 [doi]

Free theorems involving type constructor classes: functional pearlJanis Voigtländer. ICFP 2009: 173-184 [doi]

Bidirectionalization for free! (Pearl)Janis Voigtländer. POPL 2009: 165-176 [doi]

A domain-specific language for experimental game theoryEric Walkingshaw, Martin Erwig. JFP, 19(6):645-661, 2009. [doi]

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009Stephanie Weirich, editor, ACM, 2009.

Haskell Symposium Program Chair s ReportStephanie Weirich. haskell 2009: [doi]

A Generic Graph Transformation, Visualisation, and Editing Framework in HaskellScott West, Wolfram Kahl. eceasst, 18, 2009. [doi]

Static contract checking for HaskellDana N. Xu, Simon L. Peyton Jones, Koen Claessen. POPL 2009: 41-52 [doi]

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architecturesAbdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad. POPL 2009: 25-36 [doi]

2008

Clase: cursor library for a structured editorTristan O. R. Allwood, Susan Eisenbach. haskell 2008: 123-124 [doi]

Yi: an editor in haskell for haskellJean-Philippe Bernardy. haskell 2008: 61-62 [doi]

Haskell: batteries includedDuncan Coutts, Isaac Potoczny-Jones, Don Stewart. haskell 2008: 125-126 [doi]

A Debugger for Parallel Haskell DialectsAlberto de la Encina, Ismael Rodríguez, Fernando Rubio. ica3pp 2008: 282-293 [doi]

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008Andy Gill, editor, ACM, 2008.

Libraries for Generic Programming in HaskellJohan Jeuring, Sean Leather, JosÃ© Pedro MagalhÃ£es, Alexey Rodriguez Yakushev. afp 2009: 165-229 [doi]

Making monads first-class with template haskellPericles S. Kariotis, Adam M. Procter, William L. Harrison. haskell 2008: 99-110 [doi]

Lightweight monadic regionsOleg Kiselyov, Chung-chieh Shan. haskell 2008: 1-12 [doi]

Case Report: Translation and Integration of CCC Nursing Diagnoses into ICNPSusan Matney, Rebecca DaDamio, Carmela Couderc, Mary Dlugos, Jonathan Evans, Gay Gianonne, Robert E. Haskell, Nicholas R. Hardiker, Amy Coenen, Virginia K. Saba. jamia, 15(6):791-793, 2008. [doi]

Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matchingNeil Mitchell, Colin Runciman. haskell 2008: 49-60 [doi]

Haskell session types with (almost) no classRiccardo Pucella, Jesse A. Tov. haskell 2008: 25-36 [doi]

Decentralized virtualization in systems administration educationBill Stackpole, Jason Koppe, Thomas Haskell, Laura Guay, Yin Pan. sigite 2008: 249-254 [doi]

Real world Haskell - code you can believe inBryan O Sullivan, John Goerzen, Don Stewart. O Reilly, 2008. [doi]

Interface Types for HaskellPeter Thiemann, Stefan Wehr. aplas 2008: 256-272 [doi]

A deterministic multi-way rendezvous library for haskellNalini Vasudevan, Satnam Singh, Stephen A. Edwards. ipps 2008: 1-12 [doi]

Polytypic programming in COQWendy Verbruggen, Edsko de Vries, Arthur Hughes. ICFP 2008: 49-60 [doi]

Quantum Arrows in HaskellJuliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry. ENTCS, 210:139-152, 2008. [doi]

ML Modules and Haskell Type Classes: A Constructive ComparisonStefan Wehr, Manuel M. T. Chakravarty. aplas 2008: 188-204 [doi]

PreviousNext