Ilya Sergey

  1. home
  2. Author
  3. Ilya Sergey
Ilya Sergey

8 Published BooksIlya Sergey

Popular Books by Ilya Sergey

QED at Large: A Survey of Engineering of Formally Verified Software
QED at Large: A Survey of Engineering of Formally Verified Software
View More

QED at Large: A Survey of Engineering of Formally Verified Software

By: Talia Ringer
Programs and Proofs: Mechanizing Mathematics with Dependent Types
Programs and Proofs: Mechanizing Mathematics with Dependent Types
View More

Programs and Proofs: Mechanizing Mathematics with Dependent Types

By: Ilya Sergey
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 13240)
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 13240)
View More

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 13240)

By: Ilya Sergey
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science Book 13658)
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science Book 13658)
View More

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science Book 13658)

By: Ilya Sergey
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science)
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science)
View More

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science)

By: Ilya Sergey
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science)
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science)
View More

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science)

By: Martin Gebser
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science Book 14512)
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science Book 14512)
View More

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science Book 14512)

By: Martin Gebser
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science Book 14512)
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science Book 14512)
View More

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings (Lecture Notes in Computer Science Book 14512)

By: Martin Gebser