Patrik Jansson

Full Professor, Functional Programming division, Head of Department, Computer Science and Engineering.

+46 31 772 54 15 Find me http://orcid.org/0000-0003-3078-1437

My twitter profile says: Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.

​​Domain Specific Languages of Mathematics

The course will present classical mathematical topics from a computing science perspective: giving specifications of the concepts introduced, paying attention to syntax and types, and ultimately constructing DSLs of some mathematical areas.

Links:

 

​My research area is Software Technology and I specialise in Generic Programming, Functional Programming and Program Verification.

Links

Published: Fri 04 Oct 2013. Modified: Wed 03 Apr 2019