Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
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…