Ionescu, Cezar; Jansson, Patrik: Dependently-typed programming in scientific computing: Examples from economic modelling. 24th Symposium on Implementation and Application of Functional Languages (IFL 2012),

Ionescu, Cezar; Jansson, Patrik: Testing versus proving in climate impact research. Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11), 19 pp. 41-54. ISBN/ISSN: 978-3-939897-49-1

Jansson, Patrik; Fülöp, Tünde: A Sustainable Energy Future through Education and Research.

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: Proofs for Free -- Parametricity for dependent types. Journal of Functional Programming, 22 (2) pp. 107-152 .

Duregård, Jonas; Jansson, Patrik; Wang, Meng: Feat: Functional Enumeration of Algebraic Types. SIGPLAN notices, 47 (12) pp. 61-72.

Duregård, Jonas; Jansson, Patrik; Wang, Meng: Feat: Functional Enumeration of Algebraic Types. 2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, ISBN/ISSN: 978-145031574-6

Glimming, Johan; Altenkirch, Thorsten; Jansson, Patrik: What is the next programming paradigm?. Second International Software Technology Exchange Workshop 2012,

Jeuring, J.; Jansson, Patrik; Amaral, Claudio: Testing Type Class Laws. SIGPLAN notices, 47 (12) pp. 49-60.

Jeuring, Johan; Jansson, Patrik; Amaral, Claudio: Testing Type Class Laws. 2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, pp. 49-60. ISBN/ISSN: 978-1-4503-1574-6

Amaral, Claudio; Florido, M.; Jansson, Patrik: Interfacing dynamically typed languages and the why tool: Reasoning about lists and tuples. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 92-93. ISBN/ISSN: 978-145030859-5

Duregård, Jonas; Jansson, Patrik: Embedded Parser Generators. ACM Sigplan Notices, 46 (12) pp. 107-117.

Duregård, Jonas; Jansson, Patrik: Embedded Parser Generators. Haskell'11 Proceedings of the 2011 ACM SIGPLAN Haskell Symposium, Tokyo Japan, pp. 107-117. ISBN/ISSN: 978-1-4503-0860-1

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: An abstraction theorem for pure type systems.

Bernardy, Jean-Philippe; Jansson, Patrik; Zalewski, Marcin; Schupp, Sibylle: Generic programming with C++ concepts and Haskell type classes—a comparison. Journal of Functional Programming, 20 (3-4) pp. 271-302.

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: Parametricity and Dependent Types. SIGPLAN notices, 45 (9) pp. 345-356.

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: Parametricity and dependent types. International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland,

Bernardy, Jean-Philippe; Jansson, Patrik; Claessen, Koen: Testing Polymorphic Properties. Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010, 6012 pp. 125-144. ISBN/ISSN: 978-3-642-11956-9

Jansson, Patrik: IMPACT: Quality Assurance. IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 , pp. 59-62.

Jansson, Patrik: Learning from IMPACT. IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 , s. 59-62, pp. 23-24.

WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. Patrik Jansson, Sibylle Schupp [editor(s)]. New York, NY, USA : ACM. ISBN/ISSN: 978-1-60558-510-9

Lincke, Daniel; Jansson, Patrik; Zalewski, Marcin; Ionescu, Cezar: Generic libraries in C++ with concepts from high-level domain descriptions in Haskell: A domain-specific library for computational vulnerability assessment. Domain-Specific Languages - IFIP TC 2 Working Conference, DSL 2009, 5658/2009 pp. 236-261. ISBN/ISSN: 978-3-642-03033-8

Mu, Shin-Cheng; Ko, Hsiang-Shang; Jansson, Patrik: Algebra of programming in Agda: dependent types for relational program derivation. Journal of Functional Programming, 19 (05) pp. 545 - 579.

Niklasson, Claes; Jansson, Patrik: Pedagogical development of Master's Programmes for the Bologna Structure at Chalmers - IMPACT. European Society for Engineering Education (SEFI) 37th Annual Conference,

Niklasson, Claes; Lundgren, Per; Jansson, Patrik: Utvärdering av Chalmers nya Mastersprogram - Studentsynpunkter. Den 2:a Utvecklingskonferensen för Sveriges ingenjörsutbildningar, 2-3 Dec Lund, 2009, pp. 49-52.

