13 citations · 33 across the 8 of their papers we have counts for
Showing 2016Show all
3 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…
cs.LO2016★ 10 cited
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Valiant (1975) has developed an algorithm for recognition of context free languages. As of today, it remains the algorithm with the best asymptotic complexity for this purpose. In…