The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Patrik Jansson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
    Generic Programming: An Introduction. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1998, pp:28-115 [Conf]
  2. Johan Jeuring, Patrik Jansson
    Polytypic Programming. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1996, pp:68-114 [Conf]
  3. Patrik Jansson, Johan Jeuring
    Polytypic Compact Printing and Parsing. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:273-287 [Conf]
  4. Ulf Norell, Patrik Jansson
    Polytypic Programming in Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2003, pp:168-184 [Conf]
  5. Ulf Norell, Patrik Jansson
    Prototyping Generic Programming in Template Haskell. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:314-333 [Conf]
  6. Nils Anders Danielsson, Patrik Jansson
    Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:85-109 [Conf]
  7. Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
    Fast and loose reasoning is morally correct. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:206-217 [Conf]
  8. Patrik Jansson, Johan Jeuring
    Polyp - A Polytypic Programming Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:470-482 [Conf]
  9. Patrik Jansson, Johan Jeuring
    Polytypic Unification. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:5, pp:527-536 [Journal]
  10. Marcin Benke, Peter Dybjer, Patrik Jansson
    Universes for Generic Programs and Proofs in Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:4, pp:265-289 [Journal]
  11. Patrik Jansson, Johan Jeuring
    Polytypic data conversion programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:43, n:1, pp:35-75 [Journal]
  12. Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
    Testing Properties of Generic Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:217-234 [Conf]

  13. Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. [Citation Graph (, )][DBLP]


  14. Testing Polymorphic Properties. [Citation Graph (, )][DBLP]


  15. A comparison of c++ concepts and haskell type classes. [Citation Graph (, )][DBLP]


  16. Algebra of Programming Using Dependent Types. [Citation Graph (, )][DBLP]


  17. Comparing libraries for generic programming in haskell. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002