<--- Back to Details
First PageDocument Content
Computing / Computer science / Technology / Symposium on Principles of Programming Languages / SIGPLAN / Actor model / Programming Language Design and Implementation / Spreadsheet / Microsoft Research / Microsoft
Date: 2018-06-25 09:59:57
Computing
Computer science
Technology
Symposium on Principles of Programming Languages
SIGPLAN
Actor model
Programming Language Design and Implementation
Spreadsheet
Microsoft Research
Microsoft

Rishabh Singh Í 1 Microsoft Way Redmond, WA 98052

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Download Document from Source Website

File Size: 216,62 KB

Share Document on Facebook

Similar Documents

Algebra / Abstract algebra / Lie groups / Non-associative algebras / XTR / Mutation / Spectral theory

Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond

DocID: 1xVXW - View Document

Neuroscience / Neuropsychology / Psychology / Cognitive science / Educational psychology / Intelligence / Learning / Neuropsychological assessment / Systems science / Salience

Microsoft Word - Category representation and response location shifts in category learning.psych research.r1.submitted

DocID: 1xVS5 - View Document

Culture / Television in South Korea / 100% Hits / Mass media / Astronomy Day

Microsoft Word - Pew Research Center Democracy Report FINAL

DocID: 1xVQ2 - View Document

Cryptography / Secure communication / Message authentication codes / Transport Layer Security / Cryptographic protocols / Internet Standards / Cipher suite / Authenticated encryption / Poly1305 / Galois/Counter Mode / OpenSSL / Key generation

Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet

DocID: 1xVFl - View Document

Computing / Software engineering / Computer programming / Formal languages / Scheme / Regular expression / Eval / String / Parameter / Supervised learning

Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA

DocID: 1xVDP - View Document