2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CY2022
Teaching Simple Constructive Proofs with Haskell Programs
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…
cs.LG2021★ 2 cited
ast2vec: Utilizing Recursive Neural Encodings of Python Programs
Benjamin Paaßen, Jessica McBroom, Bryn Jeffries +2
Educational datamining involves the application of datamining techniques to student activity. However, in the context of computer programming, many datamining techniques can not be…