Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS

Source URL: www.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Type theory
• Functional programming
• Data types
• Type systems
• Functional languages
• Haskell
• Type class
• Monad
• Generic programming

Published as a conference paper at ICLRDYNAMIC N EURAL P ROGRAM E MBEDDINGS FOR P RO GRAM R EPAIR arXiv:1711.07163v3 [cs.AI] 25 Feb 2018

Source URL: rishabhmit.bitbucket.io

• Software engineering
• Computing
• Computer programming
• Programming languages
• Source code
• Syntax
• ALGOL 68
• Artificial neural network
• Exception handling
• Semantics
• For loop

Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities Mustafa Al-Bassam1 , Alberto Sonnino1 , and Vitalik Buterin2 1

Source URL: www0.cs.ucl.ac.uk

FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University

Source URL: www0.cs.ucl.ac.uk

• Network flow problem
• Physics
• Internet architecture
• Flow network
• Routing
• Work

On Collaborative Predictive Blacklisting∗ Luca Melis, Apostolos Pyrgelis, Emiliano De Cristofaro University College London arXiv:1810.02649v1 [cs.CR] 5 Oct 2018

Source URL: arxiv.org

• Information science
• Statistical classification
• Information retrieval
• Mathematics
• Information retrieval evaluation
• Biostatistics
• Bioinformatics
• Data mining
• Cluster analysis
• Precision and recall
• K-nearest neighbors algorithm
• K-means clustering

Kind 2 User Documentation Version August 21, 2018 Contents

Source URL: kind.cs.uiowa.edu

• Formal methods
• Computer programming
• Invariant

Places: Adding Message-Passing Parallelism to Racket Kevin Tew University of Utah James Swaine

Source URL: www.cs.utah.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming languages
• Functional languages
• Parallel computing
• Object-oriented programming languages
• Go
• Futures and promises
• OpenMP
• Concurrent computing

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

1 Safe, Efficient and Robust SDN Updates by Combining Rule Replacements and Additions Stefano Vissicchio, Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics