449 citations · 843 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.CY2016★ 3 cited
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
Cezar Ionescu, Patrik Jansson
We present the approach underlying a course on "Domain-Specific Languages of Mathematics", currently being developed at Chalmers in response to difficulties faced by third-year stu…
cs.LO2016★ 2 cited
Sequential decision problems, dependent types and generic solutions
Nicola Botta, Patrik Jansson, Cezar Ionescu +2
We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizatio…