BibSLEIGH — haskell tag

Haskell

haskell.org
Google

Haskell

haskell

Q34010

Haskell (programming language)

Tag #haskell

275 papers:

POPL-2020-HandleyVH #reasoning #resource management: Liquidate your assets: reasoning about resource usage in liquid Haskell (MATH, NV, GH), p. 27.
Haskell-2019-ChristiansenDB #coq #source code #verification: Verifying effectful Haskell programs in Coq (JC, SD, NB), pp. 125–138.
Haskell-2019-Devriese #approach #case study #composition #morphism #polymorphism #taxonomy #verification: Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study (DD), pp. 1–14.
Haskell-2019-HallahanXP #constraints #named #theorem proving: G2Q: Haskell constraint solving (WTH, AX, RP), pp. 44–57.
ICFP-2019-ChristiansenDDH #case study #experience #industrial: Dependently typed Haskell in industry (experience report) (DTC, ISD, RD, JH, TR), p. 16.
ICFP-2019-KissFEJ #higher-order #programming: Higher-order type-level programming in Haskell (CK, TF, SE, SPJ), p. 26.
ICFP-2019-WeirichCVE #dependent type: A role for dependent types in Haskell (SW, PC, AV, RAE), p. 29.
PEPM-2019-DauthS #scala: Futures and promises in Haskell and Scala (TD, MS), pp. 68–74.
Haskell-2018-HandleyH #named #performance #source code: AutoBench: comparing the time performance of Haskell programs (MATH, GH), pp. 26–37.
Haskell-2018-VazouBKHH #equation #functional #proving #reasoning #theorem proving: Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) (NV, JB, RK, DVH, GH), pp. 132–144.
Haskell-2018-WinantD #taxonomy: Coherent explicit dictionary application for Haskell (TW, DD), pp. 81–93.
ICFP-2018-BreitnerSLRWW #case study #exclamation #experience #set #verification: Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) (JB, ASZ, YL0, CR, JW, SW), p. 16.
PADL-2018-StewartML #declarative #named: Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell (GS0, SM, LL), pp. 36–52.
POPL-2018-BernardyBNJS #higher-order #linear #polymorphism: Linear Haskell: practical linearity in a higher-order polymorphic language (JPB, MB, RRN, SPJ, AS), p. 29.
Haskell-2017-AronssonS #co-evolution #design #hardware: Hardware software co-design in Haskell (MA, MS), pp. 162–173.
Haskell-2017-ChenCN #adaptation #concurrent #data type #implementation: Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping (CHC, VC, RRN), pp. 197–211.
Haskell-2017-Quick #algorithm #music: Algorithmic music in Haskell (invited talk) (DQ), p. 98.
Haskell-2017-VazouLP #coq #proving #string #verification: A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq (NV, LL, JP), pp. 63–74.
Haskell-2017-WiegleyD #coq #performance #using: Using Coq to write fast and correct Haskell (JW, BD), pp. 52–62.
ICFP-2017-WeirichVAE #dependent type #specification: A specification for dependent types in Haskell (SW, AV, PHAdA, RAE), p. 29.
GPCE-2017-GrebeYG #compilation #domain-specific language #using: Rewriting a shallow DSL using a GHC compiler extension (MG, DY, AG), pp. 246–258.
GPCE-2017-MainlandJ #compilation: A Haskell compiler for signal transforms (GM, JJ), pp. 219–232.
SANER-2016-LimaSLCMF #behaviour #energy #functional: Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language (LGL, FSN, PL, FC, GM, JPF), pp. 517–528.
Haskell-2016-DexterLC #graph #lazy evaluation: Lazy graph processing in Haskell (PD, YDL, KC), pp. 182–192.
Haskell-2016-Ekblad #web: High-performance client-side web applications through Haskell EDSLs (AE), pp. 62–73.
Haskell-2016-LeYF #memory management #transaction: Revisiting software transactional memory in Haskell (ML, RY, MF), pp. 105–113.
Haskell-2016-LindleyM: Embedding session types in Haskell (SL, JGM), pp. 133–145.
Haskell-2016-MarlowJKM: Desugaring Haskell's do-notation into applicative operations (SM, SPJ, EK, AM), pp. 92–104.
Haskell-2016-Yamamoto #case study #experience #performance: Experience report: developing high performance HTTP/2 server in Haskell (KY), pp. 74–79.
LOPSTR-2016-AlbertBBM: A Formal, Resource Consumption-Preserving Translation of Actors to Haskell (EA, NB, FSdB, EMM), pp. 21–37.
PADL-2016-SerranoH #data type #regular expression: Generic Matching of Tree Regular Expressions over Haskell Data Types (AS0, JH), pp. 83–98.
CC-2016-FerreiroCJH: Kindergarten cop: dynamic nursery resizing for GHC (HF, LMC, VJ, KH), pp. 56–66.
Haskell-2015-Diatchki #smt: Improving Haskell types with SMT (ISD), pp. 1–10.
Haskell-2015-FarmerSG #equation #reasoning #source code #tool support: Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs (AF, NS, AG), pp. 23–34.
Haskell-2015-Gundry #constraints #plugin #theorem proving: A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell (AG), pp. 11–22.
Haskell-2015-Polakow #linear #λ-calculus: Embedding a full linear Lambda calculus in Haskell (JP), pp. 177–188.
Haskell-2015-StolarekJE #injection #product line: Injective type families for Haskell (JS, SLPJ, RAE), pp. 118–128.
Haskell-2015-WalkerR #concurrent #library #testing: Déjà Fu: a concurrency testing library for Haskell (MW0, CR), pp. 141–152.
ICFP-2015-BuirasVR #data flow #dynamic typing #named #type system: HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
ICFP-2015-Russo #functional: Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
PADL-2015-TamaritVCM #c #implementation #program transformation #rule-based #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
PLDI-2015-FaddegonC #algorithm #debugging #dependence #source code #stack: Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.
TFPIE-2014-OlmerHJ: Evaluating Haskell expressions in a tutoring environment (TO, BH, JJ), pp. 50–66.
TFPIE-2014-Walck #physics #programming: Learn Physics by Programming in Haskell (SNW), pp. 67–77.
Haskell-2014-BlanchetteHNNT #case study #experience: Experience report: the next 1100 Haskell programmers (JCB, LH, TN, LN, DT), pp. 25–30.
Haskell-2014-EisenbergS #product line: Promoting functions to type families in Haskell (RAE, JS), pp. 95–106.
Haskell-2014-Morris #semantics: A simple semantics for Haskell overloading (JGM), pp. 107–118.
Haskell-2014-MuranushiE #case study #experience #polymorphism #research: Experience report: type-checking polymorphic units for astrophysics research in Haskell (TM, RAE), pp. 31–38.
Haskell-2014-OkabeM: Systems demonstration: writing NetBSD sound drivers in Haskell (KO, TM), pp. 77–78.
Haskell-2014-OrchardP: Embedding effect systems in Haskell (DAO, TP0), pp. 13–24.
Haskell-2014-VazouSJ #experience #named #refinement: LiquidHaskell: experience with refinement types in the real world (NV, ELS, RJ), pp. 39–51.
ICFP-2014-BreitnerEJW #low cost: Safe zero-cost coercions for Haskell (JB, RAE, SLPJ, SW), pp. 189–202.
ICFP-2014-VazouSJVJ #refinement: Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
PADL-2014-WinantDPS: Partial Type Signatures for Haskell (TW, DD, FP, TS), pp. 17–32.
PLDI-2014-YangM: Dynamic space limits for Haskell (EZY, DM), p. 59.
POPL-2014-KilpatrickDJM #interface #named: Backpack: retrofitting Haskell with interfaces (SK, DD, SLPJ, SM), pp. 19–32.
ISSTA-2014-LeAGG #mutation testing #named #source code #testing: MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
TLCA-2013-Peyton-Jones #compilation: Type-Directed Compilation in the Wild: Haskell and Core (SLPJ), p. 1.
Haskell-2013-AnknerS #approach #performance #programming: An EDSL approach to high performance Haskell programming (JA, JS), pp. 1–12.
Haskell-2013-BlaEevic #monad #string: Adding structure to monoids: thus hopefully ending Haskell's string type confusion (MB), pp. 37–46.
Haskell-2013-LindleyM #named #programming: Hasochism: the pleasure and pain of dependently typed haskell programming (SL, CM), pp. 81–92.
Haskell-2013-LippmeierCKR #data flow: Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
Haskell-2013-LiuGPA #compilation #research: The Intel labs Haskell research compiler (HL, NG, LP, TAA), pp. 105–116.
Haskell-2013-VoellmyWHY #manycore #named: Mio: a high-performance multicore io manager for GHC (AV, JW, PH, KY), pp. 129–140.
Haskell-2013-WortmannD #question #what: Causality of optimized Haskell: what is burning our cycles? (PMW, DJD), pp. 141–152.
ICFP-2013-PetersenOG #automation: Automatic SIMD vectorization for Haskell (LP, DAO, NG), pp. 25–36.
ICFP-2013-Schmidt-SchaussS #correctness #implementation: Correctness of an STM Haskell implementation (MSS, DS), pp. 161–172.
IFL-2013-AljabriLT #design #implementation #parallel: The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation (MA, HWL, PWT), p. 37.
IFL-2013-LammelSV: The 101haskell Chrestomathy: A Whole Bunch of Learnable λs (RL, TS, AV), p. 25.
IFL-2013-PetersenALG: Measuring the Haskell Gap (LP, TAA, HL, NG), p. 61.
PADL-2013-GiorgidzeGHK #database #wiki: Analysing the Entire Wikipedia History with Database Supported Haskell (GG, TG, IH, MK), pp. 19–25.
PEPM-2013-MartinezVP #compilation #exclamation #performance: Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
POPL-2013-VytiniotisJCR #logic #named #semantics: HALO: haskell to logic through denotational semantics (DV, SLPJ, KC, DR), pp. 431–442.
SAC-2013-CastorSS #assessment #memory management #transaction: A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.
FLOPS-2012-Hamana #category theory: Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
FLOPS-2012-Weirich #programming: Dependently-Typed Programming in GHC (SW), p. 3.
Haskell-2012-AdamsD #performance #programming #using: Template your boilerplate: using template haskell for efficient generic programming (MDA0, TD), pp. 13–24.
Haskell-2012-ErdwegRRO: Layout-sensitive language extensibility with SugarHaskell (SE, FR, TR, KO), pp. 149–160.
Haskell-2012-FarmerGKS #interactive #plugin #source code: The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs (AF, AG, EK, NS), pp. 1–12.
Haskell-2012-TereiMJM: Safe haskell (DT, SM, SLPJ, DM), pp. 137–148.
ICFP-2012-DanielsGR #biology #case study #experience: Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
ICFP-2012-Mainland #metaprogramming: Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.
ICFP-2012-Mitchell: Shake before building: replacing make with haskell (NM), pp. 55–66.
IFL-2012-DijkstraSVS #javascript: Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.
IFL-2012-SculthorpeFG #program transformation: The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
PADL-2012-Lesniak #algorithm #graph #named: Palovca: Describing and Executing Graph Algorithms in Haskell (ML), pp. 153–167.
PADL-2012-Stewart #exclamation #functional #programming: Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.
PPDP-2012-MonjarazM #π-calculus: From the π-calculus to flat GHC (RM, JM), pp. 163–172.
LICS-2012-SabelS #concurrent: Conservative Concurrency in Haskell (DS, MSS), pp. 561–570.
CEFP-2011-JeuringGH #programming: A Programming Tutor for Haskell (JJ, AG, BH), pp. 1–45.
CEFP-2011-Loogen #functional #named #parallel #programming: Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.
CEFP-2011-Marlow #concurrent #parallel #programming: Parallel and Concurrent Programming in Haskell (SM), pp. 339–401.
Haskell-2011-EpsteinBJ #in the cloud #towards: Towards Haskell in the cloud (JE, APB, SLPJ), pp. 118–129.
Haskell-2011-LippmeierK #parallel #performance: Efficient parallel stencil convolution in Haskell (BL, GK), pp. 59–70.
Haskell-2011-StefanRMM #data flow #flexibility #information management: Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
Haskell-2011-WestbrookFB #encoding #functional #higher-order #library #programming language: Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.
IFL-2011-MaierT #implementation #parallel: Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell (PM, PWT), pp. 35–50.
IFL-2011-Schilling #challenge #compilation: Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.
PADL-2011-Brown #combinator #message passing: Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.
PPDP-2011-SabelS #concurrent #semantics: A contextual semantics for concurrent Haskell with futures (DS, MSS), pp. 101–112.
ICSE-2011-Lee #case study #refactoring #source code: A case study on refactoring in Haskell programs (DYL), pp. 1164–1166.
ISSTA-2011-AllwoodCE #source code #testing: High coverage testing of Haskell programs (TORA, CC, SE), pp. 375–385.
FLOPS-2010-OrchardS #constraints: Haskell Type Constraints Unleashed (DAO, TS), pp. 56–71.
Haskell-2010-GroningenNAKP #compilation: Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler (JHGvG, TvN, PA, PWMK, RP), pp. 49–60.
Haskell-2010-LaunchburyE #concurrent #distributed: Concurrent orchestration in Haskell (JL, TE), pp. 79–90.
Haskell-2010-MagalhaesDJL: A generic deriving mechanism for Haskell (JPM, AD, JJ, AL), pp. 37–48.
Haskell-2010-MainlandM #gpu #named: Nikola: embedding compiled GPU functions in Haskell (GM, GM), pp. 67–78.
Haskell-2010-MarlowMLAT #parallel: Seq no more: better strategies for parallel Haskell (SM, PM0, HWL, MA, PWT), pp. 91–102.
Haskell-2010-OSullivanT #scalability: Scalable i/o event handling for GHC (BO, JT), pp. 103–108.
Haskell-2010-Straka #performance: The performance of the Haskell containers package (MS), pp. 13–24.
Haskell-2010-TereiC: An llVM backend for GHC (DAT, MMTC), pp. 109–120.
ICFP-2010-KellerCLJL #array #parallel: Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.
ICFP-2010-Pop #case study #experience #python #using: Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project (IP), pp. 369–374.
IFL-2010-Berthold #orthogonal: Orthogonal Serialisation for Haskell (JB), pp. 38–53.
IFL-2010-GiorgidzeGSW #execution: Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.
PADL-2010-Iborra #exception: Explicitly Typed Exceptions for Haskell (JI), pp. 43–57.
PEPM-2010-BrownT #clone detection #detection: Clone detection and elimination for Haskell (CB, SJT), pp. 111–120.
PEPM-2010-Haftmann #higher-order #logic: From higher-order logic to Haskell: there and back again (FH), pp. 155–158.
TLCA-2009-StengerV #fault #parametricity #semantics: Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
CEFP-2009-Devai #proving: Embedding a Proof System in Haskell (GD), pp. 354–371.
Haskell-2009-AllwoodJE #stack: Finding the needle: stack traces for GHC (TORA, SLPJ, SE), pp. 129–140.
Haskell-2009-BaaijKKGM #hardware #tool support: Tool DemonstrationCLasHFrom Haskell to Hardware (CB, MK, JK, MG, BM).
Haskell-2009-BorgstromBG #composition: A compositional theory for STM Haskell (JB, KB, ADG), pp. 69–80.
Haskell-2009-BrownS #alloy #named #performance: Alloy: fast generic transformations for Haskell (NCCB, ATS), pp. 105–116.
Haskell-2009-DijkstraFS #architecture #compilation: The architecture of the Utrecht Haskell compiler (AD, JF, SDS), pp. 93–104.
Haskell-2009-Gill #type safety: Type-safe observable sharing in Haskell (AG), pp. 117–128.
Haskell-2009-JonesMS #parallel #performance: Parallel performance tuning for Haskell (DJJ, SM, SS), pp. 81–92.
Haskell-2009-PikeBG #embedded #experience #protocol #realtime: Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.
Haskell-2009-Weirich: Haskell Symposium Program Chair's Report (SW).
ICFP-2009-Chaudhuri #concurrent #library #ml: A concurrent ML library in concurrent Haskell (AC), pp. 269–280.
ICFP-2009-MarlowJS #manycore #runtime: Runtime support for multicore Haskell (SM, SLPJ, SS), pp. 65–78.
ICFP-2009-Sampson #case study #experience #functional #lazy evaluation: Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.
ICFP-2009-VieraSS #aspect-oriented #attribute grammar #how #programming: Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.
GT-VMT-2009-WestK #editing #framework #graph transformation #visualisation: A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.
ECOOP-2009-Jones #what #why: Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither (SLPJ), p. 1.
PADL-2009-MaldeO #analysis #scalability #sequence #using: Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell (KM, BO), pp. 183–194.
POPL-2009-XuJC #contract: Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
SAC-2009-OyamaKI #monitoring #named #virtual machine: Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
SAC-2009-Tarau #data type #finite #morphism: Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.
SLE-2009-BauerE #declarative: Declarative Scripting in Haskell (TB, ME), pp. 294–313.
AFP-2008-JeuringLMY08 #library #programming: Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.
AFP-2008-JonesS08 #concurrent #parallel #programming #tutorial: A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.
Haskell-2008-Bernardy #editing #named: Yi: an editor in haskell for haskell (JPB), pp. 61–62.
Haskell-2008-CouttsPS #named: Haskell: batteries included (DC, IPJ, DS), pp. 125–126.
Haskell-2008-KariotisPH #monad: Making monads first-class with template haskell (PSK, AMP, WLH), pp. 99–110.
Haskell-2008-PucellaT: Haskell session types with (almost) no class (RP, JAT), pp. 25–36.
Haskell-2008-RodriguezJJGKO #library #programming: Comparing libraries for generic programming in haskell (AR, JJ, PJ, AG, OK, BCdSO), pp. 111–122.
Haskell-2008-RussoCH #data flow #library #security: A library for light-weight information-flow security in haskell (AR, KC, JH), pp. 13–24.
Haskell-2008-VieraSL #parsing #performance #runtime #top-down: Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime (MV, SDS, EL), pp. 63–74.
ICFP-2008-AugustssonMS #domain-specific language #embedded #named: Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
ICFP-2008-GuillemetteM #compilation: A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.
ICFP-2008-VytiniotisWJ #morphism #named #polymorphism: FPH: first-class polymorphism for Haskell (DV, SW, SLPJ), pp. 295–306.
IFL-2008-GiorgidzeN #functional #hybrid #modelling: Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
IFL-2008-WangG #ad hoc #library: A Library for Processing Ad hoc Data in Haskell — Embedding a Data Description Language (YW, VG), pp. 174–191.
Haskell-2007-GillR: Haskell program coverage (AG, CR), pp. 1–12.
Haskell-2007-GrabmullerK #code generation #named #runtime: Harpy: run-time code generation in haskell (MG, DK), p. 94.
Haskell-2007-GuillemetteM: A type-preserving closure conversion in haskell (LJG, SM), pp. 83–92.
Haskell-2007-LiMJT #concurrent #lightweight: Lightweight concurrency primitives for GHC (PL, SM, SLPJ, APT), pp. 107–118.
Haskell-2007-Mainland #why: Why it's nice to be quoted: quasiquoting for haskell (GM), pp. 73–82.
Haskell-2007-MarlowIPG #debugging #interactive #lightweight: A lightweight interactive debugger for haskell (SM, JI, BJP, AG), pp. 13–24.
ICFP-2007-CooperM #case study #experience #interpreter: Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.
ICFP-2007-Frenzel #case study #experience #ide: Experience report: building an eclipse-based IDE for Haskell (LF), pp. 220–222.
ICFP-2007-Jones #source code: Call-pattern specialisation for haskell programs (SLPJ), pp. 327–337.
IFL-2007-DijkstraFS #compilation #complexity: The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.
IFL-2007-MitchellR: A Supercompiler for Core Haskell (NM, CR), pp. 147–164.
IFL-2007-SulzmannL #named #regular expression: XHaskell — Adding Regular Expression Types to Haskell (MS, KZML), pp. 75–92.
PADL-2007-CouttsSL #string: Rewriting Haskell Strings (DC, DS, RL), pp. 50–64.
PADL-2007-FisselerKBKM #algebra #information management #using: Algebraic Knowledge Discovery Using Haskell (JF, GKI, CB, AK, CM), pp. 80–93.
SCAM-2006-LiT #case study #comparative #erlang #refactoring #source code: Comparative Study of Refactoring Haskell and Erlang Programs (HL, SJT), pp. 197–206.
RTA-2006-GieslSST #analysis #automation #programming language #term rewriting #termination: Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (JG, SS, PSK, RT), pp. 297–312.
FLOPS-2006-DiscoloHMJS #data type #using: Lock Free Data Structures Using STM in Haskell (AD, TH, SM, SLPJ, SS), pp. 65–80.
Haskell-2006-Eaton #algebra #linear #static typing: Statically typed linear algebra in Haskell (FE), pp. 120–121.
Haskell-2006-Gill #equation #reasoning: Introducing the Haskell equational reasoning assistant (AG), pp. 108–109.
Haskell-2006-Jones: Haskell' status report (IJ), p. 122.
Haskell-2006-Kagawa #polymorphism: Polymorphic variants in Haskell (KK), pp. 37–47.
Haskell-2006-Kow #generative #named #natural language: GenI: natural language generation in Haskell (EK), pp. 110–119.
Haskell-2006-RenE #recursion #scrap your boilerplate: A generic recursion toolbox for Haskell or: scrap your boilerplate systematically (DR, ME), pp. 13–24.
Haskell-2006-Thiemann #programming #transaction: User-level transactional programming in Haskell (PT), pp. 84–95.
Haskell-2006-Xu #static analysis: Extended static checking for haskell (DNX), pp. 48–59.
IFL-2006-ChitilH #lazy evaluation #logic: A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.
ESOP-2006-Rudiak-GouldMJ #ml: Haskell Is Not Not ML (BRG, AM, SLPJ), pp. 38–53.
Haskell-2005-AbelBBHN #source code #type system #using #verification: Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.
Haskell-2005-AngelovM #development #visual notation: Visual haskell: a full-featured haskell development environment (KA, SM), pp. 5–16.
Haskell-2005-Broberg: Haskell server pages through dynamic loading (NB), pp. 39–48.
Haskell-2005-HarrisMJ #multi: Haskell on a shared-memory multiprocessor (TH0, SM, SLPJ), pp. 49–61.
Haskell-2005-Jones #named: Halfs: a haskell filesystem (IJ), p. 116.
Haskell-2005-Roundy #distributed #named: Darcs: distributed version management in haskell (DR), pp. 1–4.
Haskell-2005-SchrageIG: Haskell ready to dazzle the real world (MMS, AvI, LCvdG), pp. 17–26.
ICFP-2005-HallgrenJLT #approach #operating system: A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
IFL-2005-Hanna: A Document-Centered Environment for Haskell (KH), pp. 196–211.
IFL-2005-HuchK #composition #concurrent #implementation #memory management #transaction: A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.
GPCE-2005-Priebe #preprocessor: Preprocessing Eden with Template Haskell (SP), pp. 357–372.
LDTA-2005-LiTR #api: The Haskell Refactorer, HaRe, and its API (HL, SJT, CR), pp. 29–34.
A-MOST-2005-SherriffNWV #estimation #fault #metric #using: Early estimation of defect density using an in-process Haskell metrics model (MS, NN, LAW, MAV), pp. 64–69.
AFP-2004-DijkstraS04 #attribute grammar #type system: Typing Haskell with an Attribute Grammar (AD, SDS), pp. 1–72.
Haskell-2004-BringertHAABBM #student: Student paper: HaskellDB improved (BB, AH, CA, MA, MB, VB, TM), pp. 108–115.
Haskell-2004-Leijen #library #named #user interface: wxHaskell: a portable and concise GUI library for haskell (DL), pp. 57–68.
Haskell-2004-MarlowJT #concurrent #interface: Extending the Haskell foreign function interface with concurrency (SM, SLPJ, WT), pp. 22–32.
Haskell-2004-NeubauerT: Haskell type browser (MN, PT), pp. 92–93.
Haskell-2004-PangSSC: Plugging Haskell in (ATHP, DS, SS, MMTC), pp. 10–21.
ICFP-2004-ChristiansenH #concurrent #debugging #source code: Searching for deadlocks while debugging concurrent haskell programs (JC, FH), pp. 28–39.
PADL-2004-AtanassowCJ #named #xml: UUXML: A Type-Preserving XML Schema-Haskell Data Binding (FA, DC, JJ), pp. 71–85.
PADL-2004-ChenZX #case study #dependent type #implementation #simulation: Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.
SAC-2004-LimaLS #category theory #combinator #multi: A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.
GPCE-2004-SeefriedCK #domain-specific language #embedded #optimisation #using: Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.
ISMM-2004-CheadleFMJW #garbage collection #incremental: Exploring the barrier to entry: incremental generational garbage collection for Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 163–174.
Haskell-2003-Faxen: Haskell and principal types (KFF), pp. 88–97.
Haskell-2003-Hallgren #tool support: Haskell tools from the programatica project (TH), pp. 103–106.
Haskell-2003-HeerenLI #learning: Helium, for learning Haskell (BH, DL, AvI), pp. 62–71.
Haskell-2003-Sabry #modelling #quantum: Modeling quantum computing in Haskell (AS), pp. 39–49.
Haskell-2003-StuckeySW #debugging #interactive: Interactive type debugging in Haskell (PJS, MS, JW), pp. 72–83.
ICFP-2003-LohCJ: Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.
IFL-2003-NorellJ #programming: Polytypic Programming in Haskell (UN, PJ), pp. 168–184.
IFL-2003-PangC #object-oriented: Interfacing Haskell with Object-Oriented Languages (ATHP, MMTC), pp. 20–35.
PPDP-2003-PopeN #aspect-oriented #debugging #declarative: Practical aspects of declarative debugging in Haskell 98 (BP, LN), pp. 230–240.
AFP-2002-ChakravartyK02 #approach #array #performance: An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.
IFL-2002-ChitilRW: Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.
IFL-2002-DowseSB #proving: Proving Make Correct: I/O Proofs in Haskell and Clean (MD, GS, AB), pp. 68–83.
SAC-2002-CarvalhoLL #coordination #functional #process: Coordinating functional processes with Haskell_# (FHC, RMFL, RDL), pp. 393–400.
FLOPS-2001-DanvyR #syntax: A Simple Take on Typed Abstract Syntax in Haskell-like Languages (OD, MR), pp. 343–358.
ICFP-2001-Russell #how: Events in Haskell, and How to Implement Them (GR), pp. 157–168.
PLDI-2001-MarlowJMR #exception: Asynchronous Exceptions in Haskell (SM, SLPJ, AM, JHR), pp. 274–285.
ICFP-2000-CheadleFMJW: Non-stop Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 257–267.
ICFP-2000-ClaessenH #lightweight #named #quickcheck #random testing #source code #testing: QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
ICFP-2000-Sage #declarative #named #user interface: FranTk — a declarative GUI language for Haskell (MS), pp. 106–117.
IFL-2000-AchtenJ #library #migration: Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.
IFL-2000-HuchN #distributed #programming: Distributed Programming in Haskell with Ports (FH, UN), pp. 107–121.
IFL-2000-PointonTL #design #distributed #implementation: The Design and Implementation of Glasgow Distributed Haskell (RFP, PWT, HWL), pp. 53–70.
PADL-2000-Thiemann #html #modelling: Modeling HTML in Haskell (PT), pp. 263–277.
WRLA-2000-BasinD #analysis #comparison #maude #protocol #security: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (DAB, GD), pp. 235–256.
ICFP-1999-LaunchburyLC #architecture #design #on the: On Embedding a Microarchitectural Design Language within Haskell (JL, JRL, BC), pp. 60–69.
ICFP-1999-WallaceR #combinator #question #type system #xml: Haskell and XML: Generic Combinators or Type-Based Translation? (MW, CR), pp. 148–159.
IFL-1999-Chakravarty #c: C -> HASKELL, or Yet Another Interfacing Tool (MMTC), pp. 131–148.
IFL-1999-HammondP #algorithm #named: HaskSkel: Algorithmic Skeletons in Haskell (KH, ÁJRP), pp. 181–198.
IFL-1999-JonesME #pointer: Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell (SLPJ, SM, CE), pp. 37–58.
IFL-1999-Reinke #petri net: Haskell-Coloured Petri Nets (CR), pp. 165–180.
PADL-1999-MeijerLH #web: Client-Side Web Scripting with HaskellScript (EM, DL, JH), pp. 196–210.
PADL-1999-PetersonHE: λ in Motion: Controlling Robots with Haskell (JP, PH, CE), pp. 91–105.
AFP-1998-LeijenMH98 #automation: Haskell as an Automation Controller (DL, EM, JH), pp. 268–289.
FLOPS-1998-ChakravartyGK #distributed #internet: Distributed Haskell: Goffin on the Internet (MMTC, YG, MK), pp. 80–97.
ICFP-1998-BjesseCSS #design #hardware #named: Lava: Hardware Design in Haskell (PB, KC, MS, SS), pp. 174–184.
ICFP-1998-FinneLMJ #interface #named: H/Direct: A Binary Foreign Language Interface for Haskell (SF, DL, EM, SLPJ), pp. 153–162.
IFL-1998-KingHT #parallel #profiling: A Strategic Profiler for Glasgow Parallel Haskell (DJK, JGH, PWT), pp. 88–102.
IFL-1998-Reinke #java #towards: Towards a Haskell/Java Connection (CR), pp. 200–215.
ALP-PLILP-1998-BreitingerKL #implementation #parallel #perspective: From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View (SB, UK, RL), pp. 318–334.
ALP-PLILP-1998-Wakeling #compilation #functional #java #lazy evaluation #mobile #source code #virtual machine: Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
POPL-1998-JonesSLT #ml: Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.
IFL-1997-JunaiduDH #compilation #named: Naira: A Parallel² Haskell Compiler (SBJ, AJTD, KH), pp. 214–230.
IFL-1997-KarlsenW #concurrent #repository #using: Using Concurrent Haskell to Develop Views over an Active Repository (EWK, SW), pp. 285–303.
IFL-1997-Wakeling #compilation #java #virtual machine: A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
PLILP-1997-GallardoGR #concurrent #inheritance: Inheritance and Selective Methods Dispatching in Concurrent Haskell (JEG, FG, BCR), pp. 33–46.
IFL-1996-BreitingerKL #concurrent #implementation: An Implementation of Eden on Top of Concurrent Haskell (SB, UK, RL), pp. 141–161.
IFL-1996-Mohnen: Context Patterns in Haskell (MM), pp. 41–57.
PLDI-1996-TrinderHMPJ #implementation #named #parallel: GUM: A Portable Parallel Implementation of Haskell (PWT, KH, JSMJ, ASP, SLPJ), pp. 79–88.
POPL-1996-JonesGF #concurrent: Concurrent Haskell (SLPJ, ADG, SF), pp. 295–308.
ESOP-1996-Jones96a #compilation #program transformation: Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.
FPCA-1995-Rojemo #compilation: Highlights from nhc — a Space-efficient Haskell Compiler (NR), pp. 282–292.
POPL-1995-KingL #algorithm: Structuring Depth-First Search Algorithms in Haskell (DJK, JL), pp. 344–354.
SAS-1995-Seward #analysis #implementation #polymorphism #prototype: Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell (JS), pp. 382–399.
ICLP-1995-Hirata #correctness #proving #π-calculus: Proving Correctness of Translation from Moded Flat GHC to π-Calculus (KH), p. 818.
SAS-1994-JensenHR #analysis #performance #strict: Efficient Strictness Analysis of Haskell (KDJ, PH, MR), pp. 246–362.
SAC-1994-Goblirsch: An introduction to Haskell with applications to digital signal processing (DMG), pp. 425–430.
ESOP-1994-HallHJW: Type Classes in Haskell (CVH, KH, SLPJ, PW), pp. 241–256.
FPCA-1993-Augustsson #implementation: Implementing Haskell Overloading (LA), pp. 65–73.
FPCA-1993-SansomJ #garbage collection: Generational Garbage Collection for Haskell (PMS, SLPJ), pp. 106–116.
ICLP-1993-RaoKS #proving #source code #termination: Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.
PLDI-1990-AndersonH #array #compilation: Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.
CLP-1990-UedaM90 #implementation: A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.
JICSCP-1988-FujitaOF88 #constraints #partial evaluation #source code: Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.
JICSCP-1988-NilssonT88 #implementation: A Flat GHC Implementation for Supercomputers (MN, HT), pp. 1337–1350.
JICSCP-1988-Taylor88: Localizing the GHC Suspension Test (HT), pp. 1257–1271.
ICLP-1987-ChikayamaK87 #multi: Multiple Reference Management in Flat GHC (TC, YK), pp. 276–293.
ICLP-1987-IchiyoshiMT87 #distributed #implementation #multi: A Distributed Implementation of Flat GHC on the Multi-PSI (MI, TM, KT), pp. 257–275.
SLP-1987-Saraswat87 #named #problem #semantics: GHC: Operational Semantics, Problems, and Relationships with CP(|, |) (VAS), pp. 347–358.
ICLP-1986-Levy86 #automaton #set: A GHC Abstract Machine and Instruction Set (JL), pp. 157–171.