Paul Hudak
#16,956
Most Influential Person Now
American computer scientist
Paul Hudak's AcademicInfluence.com Rankings
Paul Hudakcomputer-science Degrees
Computer Science
#1083
World Rank
#1122
Historical Rank
#573
USA Rank
Database
#2053
World Rank
#2157
Historical Rank
#486
USA Rank
Download Badge
Computer Science
Paul Hudak's Degrees
- PhD Computer Science University of Utah
- Masters Computer Science University of Utah
- Bachelors Mathematics University of Utah
Similar Degrees You Can Earn
Why Is Paul Hudak Influential?
(Suggest an Edit or Addition)According to Wikipedia, Paul Raymond Hudak was an American musician and professor of computer science at Yale University who was best known for his involvement in the design of the programming language Haskell, and for several textbooks on Haskell and computer music. He was a chair of the department, and was also master of Saybrook College. He died on April 29, 2015, of leukemia.
Paul Hudak's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Report on the programming language Haskell: a non-strict, purely functional language version 1.2 (1992) (1317)
- Memory coherence in shared virtual memory systems (1989) (1215)
- Functional reactive animation (1997) (707)
- Monad transformers and modular interpreters (1995) (592)
- Building domain-specific embedded languages (1996) (544)
- Memory coherence in shared virtual memory systems (1986) (512)
- Conception, evolution, and application of functional programming languages (1989) (468)
- Modular domain specific languages and tools (1998) (452)
- A gentle introduction to Haskell (1992) (343)
- ORBIT: an optimizing compiler for scheme (1986) (343)
- A history of Haskell: being lazy with class (2007) (328)
- Functional reactive programming from first principles (2000) (278)
- Arrows, Robots, and Functional Reactive Programming (2002) (237)
- Maple: simplifying SDN programming using algorithmic policies (2013) (236)
- The Haskell School of Expression: Learning Functional Programming through Multimedia (1999) (202)
- A semantic model of reference counting and its abstraction (detailed summary) (1986) (179)
- The aggregate update problem in functional programming systems (1985) (136)
- Single-threaded polymorphic lambda calculus (1990) (131)
- Real-time FRP (2001) (130)
- Nettle: Taking the Sting Out of Programming Network Routers (2011) (125)
- Lambda in Motion: Controlling Robots with Haskell (1999) (117)
- Modular Denotational Semantics for Compiler Construction (1996) (116)
- A language for declarative robotic programming (1999) (113)
- Haskore music notation – An algebra of music – (1996) (111)
- Garbage collection and task deletion in distributed applicative processing systems (1982) (100)
- Higher-order strictness analysis in untyped lambda calculus (1986) (99)
- Event-Driven FRP (2002) (98)
- Realistic Compilation by Program Transformation. (1989) (96)
- Para-Functional Programming (1986) (95)
- Serial Combinators: "Optimal" Grains of Parallelism (1985) (91)
- Call by name, assignment, and the lambda calculus (1993) (85)
- Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors (1991) (67)
- Parametric type classes (1992) (66)
- Nettle: Functional Reactive Programming for OpenFlow Networks (2010) (64)
- Para-functional programming: a paradigm for programming multiprocessor systems (1986) (63)
- Orbit: an optimizing compiler for scheme (1986) (63)
- Modular monadic semantics and compilation (1998) (63)
- An Experiment in Software Prototyping Productivity (1994) (62)
- Functional Hybrid Modeling (2003) (61)
- Realistic compilation by program transformation (detailed summary) (1989) (54)
- Para-functional programming in Haskell (1991) (51)
- Code optimizations for lazy evaluation (1988) (51)
- The Haskell School of Expression (2000) (51)
- Distributed execution of functional programs using serial combinators (1985) (51)
- A general framework for hindley/milner type systems with constraints (2000) (49)
- Causal commutative arrows and their optimization (2009) (49)
- A combinator-based compiler for a functional language (1984) (45)
- Alfalfa: Distributed graph reduction on a hypercube multiprocessor (1986) (42)
- Graphinators and the duality of SIMD and MIMD (1988) (41)
- Implicit and Explicit Parallel Programming in Haskell (1993) (41)
- FVision: A Declarative Language for Visual Tracking (2001) (39)
- Path Semantics (1987) (37)
- Plugging a Space Leak with an Arrow (2007) (36)
- Compilation of Haskell array comprehensions for scientific computing (1990) (35)
- Grammar-based automated music composition in Haskell (2013) (34)
- Prototyping real-time vision systems: an experiment in DSL design (1999) (34)
- Pomset interpretations of parallel functional programs (1987) (33)
- Exploring parafunctional programming: separating the what from the how (1988) (32)
- Modeling user interfaces in a functional language (2004) (32)
- Rolling your own mutable ADT—a connection between linear types and monads (1997) (29)
- A Collecting Interpretation of Expressions (Without Powerdomains). (1988) (29)
- Arrays, non-determinism, side-effects, and parallelism: A functional perspective (1987) (29)
- Experiments in diffused combinator reduction (1984) (28)
- Variations on strictness analysis (1986) (28)
- A theory of incremental computation and its application (1991) (27)
- Functional Reactive Programming (Abstract) (1999) (26)
- Mutable abstract datatypes -or- how to have your state and mange it too (1992) (25)
- An Algebraic Theory of Polymorphic Temporal Media (2004) (25)
- Domain Specific Languages (1998) (24)
- First-class schedules and virtual maps (1995) (24)
- Semantics directed program execution monitoring (1995) (23)
- Haskore Music Tutorial (1996) (23)
- An algebraic model for divide-and-conquer and its parallelism (1988) (23)
- Path, a program transformation system for haskell (2002) (23)
- Functional Hybrid Modeling from an Object-Oriented Perspective (2007) (22)
- Dance : A Declarative Language for the Control of Humanoid Robots Research Report YALEU / DCS / RR-1253 (2003) (21)
- A new list compaction method (1986) (21)
- Report on the Non-Strict Functional Language (1997) (21)
- A collecting interpretation of expressions (1988) (20)
- Collecting interpretations of expressions (1991) (19)
- Nettle: A Language for Configuring Routing Networks (2009) (19)
- Tiled polymorphic temporal media (2014) (19)
- Principled Dynamic Code Improvement (1997) (19)
- SIGPLAN Notices Special Issue on the Functional Programming Language Haskell (1992) (19)
- Distributed task and memory management (1983) (18)
- Implementing functional programs on a hypercube multiprocessor (1988) (17)
- Directions in Functional Programming for Real(-Time) Applications (2001) (16)
- An Optimising Compiler for a Modern Functional Language (1989) (16)
- The Haskell School of Music (2018) (16)
- A Model Performance, Interaction and Improvisation (1995) (14)
- Causal commutative arrows (2011) (14)
- Don't Configure the Network, Program It! Domain-Specific Programming Languages for Network Systems (2010) (13)
- Object and task reclamation in distributed applicative processing systems (1982) (12)
- Functional reactive programming for real-time reactive systems (2002) (11)
- Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (2014) (11)
- Mio: a high-performance multicore io manager for GHC (2013) (11)
- Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (2010) (11)
- A Temporal Generative Graph Grammar for harmonic and Metrical Structure (2013) (11)
- An Intermediate Meta-Language for Program Transformation (1998) (10)
- Building Domain-speciic Embedded Languages (1996) (10)
- From out-of-time design to in-time production of temporal media (2015) (10)
- Wormholes: introducing effects to FRP (2013) (8)
- Keynote Address - The Promise of Domain-Specific Languages (1997) (7)
- Computing with Chord Spaces (2012) (7)
- Efficient Distributed Evaluation of Functional Programs Using Serial Combinators (1985) (7)
- Scaling Software-Defined Network Controllers on Multicore Servers (2012) (7)
- Real-time interactive music in Haskell (2015) (7)
- HPorter: Using Arrows to Compose Parallel Processes (2007) (6)
- Haskell Solutions to the Language Session Problems at the 1988 Salishan High-Speed Computing Conference (1992) (6)
- Describing and interpreting music in Haskell (2003) (6)
- Calculi for functional programming languages with assignment (1996) (6)
- Audio Processing and Sound Synthesis in Haskell (2009) (5)
- Virtualizing Real-World Objects in FRP (2012) (5)
- Haskell Communities and Activities Report (2002) (5)
- Using Types to Parse Natural Language (1995) (5)
- Orbit: an optimizing compiler for scheme (with retrospective) (1986) (5)
- Principles of functional reactive programming (2000) (5)
- An Ode to Arrows (2010) (5)
- Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998) (4)
- Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language (1997) (4)
- ParLance: A Para-Functional Programming Environment for Parallel and Distributed Computing. (1987) (4)
- First-class monadic schedules (2004) (4)
- Shifting Expression Procedures into Reverse (1999) (4)
- Media Modules: Intermedia Systems in a Pure Functional Paradigm (2015) (3)
- Handbook of Programming Languages , Volume III Little Languages and Tools-3-Domain-Specific Languages by (2001) (3)
- The theory and practice of causal commutative arrows (2011) (3)
- Reflections on Program Optimization (1993) (3)
- Settable and non-interfering signal functions for FRP (2014) (2)
- Distributed implementation of functional program evaluation (1985) (2)
- Denotational semantics of a para-functional programming language (1986) (2)
- Para-Functional Languages for Parallel and Distributed Computing (1987) (2)
- High-level abstractions for parallel functional programming (1996) (2)
- Deductive Plan Formation in Higher-Order Logic J. S. Darlington (1974) (1)
- Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (2010) (1)
- FVision : A De larative Language for Visual Tra (2001) (1)
- Function Lfp Applies a Function F to an Argument 5.6 Implementation 5.2 Finding Function K 4.4 Implementation 4.2 Generating Trees Fixed Points Catamorphisms on Rose-trees 2.1 Implementation Lattices and Cpo's Parse Trees Bottom-up Grammar Analysis | a Functional Formulation | (1994) (1)
- Arrays , NonDeterminism , Side-Effects , and Parallelism : A ( Pseudo-) Functional Perspective (2011) (0)
- Compress-and-conquer for optimal multicore computing (2010) (0)
- Functional Programming , Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional Programming , Ullapool , Scotland , 10-12 July 1995 Paper : Using Types to Parse Natural Language (1996) (0)
- T on the Cray X/MP (1991) (0)
- State in Functional Languages an Annotated Biliography Version 0.0 (1993) (0)
- Mutable abstract datatypes: a connection between linear types and state monads (1999) (0)
- Session details: Session 6 (2007) (0)
- Memory Coherence in Shared Virtual Memory Systems 1 (2018) (0)
- Software Evolution Using Higher Order Typed (HOT) Language Technology (2002) (0)
- Session details: Session III (2014) (0)
- Proceedings of the 10th international conference on Practical aspects of declarative languages (2008) (0)
- Apart 7 Conclusion (1994) (0)
- Declarative Real-World Abstractions (2001) (0)
- JFP volume 6 issue 5 Cover and Front matter (1996) (0)
- Dex: An Improvisational Music Game (2007) (0)
- A Common Prototyping Language. Phase 1 (1993) (0)
- Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM@ICFP 2013, Boston, MA, USA, September 25-27, 2013 (2013) (0)
- Computer Music, Euterpea, and Haskell (2018) (0)
- Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 (2008) (0)
- Scalable Programming for SDN Controllers (2013) (0)
- JFP volume 2 issue 3 Cover and Front matter (1992) (0)
- Modular Denotat ional Semant ics for Compi l er Construct ion * (2005) (0)
This paper list is powered by the following services:
Other Resources About Paul Hudak
What Schools Are Affiliated With Paul Hudak?
Paul Hudak is affiliated with the following schools:
