×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [ocaml slide]
Documents
1 Thrift Scalable Cross Language Services Implementation Sanjoy Singh Senior Team Lead Talentica S/W (I) Pvt Ltd
217 views
Documents
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
233 views
Documents
Linear real and integer arithmetic. Fixed-size bit-vectors Uninterpreted functions Extensional arrays Quantifiers Model generation Several input formats
219 views
Documents
CREST Internal Yunho Kim Provable Software Laboratory CS Dept. KAIST
217 views
Documents
Hypertable Doug Judd . Background Zvents plan is to become the “Google” of local search Identified the need for a scalable DB
219 views