Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13
Latest Publications

TOTAL DOCUMENTS

47
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By ACM Press

9781450318327
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Views

2013 ◽  
Author(s):  
Thomas Dinsdale-Young ◽  
Lars Birkedal ◽  
Philippa Gardner ◽  
Matthew Parkinson ◽  
Hongseok Yang

A model-learner pattern for bayesian reasoning

2013 ◽  
Author(s):  
Andrew D. Gordon ◽  
Mihhail Aizatulin ◽  
Johannes Borgstrom ◽  
Guillaume Claret ◽  
Thore Graepel ◽  
...  
Keyword(s):  
Bayesian Reasoning

Optimizing data structures in high-level programs

2013 ◽  
Author(s):  
Tiark Rompf ◽  
Arvind K. Sujeeth ◽  
Nada Amin ◽  
Kevin J. Brown ◽  
Vojin Jovanovic ◽  
...  
Keyword(s):  
Data Structures ◽  
High Level
Load More ...
Sign in / Sign up

Export Citation Format

Share Document