Patrik Jansson

46 papers A* 2A 3B 3C 4Journal 17Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Domain-specific tensor languages. J. Funct. Program. Jean-Philippe Bernardy, Patrik Jansson
2025	J	`jnl`	Optimization under uncertainty. CoRR Nicola Botta, Patrik Jansson, Tim Richter
2023	J	`jnl`	Domain-Specific Tensor Languages. CoRR Jean-Philippe Bernardy, Patrik Jansson
2023	J	`jnl`	Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials. CoRR Julia Jansson, Patrik Jansson
2023	J	`jnl`	Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. J. Funct. Program. Julia Jansson, Patrik Jansson
2023	J	`jnl`	Types, equations, dimensions and the Pi theorem. CoRR Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva
2021	J	`jnl`	Extensional equality preservation and verified generic programming. J. Funct. Program. Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
2020	J	`jnl`	Extensional equality preservation and verified generic programming. CoRR Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
2018	—	`conf`	Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. TFPIE@TFP Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
2018	—	`conf`	Saint: An API-Generic Type-Safe Interpreter. TFP Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
2018	—	`conf`	Type Theory as a Framework for Modelling and Programming. ISoLA (1) Cezar Ionescu, Patrik Jansson, Nicola Botta
2017	J	`jnl`	Contributions to a computational theory of policy advice and avoidability. J. Funct. Program. Nicola Botta, Patrik Jansson, Cezar Ionescu
2017	J	`jnl`	Sequential decision problems, dependent types and generic solutions. Log. Methods Comput. Sci. Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
2017	—	`conf`	VisPar: visualising dataflow graphs from the Par Monad. FHPC@ICFP Maximilian Algehed, Patrik Jansson
2016	—	`conf`	An agda formalisation of the transitive closure of block matrices (extended abstract). TyDe@ICFP Adam Sandberg Eriksson, Patrik Jansson
2016	J	`jnl`	Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. Log. Methods Comput. Sci. Jean-Philippe Bernardy, Patrik Jansson
2016	—	`conf`	Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. TFPIE Cezar Ionescu, Patrik Jansson
2012	—	`conf`	Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. IFL Cezar Ionescu, Patrik Jansson
2012	C	`conf`	Feat: functional enumeration of algebraic types. Haskell Jonas Duregård, Patrik Jansson, Meng Wang
2012	J	`jnl`	Proofs for free - Parametricity for dependent types. J. Funct. Program. Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
2012	C	`conf`	Testing type class laws. Haskell Johan Jeuring, Patrik Jansson, Cláudio Amaral
2011	C	`conf`	Embedded parser generators. Haskell Jonas Duregård, Patrik Jansson
2011	—	`conf`	Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop Cláudio Amaral, Mário Florido, Patrik Jansson
2011	—	`conf`	Testing versus proving in climate impact research. TYPES Cezar Ionescu, Patrik Jansson
2010	J	`jnl`	Generic programming with C++ concepts and Haskell type classes - a comparison. J. Funct. Program. Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
2010	A	`conf`	Parametricity and dependent types. ICFP Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
2010	A	`conf`	Testing Polymorphic Properties. ESOP Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
2009	J	`jnl`	Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
2009	—	`conf`	Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. DSL Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
2009	—	`ed.`	Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009 WGP@ICFP Patrik Jansson, Sibylle Schupp
2008	—	`conf`	A comparison of c++ concepts and haskell type classes. ICFP-WGP Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz
2008	B	`conf`	Algebra of Programming Using Dependent Types. MPC Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
2008	C	`conf`	Comparing libraries for generic programming in haskell. Haskell Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2006	A*	`conf`	Fast and loose reasoning is morally correct. POPL Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
2006	—	`conf`	Testing Properties of Generic Functions. IFL Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
2004	B	`conf`	Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. MPC Nils Anders Danielsson, Patrik Jansson
2004	B	`conf`	Prototyping Generic Programming in Template Haskell. MPC Ulf Norell, Patrik Jansson
2003	—	`conf`	Polytypic Programming in Haskell. IFL Ulf Norell, Patrik Jansson
2003	J	`jnl`	Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput. Marcin Benke, Peter Dybjer, Patrik Jansson
2002	J	`jnl`	Polytypic data conversion programs. Sci. Comput. Program. Patrik Jansson, Johan Jeuring
2000	—	`—`	Functional Polytypic Programming. Patrik Jansson
1999	A	`conf`	Polytypic Compact Printing and Parsing. ESOP Patrik Jansson, Johan Jeuring
1998	—	`conf`	Generic Programming: An Introduction. Advanced Functional Programming Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
1998	J	`jnl`	Polytypic Unification. J. Funct. Program. Patrik Jansson, Johan Jeuring
1997	A*	`conf`	Polyp - A Polytypic Programming Language. POPL Patrik Jansson, Johan Jeuring
1996	—	`conf`	Polytypic Programming. Advanced Functional Programming Johan Jeuring, Patrik Jansson