Daniel Seidel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Haskell

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

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

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

The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001Isaac Jones. JFP, 17(3):426-428, 2007. [doi]

Comprehensive comprehensionsSimon L. Peyton Jones, Philip Wadler. haskell 2007: 61-72 [doi]

Using Template Haskell for Abstract InterpretationClara Segura, Carmen Torrano. ENTCS, 177:201-217, 2007. [doi]

Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006Andres Löh, editor, ACM, 2006.

Introducing the Haskell equational reasoning assistantAndy Gill. haskell 2006: 108-109 [doi]

Putting curry-howard to workTim Sheard. haskell 2005: 74-85 [doi]

A High-Level Implementation of Composable Memory Transactions in Concurrent HaskellFrank Huch, Frank Kupke. IFL 2006: 124-141 [doi]

I/P/B frame type decision by collinearity of displacementsAdriana Dumitras, Barry G. Haskell. icip 2004: 2769-2772

Haskell 98: ExpressionsSimon L. Peyton Jones. JFP, 13(1):17-38, 2003. [doi]

Haskell 98 Libraries: Numeric FunctionsSimon L. Peyton Jones. JFP, 13(1):157-168, 2003. [doi]

Haskell 98 Libraries: List UtilitiesSimon L. Peyton Jones. JFP, 13(1):179-190, 2003. [doi]

Haskell 98 Libraries: Input/OutputSimon L. Peyton Jones. JFP, 13(1):205-218, 2003. [doi]

Haskell 98 Libraries: LocalesSimon L. Peyton Jones. JFP, 13(1):231-232, 2003. [doi]

Haskell 98 Libraries: CPU TimeSimon L. Peyton Jones. JFP, 13(1):233-234, 2003. [doi]

On the Implementation of SPMD Applications Using HaskellIn SBAC-PAD. 2003: 55-63 [doi]

Haskell 98: IntroductionSimon L. Peyton Jones. JFP, 13(1), 2003. [doi]

Haskell 98 Libraries: System FunctionsSimon L. Peyton Jones. JFP, 13(1):223-224, 2003. [doi]

Haskell 98 Libraries: Random NumbersSimon L. Peyton Jones. JFP, 13(1):235-240, 2003. [doi]

Haskell 98: Standard PreludeSimon L. Peyton Jones. JFP, 13(1):103-124, 2003. [doi]

A texture replacement method at the encoder for bit-rate reduction of compressed videoBarry G. Haskell, Adriana Dumitras. tcsv, 13(2):163, 2003.

Embedding a Hardware Description Language in Template HaskellJohn T. O Donnell. Dagstuhl 2004: 143-164 [doi]

Haskell 98: Lexical StructureSimon L. Peyton Jones. JFP, 13(1):7-16, 2003. [doi]

Haskell 98 Libraries: Dates and TimesSimon L. Peyton Jones. JFP, 13(1):225-230, 2003. [doi]

Haskell 98 Libraries: Monad UtilitiesSimon L. Peyton Jones. JFP, 13(1):199-204, 2003. [doi]

Haskell 98 Libraries: Maybe UtilitiesSimon L. Peyton Jones. JFP, 13(1):191-192, 2003. [doi]

Haskell 98 Libraries: Indexing OperationsSimon L. Peyton Jones. JFP, 13(1):169-172, 2003. [doi]

Haskell 98: Syntax ReferenceSimon L. Peyton Jones. JFP, 13(1):125-138, 2003. [doi]

Haskell 98 Libraries: ArraysSimon L. Peyton Jones. JFP, 13(1):173-178, 2003. [doi]

Developing a high-performance web server in Concurrent HaskellSimon Marlow. JFP, 12(4&5):359-374, 2002.

Faking it: Simulating dependent types in HaskellConor McBride. JFP, 12(4&5):375-392, 2002.

Generic Haskell, SpecificallyDave Clarke, Andres Löh. ifip2-1 2003: 21-47

Transforming Haskell for TracingOlaf Chitil, Colin Runciman, Malcolm Wallace. IFL 2003: 165-181 [doi]

Haskell: Language for Business SystemsDan Russell, Dominic Steinitz, Chris Reade. sfp 2002: 1-12

Server side web scripting in HaskellErik Meijer. JFP, 10(1):1-18, 2000.

Non-stop HaskellAndrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, R. Lyndon While. ICFP 2000: 257-267 [doi]

A Note on Valuation Definable Expansions of FieldsDeirdre Haskell, Dugald Macpherson. JSYML, 63(2):739-743, 1998.

From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of ViewSilvia Breitinger, Ulrike Klusik, Rita Loogen. plilp 1998: 318-334 [doi]

Bridging the Gulf: A Common Intermediate Language for ML and HaskellSimon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach. POPL 1998: 49-61 [doi]

A Strategic Profiler for Glasgow Parallel HaskellDavid J. King, Jon G. Hall, Philip W. Trinder. IFL 1999: 88-102 [doi]

A Version of o-Minimality for the p-adicsDeirdre Haskell, Dugald Macpherson. JSYML, 62(4):1075-1092, 1997.

Concurrent HaskellSimon L. Peyton Jones, Andrew D. Gordon, Sigbjorn Finne. POPL 1996: 295-308 [doi]

Haskell-style Overloading is NP-hardDennis M. Volpano. iccl 1994: 88-94

A Gentle Introduction to HaskellPaul Hudak, Joseph H. Fasel. SIGPLAN, 27(5):1, 1992.

The nofib Benchmark Suite of Haskell ProgramsWill Partain. fp 1993: 195-202

Semi-Compatible High Definition Television Using Field Differential SignalsBarry G. Haskell. icc 1984: 491-494

Efficient Implementation of a Class of Recursively Defined FunctionsR. Haskell. cj, 18(1):23-29, 1975.

The System LDHaskell B. Curry. JSYML, 17(1):35-42, 1952.

runs on WebDSL