Edit Profile (opens in new tab) Brady, Edwin C. Compute Distance To: Compute Author ID: brady.edwin-c Published as: Brady, Edwin; Brady, Edwin C. External Links: ORCID Documents Indexed: 10 Publications since 2004 1 Contribution as Editor Co-Authors: 11 Co-Authors with 8 Joint Publications 237 Co-Co-Authors all top 5 Co-Authors 3 single-authored 3 Hammond, Kevin 2 Christiansen, David R. 1 Botta, Nicola 1 Ionescu, Cezar 1 Jansson, Patrik 1 Kaliszyk, Cezary 1 Kohlhase, Andrea 1 McBride, Conor Thomas 1 McKinna, James 1 Sacerdoti Coen, Claudio 1 Slama, Franck Serials 1 Journal of Functional Programming 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science Fields 11 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 40 times in 36 Documents Cited by ▼ Year ▼ Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059Brady, Edwin 21 2013 Programming and reasoning with algebraic effects and dependent types. Zbl 1323.68097Brady, Edwin 10 2013 Inductive families need not store their indices. Zbl 1100.68546Brady, Edwin; McBride, Conor; McKinna, James 4 2004 Sequential decision problems, dependent types and generic solutions. Zbl 1398.68489Botta, Nicola; Jansson, Patrik; Ionescu, Cezar; Christiansen, David R.; Brady, Edwin 2 2017 Elaborator reflection: extending Idris in Idris. Zbl 1361.68035Christiansen, David; Brady, Edwin 2 2016 Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Zbl 1428.68028 1 2019 Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Zbl 1428.68028 1 2019 Sequential decision problems, dependent types and generic solutions. Zbl 1398.68489Botta, Nicola; Jansson, Patrik; Ionescu, Cezar; Christiansen, David R.; Brady, Edwin 2 2017 Elaborator reflection: extending Idris in Idris. Zbl 1361.68035Christiansen, David; Brady, Edwin 2 2016 Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059Brady, Edwin 21 2013 Programming and reasoning with algebraic effects and dependent types. Zbl 1323.68097Brady, Edwin 10 2013 Inductive families need not store their indices. Zbl 1100.68546Brady, Edwin; McBride, Conor; McKinna, James 4 2004 all cited Publications top 5 cited Publications all top 5 Cited by 103 Authors 3 McBride, Conor Thomas 2 Abel, Andreas M. 2 Amblard, Maxime 2 Atkey, Robert 2 Botta, Nicola 2 Cockx, Jesper 2 Dagand, Pierre-Evariste 2 Farka, František 2 Lindley, Sam 2 Maršík, Jirka 2 Pretnar, Matija 2 Sozeau, Matthieu 2 Tabareau, Nicolas 1 Affeldt, Reynald 1 Ahman, Danel 1 Ahmed, Hamidhasan G. 1 Allais, Guillaume 1 Amani, Sidney 1 Anand, Abhishek 1 Annenkov, Danil 1 Birkedal, Lars 1 Bizjak, Aleš 1 Boulier, Simon 1 Brady, Edwin C. 1 Brede, Nuria 1 Chapman, James T. E. 1 Chen, Zilin 1 Clouston, Ranald A. 1 Cohen, Cyril 1 Cohen, Liron 1 Convent, Lukas 1 Czajka, Łukasz 1 de Groote, Philippe 1 de Moura, Leonardo 1 Devriese, Dominique 1 Eades, Harley III 1 Eisenberg, Richard A. 1 Forster, Yannick 1 Garrigue, Jacques 1 Genovese, Fabrizio 1 Geron, Bram 1 Ghani, Neil 1 Goodloe, Alwyn E. 1 Grathwohl, Hans Bugge 1 Gryzlov, Alex 1 Hammond, Kevin 1 Herold, Jelle 1 Hillerström, Daniel 1 Ionescu, Cezar 1 Jackson, Vincent 1 Jansson, Patrik 1 Kaliszyk, Cezary 1 Keller, Gabriele Cornelia 1 Kiselyov, Oleg 1 Klein, Gerwin 1 Knispel, Andre 1 Komendantskya, Ekaterina 1 Kunze, Fabian 1 Levy, Paul Blain 1 Líška, Martin 1 Lukšič, Žiga 1 Lupták, Dávid 1 Malecha, Gregory 1 McKinna, James 1 McLaughlin, Craig A. 1 Milo, Mikkel 1 Møgelberg, Rasmus Ejlers 1 Moon, Benjamin 1 Mörtberg, Anders 1 Mu, Shin-Cheng 1 Murray, Toby 1 Nielsen, Jakob Botsch 1 Novotný, Vít 1 Nowak, David E. 1 O’Connor, Liam 1 Orchard, Dominic A. 1 Pérez, Iván L. 1 Perone, Marco 1 Piessens, Frank 1 Plotkin, Gordon D. 1 Post, Erik 1 Rabe, Florian 1 Rizkallah, Christine 1 Roux, Navid 1 Rowe, Reuben N. S. 1 Ruzicka, Michal 1 Sabry, Amr 1 Saikawa, Takafumi 1 Selsam, Daniel 1 Sewell, Thomas D. 1 Shminke, Boris A. 1 Sivaramakrishnan, K. C. 1 Slama, Franck 1 Sojka, Petr 1 Spitters, Bas 1 Štefánik, Michal 1 Tanter, Éric 1 Vezzosi, Andrea 1 Videla, André 1 Weirich, Stephanie ...and 3 more Authors Cited in 4 Serials 16 Journal of Functional Programming 2 Journal of Automated Reasoning 1 Theoretical Computer Science 1 Theory and Practice of Logic Programming Cited in 5 Fields 36 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 1 Algebraic topology (55-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year