Antony Courtney is an author at Yale University specializing in computer engineering, software engineering, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceComputer EngineeringSoftware EngineeringSoftware DesignProgram AnalysisFormal VerificationArtsDance
Publications per year
1995–2004
5
5
Functional reactive programming, continued
Henrik Nilsson, Antony Courtney, John Peterson · 2002 · 209 citations
Mathematical Programming, Engineering, Software Engineering +17
Antony Courtney, Henrik Nilsson, John Peterson · 2003 · 114 citations
Game Ai, Engineering, Game Theory +20
Arrows, Robots, and Functional Reactive Programming
Antony Courtney, Henrik Nilsson, John Peterson · 2002 · 24 citations
Modeling user interfaces in a functional language
Antony Courtney, Paul Hudak · 2004 · 23 citations
Phantom: an interpreted language for distributed programming
Antony Courtney · 1995 · 11 citations
Rows per page
1–5 of 5