Bernardy, Jean-Philippe; Jansson, Patrik; Zalewski, Marcin; Schupp, Sibylle; Priesnitz, Andreas: A comparison of C++ concepts and Haskell type classes. ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008, pp. 37-48. ISBN/ISSN: 978-1-60558-060-9

Mu, Shin-Cheng; Hsiang-Shang, Ko; Jansson, Patrik: Algebra of Programming using Dependent Types. Mathematics of Program Construction, 5133/2008 pp. 268-283.

Niklasson, Claes; Jansson, Patrik; Lundgren, Per: IMPACT - Establishing the Bologna Structure with Master's Programmes at Chalmers . Utvecklingskonferensen 2008, Nätverket Ingenjörsutbildningarna,

Rodriguez, Alexey; Jeuring, Johan; Jansson, Patrik; Gerdes, Alex; Kiselyov, Oleg; Oliveira, Bruno C D S: Comparing Libraries For Generic Programming In Haskell. ACM Sigplan Notices, 44 (2) pp. 111-122.

Rodriguez, Alexey; Jeuring, Johan; Jansson, Patrik; Gerdes, Alex; Kiselyov, Oleg; Oliveira, Bruno C D S: Comparing Libraries for Generic Programming in Haskell. Department of Information and Computing Sciences, Utrecht University, Technical Report UU-CS-2008-010,

Jansson, Patrik; Jeuring, Johan: Testing Properties of Generic Functions. LNCS, Proceedings of IFL 2006, 4449

Danielsson, Nils Anders; Hughes, John; Jansson, Patrik; Gibbons, Jeremy: Fast and Loose Reasoning is Morally Correct. Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006), pp. 206-217. ISBN/ISSN: 1-59593-027-2

Jansson, Patrik; Jeuring, Johan: Testing Properties of Generic Functions.

Danielsson, Nils Anders; Jansson, Patrik: Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125, pp. 85-109. ISBN/ISSN: 3-540-22380-0

Norell, Ulf; Jansson, Patrik: Polytypic Programming in Haskell. Implementation of Functional Languages, LNCS (3145) pp. 168-184.

Norell, Ulf; Jansson, Patrik: Prototyping Generic Programming in Template Haskell. Lecture Notes in Computer Science, 3125 pp. 314-333. ISBN/ISSN: 3-540-22380-0

Benke, Marcin; Dybjer, Peter; Jansson, Patrik: Universes for Generic Programs and Proofs in Dependent Type Theory. Nordic Journal of Computing, 10 (4) pp. 265-289.

Jansson, Patrik; Jeuring, Johan: Polytypic Data Conversion Programs. Science of Computer Programming, 43 (1) pp. 35-75.

Jansson, Patrik; Jeuring, Johan: A Framework for Polytypic Programming on Terms, with an Application to Rewriting. Workshop on Generic Programming,

Jansson, Patrik: Functional Polytypic Programming. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 91-7197-895-X

Backhouse, Roland; Jansson, Patrik; Jeuring, Johan; Meertens, Lambert: Generic Programming: An Introduction. Advanced Functional Programming, 1608 pp. 28--115.

Jansson, Patrik; Jeuring, Johan: Polytypic Compact Printing and Parsing. European Symposium on Programming, 1576 pp. 273-287.

Jansson, Patrik; Jeuring, Johan: Functional Pearl: Polytypic Unification. Journal of Functional Programming, 8 (5) pp. 527-536.

Jansson, Patrik; Jeuring, Johan: PolyLib - a polytypic function library. Workshop on Generic Programming,

Jansson, Patrik: Functional Polytypic Programming --- Use and Implementation. Göteborg : Chalmers University of Technology. ISBN/ISSN: 91-7197 486-5

Jansson, Patrik; Jeuring, Johan: PolyP - a polytypic programming language extension. Principles of Programming Languages, POPL97 pp. 470-482. ISBN/ISSN: 0-89791-853-3

Jeuring, Johan; Jansson, Patrik: Polytypic Programming. Advanced Functional Programming, pp. 68-114.

Jansson, Patrik: Polytypism and polytypic unification. Göteborg : Chalmers University of Technology.