The Dancing Man
1916
EB
EB
Edwin Brady
australiano
Edwin Brady fue un escritor y poeta australiano conocido por su trabajo en el ámbito de la literatura y su contribución a la poesía en Australia durante el siglo XX. Es relevante por su innovador enfoque en temas de identidad y naturaleza en sus obras.
Obras en el archivo
11 títulos
A Poet’s House
1945
Winds of Change
1959
A Sense of Place
1970
Type-Driven Development with Idris
2017·divulgacion
Introduce la programación basada en tipos dependientes utilizando el lenguaje Idris, demostrando cómo los tipos pueden usarse no solo para la verificación, sino para guiar y construir programas correctos por construcción.
Autores relacionados
Aparecen junto a Edwin Brady en búsquedas del archivo