José Nuno Oliveira - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Haskell

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]

Type-Safe Two-Level Data TransformationAlcino Cunha, José Nuno Oliveira, Joost Visser. FM 2006: 284-299 [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