Blog Posts
Find blog posts shared by the Owlstown community.
Types, equations, dimensions and the Pi theorem
Last week we submitted a paper to JFP about dimension analysis in a (dependently) typed functional language (like Idris or Agda). It is also available (as a pre-print) on arXiv.
arXiv: 2308.09481
Authors: N. Botta, P. Jansson, G. da Silva
Abstrac...
Post · August 21, 2023
An International Student's Guide to Moving Back Home
NOTE: I originally drafted this post in May/June 2023, as I was in the process of moving back home. Perhaps as expected, the process of moving was so much that I completely forgot to post the post! On the bright side, it does allow me to write ret...
Post · August 18, 2023
More on computing Level-p-complexity with Haskell
After the earlier posts (2022-12, 2023-03) there has been some more development on the "Level-\(p\)-complexity"-front. The topic is inspired from mathematical research by Prof. Jeffrey Steif and other colleagues, but the paper (in submission to JF...
Post · August 16, 2023
Publication of a new article!
I’m happy to announce the publication of my new research article titled Towards an accurate method for column void volume determination using liquid chromatography-mass spectrometry, which we published in the Journal of Chromatography A. 1
We e...
Post · August 14, 2023
Sites
View all
Create your academic website in Owlstown
Start your academic website in just a few minutes. Keep it updated easily. No code, no server to maintain, so you can focus on your research.
Create your free website