patrikja

Follow

Patrik Jansson patrikja

Follow

102 followers · 68 following

Chalmers University of Technology
Göteborg, Sweden
14:00 (UTC +01:00)
https://patrikja.owlstown.net/
https://orcid.org/0000-0003-3078-1437
@patrikja@functional.cafe

Achievements

Achievements

Highlights

Pro

Organizations

patrikja/README.md

Patrik Jansson (patrikja)

Professor of Computer Science in the Functional Programming group at Chalmers University of Technology and University of Gothenburg.

Homepage: https://patrikja.owlstown.net/

Popular repositories Loading

autosar autosar Public

A simplified model of programming in autosar

Haskell 72 55
AFPcourse AFPcourse Public

http://www.cse.chalmers.se/edu/course/afp/

Haskell 16 12
PolyP PolyP Public

PolyP - a polytypic programming language

Haskell 7
PAD PAD Public

Programansvarig Datateknik 300 hp / Computer Science and Engineering / Chalmers

TeX 4
LearningHaskellDataAnalysis LearningHaskellDataAnalysis Public

Some notes and code from working through the book "Learning Haskell Data Analysis"

Haskell 4
SeqDecProb_Agda SeqDecProb_Agda Public

Agda 3