https://patrikja.owlstown.net https://patrikja.owlstown.net/publications https://patrikja.owlstown.net/projects https://patrikja.owlstown.net/people https://patrikja.owlstown.net/courses https://patrikja.owlstown.net/posts https://patrikja.owlstown.net/pages https://patrikja.owlstown.net/cv https://patrikja.owlstown.net/contact_form https://patrikja.owlstown.net/publications/44780-domain-specific-tensor-languages https://patrikja.owlstown.net/publications/32804-fluid-and-kinetic-studies-of-tokamak-disruptions-using-bayesian-optimization https://patrikja.owlstown.net/publications/27981-bayesian-optimization-of-massive-material-injection-for-disruption-mitigation-in-tokamaks https://patrikja.owlstown.net/publications/27980-level-p-complexity-of-boolean-functions-using-thinning-memoization-and-polynomials https://patrikja.owlstown.net/publications/18268-responsibility-under-uncertainty-which-climate-decisions-matter-most https://patrikja.owlstown.net/publications/13696-domain-specific-languages-of-mathematics https://patrikja.owlstown.net/publications/13695-extensional-equality-preservation-and-verified-generic-programming https://patrikja.owlstown.net/publications/13698-an-algebra-of-sequential-decision-problems https://patrikja.owlstown.net/publications/13693-an-algebra-of-sequential-decision-problems-extended-abstract https://patrikja.owlstown.net/publications/13691-saint-an-api-generic-type-safe-interpreter https://patrikja.owlstown.net/publications/13690-the-impact-of-uncertainty-on-optimal-emission-policies https://patrikja.owlstown.net/publications/13692-type-theory-as-a-framework-for-modelling-and-programming https://patrikja.owlstown.net/publications/13694-examples-and-results-from-a-bsc-level-course-on-domain-specific-languages-of-mathematics https://patrikja.owlstown.net/publications/13689-vispar-visualising-dataflow-graphs-from-the-par-monad https://patrikja.owlstown.net/publications/13687-contributions-to-a-computational-theory-of-policy-advice-and-avoidability https://patrikja.owlstown.net/publications/13688-sequential-decision-problems-dependent-types-and-generic-solutions https://patrikja.owlstown.net/publications/13685-certified-context-free-parsing-a-formalisation-of-valiant-s-algorithm-in-agda https://patrikja.owlstown.net/publications/13686-domain-specific-languages-of-mathematics-presenting-mathematical-analysis-using-functional-programming https://patrikja.owlstown.net/publications/13684-an-agda-formalisation-of-the-transitive-closure-of-block-matrices-extended-abstract https://patrikja.owlstown.net/publications/13699-towards-a-computational-theory-of-gss-a-case-for-domain-specific-languages https://patrikja.owlstown.net/publications/13679-proofs-for-free-parametricity-for-dependent-types https://patrikja.owlstown.net/publications/13682-feat-functional-enumeration-of-algebraic-types https://patrikja.owlstown.net/publications/13680-dependently-typed-programming-in-scientific-computing-examples-from-economic-modelling https://patrikja.owlstown.net/publications/13681-testing-type-class-laws https://patrikja.owlstown.net/publications/13678-interfacing-dynamically-typed-languages-and-the-why-tool-reasoning-about-lists-and-tuples https://patrikja.owlstown.net/publications/13677-embedded-parser-generators https://patrikja.owlstown.net/publications/13683-testing-versus-proving-in-climate-impact-research https://patrikja.owlstown.net/publications/13674-testing-polymorphic-properties https://patrikja.owlstown.net/publications/13676-parametricity-and-dependent-types https://patrikja.owlstown.net/publications/13675-generic-programming-with-c-concepts-and-haskell-type-classes-a-comparison https://patrikja.owlstown.net/publications/13672-generic-libraries-in-c-with-concepts-from-high-level-domain-descriptions-in-haskell https://patrikja.owlstown.net/publications/13673-algebra-of-programming-in-agda-dependent-types-for-relational-program-derivation https://patrikja.owlstown.net/publications/13670-a-comparison-of-c-concepts-and-haskell-type-classes https://patrikja.owlstown.net/publications/13669-algebra-of-programming-using-dependent-types https://patrikja.owlstown.net/publications/13671-comparing-libraries-for-generic-programming-in-haskell https://patrikja.owlstown.net/publications/13667-fast-and-loose-reasoning-is-morally-correct https://patrikja.owlstown.net/publications/13668-testing-properties-of-generic-functions https://patrikja.owlstown.net/publications/13665-chasing-bottoms-a-case-study-in-program-verification-in-the-presence-of-partial-and-infinite-values https://patrikja.owlstown.net/publications/13666-prototyping-generic-programming-in-template-haskell https://patrikja.owlstown.net/publications/13664-universes-for-generic-programs-and-proofs-in-dependent-type-theory https://patrikja.owlstown.net/publications/13663-polytypic-programming-in-haskell https://patrikja.owlstown.net/publications/13662-polytypic-data-conversion-programs https://patrikja.owlstown.net/publications/13660-functional-polytypic-programming https://patrikja.owlstown.net/publications/13661-a-framework-for-polytypic-programming-on-terms-with-an-application-to-rewriting https://patrikja.owlstown.net/publications/13659-polytypic-compact-printing-and-parsing https://patrikja.owlstown.net/publications/13658-generic-programming-an-introduction https://patrikja.owlstown.net/publications/13657-polytypic-unification https://patrikja.owlstown.net/publications/13656-polylib-a-library-of-polytypic-functions https://patrikja.owlstown.net/publications/13655-functional-polytypic-programming-use-and-implementation https://patrikja.owlstown.net/publications/13654-polyp-a-polytypic-programming-language https://patrikja.owlstown.net/publications/13653-polytypic-programming https://patrikja.owlstown.net/publications/13652-polytypism-and-polytypic-unification https://patrikja.owlstown.net/projects/1656-optifun-optimising-fusion-with-generative-programming https://patrikja.owlstown.net/projects/1664-graceful-global-systems-rapid-assessment-tools-through-constraint-functional-languages https://patrikja.owlstown.net/projects/1665-dslsofmath-domain-specific-languages-of-mathematics https://patrikja.owlstown.net/people/1224-enayatullah-norozi https://patrikja.owlstown.net/people/1109-ulf-norell https://patrikja.owlstown.net/people/1225-edvin-lundqvist-sternvik https://patrikja.owlstown.net/people/1110-nils-anders-danielsson https://patrikja.owlstown.net/people/1111-jean-philippe-bernardy https://patrikja.owlstown.net/people/1112-jonas-duregard https://patrikja.owlstown.net/courses/1234-domain-specific-languages-of-mathematics https://patrikja.owlstown.net/courses/1363-bsc-projects-on-dslsofmath-for-other-courses https://patrikja.owlstown.net/courses/2664-functional-programming-and-climate-impact-research https://patrikja.owlstown.net/posts/5275-announcing-fpclimate-2026 https://patrikja.owlstown.net/posts/4887-dimensional-analysis-meets-dependent-types https://patrikja.owlstown.net/posts/4693-agda-ventures-with-polyp https://patrikja.owlstown.net/posts/4598-talk-domain-specific-tensor-languages https://patrikja.owlstown.net/posts/4573-optimization-under-uncertainty https://patrikja.owlstown.net/posts/4554-exploring-level-p-complexity-for-subclasses-of-boolean-functions https://patrikja.owlstown.net/posts/4505-theories-and-tools-for-climate-policy-exploration https://patrikja.owlstown.net/posts/3782-functional-multi-objective-optimization-under-uncertainty https://patrikja.owlstown.net/posts/3400-cambridge-visit https://patrikja.owlstown.net/posts/3189-bsc-project-proposals-2024-25 https://patrikja.owlstown.net/posts/3188-talk-optimising-sustainable-energy-with-functional-programming https://patrikja.owlstown.net/posts/3101-submitted-grant-application-theories-and-tools-for-climate-policy-exploration https://patrikja.owlstown.net/posts/2451-energy-nework-day-presentation-optimising-fusion-with-functional-programming https://patrikja.owlstown.net/posts/2305-project-proposal-functional-multi-objective-optimization-under-uncertainty https://patrikja.owlstown.net/posts/3285-fpclimate-seminar-2 https://patrikja.owlstown.net/posts/2428-fpclimate-seminar-1 https://patrikja.owlstown.net/posts/2025-can-computer-science-help-climate-policy-making https://patrikja.owlstown.net/posts/2013-paper-on-level-p-complexity-with-haskell-now-published-by-jfp https://patrikja.owlstown.net/posts/2002-domain-specific-tensor-languages https://patrikja.owlstown.net/posts/1968-msc-thesis-proposals https://patrikja.owlstown.net/posts/1833-formalising-parallel-parsing-valiantagda-code-updates https://patrikja.owlstown.net/posts/1796-types-equations-dimensions-and-the-pi-theorem https://patrikja.owlstown.net/posts/1792-more-on-computing-level-p-complexity-with-haskell https://patrikja.owlstown.net/posts/1623-optifun-optimising-nuclear-fusion-with-functional-programming https://patrikja.owlstown.net/posts/1554-exploring-fair-climate-policies-under-uncertainty-and-conflicting-goals-a-computer-aided-approach https://patrikja.owlstown.net/posts/1499-berakna-basta-beslutet https://patrikja.owlstown.net/posts/1385-dimension-analysis-and-graded-algebras https://patrikja.owlstown.net/posts/1386-computing-optimal-policies-for-clean-energy-and-sustainable-development https://patrikja.owlstown.net/posts/1382-responsibility-under-uncertainty https://patrikja.owlstown.net/posts/1384-level-p-complexity-of-boolean-functions-an-update https://patrikja.owlstown.net/posts/1383-bayesian-optimization-of-fusion-experiment-simulations https://patrikja.owlstown.net/posts/1184-level-p-complexity-of-boolean-functions-using-thinning-memoization-and-polynomials https://patrikja.owlstown.net/posts/1127-first-and-31-st-agda-meetings https://patrikja.owlstown.net/posts/1034-domain-specific-languages-for-societal-challenges https://patrikja.owlstown.net/posts/1000-my-research-related-to-global-challenges https://patrikja.owlstown.net/posts/1677-from-the-archives-reproducibility-proofs-and-domain-specific-languages