Christian Persson

According to our database, Christian Persson authored at least 3 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler.

Rikard Hjort, Jakob Holmgren, Christian Persson

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Engineering and business implications of ontologies - A proposal for a minimum viable ontology.

Christian Persson, Erik O. Wallin

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Maps of sparse Markov chains efficiently reveal community structure in network flows with memory.

Christian Persson, Ludvig Bohlin, Daniel Edler, Martin Rosvall

CoRR, 2016