Concepedia

Patrik Jansson

PJ

21

Publications

991

Citations

15

H-Index

1997

Active since

Affiliations

Chalmers University of Technology(Current)

University of Gothenburg

Utrecht University

University of Oxford

City, University of London

Patrik Jansson is an author at Chalmers University of Technology specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisLanguageSemanticsLinguistics

Publications per year

1997–2023

21

Publications

21

PolyP---a polytypic programming language extension

Patrik Jansson, Johan Jeuring · 1997 · 245 citations · Full text

Engineering, Type Theory, Such Functions +18

Generic Programming - An Introduction -

Roland Backhouse, Patrik Jansson, Johan Jeuring et al. · Utrecht University Repository (Utrecht University) · 1999 · 129 citations · Full text

Proofs for free

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson · Journal of Functional Programming · 2012 · 84 citations · Full text

Engineering, Type Theory, Verification +21

Fast and loose reasoning is morally correct

Nils Anders Danielsson, John Hughes, Patrik Jansson et al. · 2006 · 78 citations

Engineering, Ethical Dilemma, Behavioral Decision Making +19

Universes for generic programs and proofs in dependent type theory

Marcin Benke, Peter Dybjer, Patrik Jansson · 2003 · 71 citations

Rows per page

1–5 of 21