Koen Claessen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Haskell

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]

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

A library for light-weight information-flow security in haskellAlejandro Russo, Koen Claessen, John Hughes. haskell 2008: 13-24 [doi]

The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001Isaac Jones. JFP, 17(3):426-428, 2007. [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

Typed Logical Variables in HaskellKoen Claessen, Peter Ljunglöf. ENTCS, 41(1):37, 2000. [doi]

QuickCheck: a lightweight tool for random testing of Haskell programsKoen Claessen, John Hughes. ICFP 2000: 268-279 [doi]

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

Lava: Hardware Design in HaskellPer Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh. ICFP 1998: 174-184 [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 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