Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Brigitte Pientka

Teaching the Art of Functional Programming Using Automated Grading (Experience Report)

Proceedings of the ACM on Programming Languages

English

Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English