Edward Sabinus -

Registered user since Mon 20 Apr 2026

Name:Edward Sabinus

Affiliation:Martin-Luther-University Halle-Wittenberg

Contributions

2026

WADT

Author of Feasible Morphism of Polymorphism and Partial Operations to Many-sorted Algebra with Constructors within the WADT 2026-track

FM

Author of Automatic Assessment and Feedback on Undergraduates’ Structural Induction Proofs within the Workshop: FMTea-track

2025

CSEE&T

Author of Automatic Assessment of Structural Induction Proofs for Undergraduate Computer Science Courses within the Software Engineering Education-track