Patrik Jansson - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Haskell

Embedded Parser GeneratorsJonas Duregård, Patrik Jansson. In Proceedings of the 4th ACM Symposium on Haskell. 2011: 107-117 [doi]

Generic programming with C++ concepts and Haskell type classes - a comparisonJean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp. JFP, 20(3-4):271-302, 2010. [doi]

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in HaskellDaniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu. DSL 2009: 236-261 [doi]

A comparison of c++ concepts and haskell type classesJean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz. ICFP 2008: 37-48 [doi]

Comparing libraries for generic programming in haskellAlexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira. haskell 2008: 111-122 [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]

Testing Properties of Generic FunctionsPatrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser. IFL 2007: 217-234 [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]

Prototyping Generic Programming in Template HaskellUlf Norell, Patrik Jansson. mpc 2004: 314-333 [doi]

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

Polytypic Programming in HaskellUlf Norell, Patrik Jansson. IFL 2004: 168-184 [doi]

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]

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.

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.

Polytypic ProgrammingJohan Jeuring, Patrik Jansson. afp 1996: 68-114

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.

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