Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Patrik Jansson" ( http://dblp.L3S.de/Authors/Patrik_Jansson )

  Author page on DBLP  Author page in RDF  Community of Patrik Jansson in ASPL-2

Publication years (Num. hits)
1996-2008 (15) 2009-2011 (7)
Publication types (Num. hits)
article(5) inproceedings(17)
Venues (Conferences, Journals, ...)
J. Funct. Program.(3) MPC(3) Advanced Functional Programmin...(2) ESOP(2) Haskell(2) IFL(2) POPL(2) DSL(1) Erlang Workshop(1) ICFP(1) ICFP-WGP(1) Nord. J. Comput.(1) Sci. Comput. Program.(1)
Authors
Patrik Jansson(22) Johan Jeuring(8) Jean-Philippe Bernardy(4) Marcin Zalewski(3) Hsiang-Shang Ko(2) Nils Anders Danielsson(2) Shin-Cheng Mu(2) Sibylle Schupp(2) Ulf Norell(2) Alex Gerdes(1) Alexey Rodriguez(1) Andreas P. Priesnitz(1) Bruno C. d. S. Oliveira(1) Cezar Ionescu(1) Cláudio Amaral(1) Daniel Lincke(1) More (+10 of total 33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Cláudio Amaral, Mário Florido, Patrik Jansson Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Search on Bibsonomy Erlang Workshop The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jonas Duregård, Patrik Jansson Embedded parser generators. Search on Bibsonomy Haskell The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp Generic programming with C++ concepts and Haskell type classes - a comparison. Search on Bibsonomy J. Funct. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson Parametricity and dependent types. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen Testing Polymorphic Properties. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson Algebra of programming in Agda: Dependent types for relational program derivation. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz A comparison of c++ concepts and haskell type classes. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF specification-driven development, c++, haskell, generic programming, concepts, type classes
1Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson Algebra of Programming Using Dependent Types. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira Comparing libraries for generic programming in haskell. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF libraries comparison, datatype-generic programming
1Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons Fast and loose reasoning is morally correct. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning
1Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser Testing Properties of Generic Functions. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ulf Norell, Patrik Jansson Prototyping Generic Programming in Template Haskell. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nils Anders Danielsson, Patrik Jansson Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcin Benke, Peter Dybjer, Patrik Jansson Universes for Generic Programs and Proofs in Dependent Type Theory. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2003 DBLP  BibTeX  RDF
1Ulf Norell, Patrik Jansson Polytypic Programming in Haskell. Search on Bibsonomy IFL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polytypic data conversion programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polytypic Compact Printing and Parsing. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polytypic Unification. Search on Bibsonomy J. Funct. Program. The full citation details ... 1998 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens Generic Programming: An Introduction. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polyp - A Polytypic Programming Language. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Johan Jeuring, Patrik Jansson Polytypic Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.