ISBN-13: 9780262536431 / Angielski / Miękka / 2018 / 424 str.
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Czytaj nas na: