Jeremy Gibbons

도서
Trends in Functional Programming Trends in Functional Programming
Trends in Functional Programming
2025년
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2024년
Bidirectional Transformations Bidirectional Transformations
Bidirectional Transformations
2018년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007년
Teaching Formal Methods Teaching Formal Methods
Teaching Formal Methods
2009년