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

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

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

Source URL: www.kestrel.edu

• Computability theory
• Theoretical computer science
• Automated planning and scheduling
• Artificial intelligence
• Cognitive science
• Mathematics
• Partial-order planning
• Planning Domain Definition Language
• Intelligent agent
• Computability
• Algorithm
• Philosophy of artificial intelligence

THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati

Source URL: eta.impa.br

• Computational complexity theory
• Mathematics
• Theoretical computer science
• Complexity classes
• Analysis of algorithms
• Quantum computing
• Linear programming
• Simplex algorithm
• Quantum algorithm
• P versus NP problem
• Quantum supremacy
• Time complexity

Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

Source URL: www.usenix.org

• Computing
• Internet
• Anonymity
• Cryptography
• Internet privacy
• Dining cryptographers problem
• Internet Standards
• Internet Relay Chat
• Clientserver model
• Anonymous web browsing
• Server
• Anonymizer

Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

Source URL: thev.net

• Signal processing
• Mathematics
• Digital signal processing
• Signal
• Mathematical logic
• Function
• Electrical engineering
• Proof theory
• Programming language semantics

On the Nonexistence of Resilient Consensus Protocols Gadi Taubenfeld∗ Computer Science Department, Yale University, New Haven, CTKey words: resilient consensus protocols, asynchronous message passing systems, fa

Source URL: www.faculty.idc.ac.il

Yihong Wu 24 Hillhouse Ave Room 203 Yale University New Haven, CTPhone: (

Source URL: www.stat.yale.edu

XXe Colloque du Comité international de paléographie latine. Les scribes et la présentation du texte (depuis l’Antiquité jusqu’à 1550 environ) Beinecke Rare Book and Manuscript Library, Yale University, New Have

Source URL: www.palaeographia.org

Supported by the Rubinger Family Visiting Lectureship Prof. Bryan Ford Yale University Monday, May 11th , 2015

Source URL: tce.technion.ac.il