Exploring software

What Have We Learned about Dependently Typed Programming from Haskell? (Keynote)

The "rebound" library is used to demonstrate and reflect on the current capabilities of dependently-typed programming in Haskell, and supports working with well-scoped de Bruijn indices in abstract syntax trees.

Management with Logical

Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell

Tikka is introduced, an interpreter for a carefully-selected subset of Haskell with concise, beginner-friendly error messages, evaluation tracing, and a bespoke IDE.

Static Analysis Possibilities for Regular Expressions in C++

This research measured 26 different popular open-source projects and found that in more than two-thirds of the time, constructors used hardcoded parameters, which opens the possibility for the creation of an effective static analysis tool.

Disruption of the research software landscape through AI software generation

On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values

This work uses the dependently typed Lean programming language to implement a similar choreographic library, ChorLean, which ensures total EPP and safe value access via proof-carrying located values, passing Lean's totality checker without undefined cases, while supporting the same feature set as libraries like MultiCh...