Michal H. Palka - 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]

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]

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

A purely functional implementation of ROBDDs in HaskellJan Christiansen, Frank Huch. sfp 2007: 55-71

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]

Haskell on a shared-memory multiprocessorTim Harris, Simon Marlow, Simon L. Peyton Jones. haskell 2005: 49-61 [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]

Haskell 98: ModulesSimon L. Peyton Jones. JFP, 13(1):67-80, 2003. [doi]

Haskell 98 Libraries: Character UtilitiesSimon L. Peyton Jones. JFP, 13(1):193-198, 2003. [doi]

Haskell 98: Predefined Types and ClassesSimon L. Peyton Jones. JFP, 13(1):81-96, 2003. [doi]

Haskell 98: Declarations and BindingsSimon L. Peyton Jones. JFP, 13(1):39-66, 2003. [doi]

Haskell 98 Libraries: Complex NumbersSimon L. Peyton Jones. JFP, 13(1):153-156, 2003. [doi]

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

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

Events in Haskell, and How to Implement ThemGeorge Russell. ICFP 2001: 157-168

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.

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

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