×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [ocaml slide]
1 Thrift Scalable Cross Language Services Implementation Sanjoy Singh Senior Team Lead Talentica S/W (I) Pvt Ltd
216 views
Higher-order functions in OCaml. Higher-order functions A first-order function is one whose parameters and result are all "data" A second-order function
232 views
Linear real and integer arithmetic. Fixed-size bit-vectors Uninterpreted functions Extensional arrays Quantifiers Model generation Several input formats
219 views
CREST Internal Yunho Kim Provable Software Laboratory CS Dept. KAIST
215 views
Hypertable Doug Judd . Background Zvents plan is to become the “Google” of local search Identified the need for a scalable DB
219 views