Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala (Colección de Lenguajes de Próxima Generación)
詳しい情報
出版社: Independently published(2025-11-06)
ペーパーバック: 254 ページ / 15.2 x 1.5 x 22.9 cm
ISBN-13: 9798273167681