Jeremy Gibbons

الكتب
Trends in Functional Programming Trends in Functional Programming
Trends in Functional Programming
٢٠٢٥
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠٢٤
Bidirectional Transformations Bidirectional Transformations
Bidirectional Transformations
٢٠١٨
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠٠٧
Teaching Formal Methods Teaching Formal Methods
Teaching Formal Methods
٢٠٠٩