The end of history? Using a proof assistant to replace language design with library design by Chlipala, Adam, Delaware, Benjamin, Duchovni, Samuel, Gross, Jason S., Pit-Claudel, Clement Francois, Suriyakarn, Sorawit, Wang, Peng

“…Dagstuhl Research…”
Get full text

The end of history? Using a proof assistant to replace language design with library design by Chlipala, Adam, Delaware, Benjamin, Duchovni, Samuel, Gross, Jason S., Pit-Claudel, Clément, Suriyakarn, Sorawit, Wang, Peng

“…Dagstuhl Research…”
Get full text

Who witnesses the witness? Finding witnesses in the witness is hard and sometimes impossible by Abel, Zachary R, Bosboom, Jeffrey William, Demaine, Erik D, Hamilton, Linus Ulysses, Hesterberg, Adam Classen, Kopinsky, Justin, Lynch, Jayson R., Rudoy, Mikhail

“…Dagstuhl Research…”
Get full text

The Orbit Problem for parametric linear dynamical systems by Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J

“…Dagstuhl Research Online Publication Server…”