Blog Posts
Find blog posts shared by the Owlstown community.
Domain-Specific Tensor Languages
After a few rejections elsewhere (ICFP'23, POPL'24), the much improved paper on Domain-Specific Tensor Languages has now been submitted to JFP for review and uploaded to arXiv for reference. Comments welcome!
Domain-Specific Tensor Languages
Jea...
Post · December 02, 2025
Dimensional Analysis meets Dependent Types
(About a pre-print by Nicola Botta & Patrik Jansson)
Specialization in the physical sciences has widened the gap between the languages of mathematical physics and those of functional programming (FP). While computer-based modelling critically nee...
Post · December 02, 2025
Publication: Recomendaciones para la implementación de sandboxes regulatorios de IA
Post · November 30, 2025
Publication: Sandboxes regulatorios como herramientas de prototipado de política pública
Post · November 30, 2025
Sites
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