Benjamin C. Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin C. Pierce
Results: 45

#	Item
1	Boomerang: Resourceful Lenses for String Data Aaron Bohannon J. Nathan Foster Benjamin C. Pierce Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-07 07:39:39
2	Quotient Lenses J. Nathan Foster Alexandre Pilkiewicz Benjamin C. Pierce Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-07 07:39:20
3	‫מושגים בשפות תכנות‬ ‫תרגיל ‪3‬‬ ‫להגשה עד ‪‬‬ ‫הנחיות כלליות‪:‬‬ ‫● "הספר" מתייחס ל‪ Benjamin C. Pierce, Types and Programmi Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-12-11 16:38:38
4	Engineering Formal Metatheory Brian Aydemir Arthur Chargu´eraud Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-05-19 22:45:19
5	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: events.inf.ed.ac.uk - Date: 2012-10-10 03:52:06
6	Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes∗† , Benjamin C. Pierce‡ , Thomas Arts∗ , Ulf Norell∗† , ∗ † Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2016-04-13 12:13:19 Software Computing Free software Data synchronization Cloud storage Statistical tests Cloud applications Online backup services OwnCloud Dropbox Synchronization Distributed computing
7	Local Type Inference Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-04-09 15:30:23
8	Matching Lenses Davi M. J. Barbosa (Polytechnique) Julien Cretin (Polytechnique/INRIA) Nate Foster (Cornell) Michael Greenberg (Penn) Benjamin C. Pierce (Penn) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06
9	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
10	Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt Abstract. Increased reliance on optimistic data replication has led to burgeon Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2011-10-19 09:27:06

UPDATE