The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Source URL: thev.net

• Software engineering
• Computing
• Programming paradigms
• Evaluation strategy
• Functional programming
• Computer programming
• Concurrent programming languages
• Functional reactive programming
• Reactive programming
• Computer architecture
• Dataflow programming
• Dataflow

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1

Source URL: thev.net

• Declarative programming
• Software engineering
• Lambda calculus
• Functional programming
• Physics
• Combinatory logic
• Logic in computer science
• Functional reactive programming
• Work
• Higher-order function
• Unfolding

Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng Tang

Source URL: www.lsi.upc.edu

• Logic
• Mathematics
• Automated theorem proving
• Formal languages
• Resolution
• Literal
• Regular expression
• Philosophy of mathematics
• (SAT
• -UNSAT)

PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian,

Source URL: gdac.uqam.ca

• Reference
• Information science
• Mathematical analysis
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Knowledge
• Citation network
• Citation
• Cai Gao
• Pi

Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016

Source URL: thev.net

• Software engineering
• Programming language implementation
• Computer programming
• Compiler construction
• Compilers
• Functional languages
• LLVM
• Haskell
• Cabal
• GHC
• Static single assignment form
• Compiler

An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science

Source URL: thev.net

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Lambda calculus
• Differential calculus
• Combinatory logic
• Fixed-point combinator
• Recursion
• Ordinary differential equation
• Derivative
• Function
• Monad

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Source URL: thev.net

Parallelizing Julia with a Non-invasive DSL Todd A. Anderson1 , Hai Liu1 , Lindsey Kuper1 , Ehsan Totoni1 , Jan Vitek2 , and Tatiana Shpeisman1 1 2

Source URL: thev.net

• Software engineering
• Computing
• Computer programming
• Array programming languages
• Parallel computing
• Functional languages
• High-level programming languages
• Object-oriented programming languages
• Array data type
• Array programming
• MATLAB
• Data parallelism

Native Offload of Haskell Repa Programs to Integrated GPUs Hai (Paul) Liu with Laurence Day, Neal Glew, Todd Anderson, Rajkishore Barik Intel Labs. September 28, 2016

Source URL: thev.net

• Computer architecture
• Computing
• Computer engineering
• GPGPU
• Parallel computing
• Graphics hardware
• Coprocessors
• Application-specific integrated circuits
• Graphics processing unit
• Single instruction
• multiple threads
• Advanced Micro Devices
• Central processing unit

Abstract The Theory and Practice of Causal Commutative Arrows Hai Liu 2011 Arrows are a popular form of abstract computation. Being more general than

Source URL: thev.net

• Software engineering
• Computing
• Computer programming
• Functional programming
• Evaluation strategy
• Programming paradigms
• Computer architecture
• Functional reactive programming
• Models of computation
• Dataflow
• Arrow
• Reactive programming