20 citations · 26 across the 7 of their papers we have counts for
1 paper · 2 filters
Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard
In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal language…