langs extended for dist

1 files changed, 462 insertions, 25 deletions

diff --git a/_bibliography/langs-extended-for-dist.bib b/_bibliography/langs-extended-for-dist.bib
index 416b697..055024c 100644
--- a/_bibliography/langs-extended-for-dist.bib
+++ b/_bibliography/langs-extended-for-dist.bib
@@ -1,26 +1,463 @@
-@inproceedings{Uniqueness,
-  author    = {Philipp Haller and
-               Martin Odersky},
-  title     = {Capabilities for Uniqueness and Borrowing},
-  booktitle = {ECOOP 2010, Maribor, Slovenia, June 21-25, 2010.},
-  pages     = {354--378},
-  year      = {2010},
-}
-
-@inproceedings{Elsman2005,
-  author    = {Martin Elsman},
-  title     = {Type-specialized serialization with sharing},
-  booktitle = {Trends in Functional Programming},
-  year      = {2005},
-  pages     = {47-62},
-}
-
-@article{Kennedy2004,
-  author    = {Andrew Kennedy},
-  title     = {Pickler combinators},
-  journal   = {J. Funct. Program.},
-  volume    = {14},
-  number    = {6},
-  year      = {2004},
-  pages     = {727-739},
+@inproceedings{bhjl07,
+ author = {Black, Andrew P. and Hutchinson, Norman C. and Jul, Eric and Levy, Henry M.},
+ title = {The Development of the Emerald Programming Language},
+ booktitle = {Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages},
+ series = {HOPL III},
+ year = {2007},
+ isbn = {978-1-59593-766-7},
+ location = {San Diego, California},
+ pages = {11-1--11-51},
+ url = {http://doi.acm.org/10.1145/1238844.1238855},
+ doi = {10.1145/1238844.1238855},
+ acmid = {1238855},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {Eden, Emerald, Washington, abstract types, call-by-move, distributed programming, mobility, object mobility, object-oriented programming, polymorphism, remote object invocation, remote procedure call, type conformity},
+}
+
+@inproceedings{LanguagesAsLibraries,
+ author = {Tobin-Hochstadt, Sam and St-Amour, Vincent and Culpepper, Ryan and Flatt, Matthew and Felleisen, Matthias},
+ title = {Languages As Libraries},
+ booktitle = {Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
+ series = {PLDI '11},
+ year = {2011},
+ isbn = {978-1-4503-0663-8},
+ location = {San Jose, California, USA},
+ pages = {132--141},
+ numpages = {10},
+ url = {http://doi.acm.org/10.1145/1993498.1993514},
+ doi = {10.1145/1993498.1993514},
+ acmid = {1993514},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {extensible languages, macros, modules, typed racket},
+}
+
+@article{ScalaActors,
+ author = {Haller, Philipp and Odersky, Martin},
+ title = {Scala Actors: Unifying Thread-based and Event-based Programming},
+ journal = {Theor. Comput. Sci.},
+ issue_date = {February, 2009},
+ volume = {410},
+ number = {2-3},
+ month = feb,
+ year = {2009},
+ issn = {0304-3975},
+ pages = {202--220},
+ numpages = {19},
+ url = {http://dx.doi.org/10.1016/j.tcs.2008.09.019},
+ doi = {10.1016/j.tcs.2008.09.019},
+ acmid = {1496422},
+ publisher = {Elsevier Science Publishers Ltd.},
+ address = {Essex, UK},
+ keywords = {Actors, Concurrent programming, Events, Threads},
+}
+
+@article{Argus,
+ author = {Liskov, Barbara},
+ title = {Distributed Programming in Argus},
+ journal = {Commun. ACM},
+ issue_date = {March 1988},
+ volume = {31},
+ number = {3},
+ month = mar,
+ year = {1988},
+ issn = {0001-0782},
+ pages = {300--312},
+ numpages = {13},
+ url = {http://doi.acm.org/10.1145/42392.42399},
+ doi = {10.1145/42392.42399},
+ acmid = {42399},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@article{Linda,
+ author = {Carriero, Nicholas J. and Gelernter, David and Mattson, Timothy G. and Sherman, Andrew H.},
+ title = {The Linda Alternative to Message-passing Systems},
+ journal = {Parallel Comput.},
+ issue_date = {April 1994},
+ volume = {20},
+ number = {4},
+ month = apr,
+ year = {1994},
+ issn = {0167-8191},
+ pages = {633--655},
+ numpages = {23},
+ url = {http://dx.doi.org/10.1016/0167-8191(94)90032-9},
+ doi = {10.1016/0167-8191(94)90032-9},
+ acmid = {180102},
+ publisher = {Elsevier Science Publishers B. V.},
+ address = {Amsterdam, The Netherlands, The Netherlands},
+ keywords = {LINDA, message passing, parallel programming paradigm, virtual shared memory},
+}
+
+@inproceedings{AmbientTalk,
+ author = {Dedecker, Jessie and Van Cutsem, Tom and Mostinckx, Stijn and D\&\#39;Hondt, Theo and De Meuter, Wolfgang},
+ title = {Ambient-Oriented Programming in Ambienttalk},
+ booktitle = {Proceedings of the 20th European Conference on Object-Oriented Programming},
+ series = {ECOOP'06},
+ year = {2006},
+ isbn = {3-540-35726-2, 978-3-540-35726-1},
+ location = {Nantes, France},
+ pages = {230--254},
+ numpages = {25},
+ url = {http://dx.doi.org/10.1007/11785477_16},
+ doi = {10.1007/11785477_16},
+ acmid = {2171349},
+ publisher = {Springer-Verlag},
+ address = {Berlin, Heidelberg},
+}
+
+@inproceedings{Bloom,
+  author    = {Peter Alvaro and
+               Neil Conway and
+               Joseph M. Hellerstein and
+               William R. Marczak},
+  title     = {Consistency Analysis in Bloom: a {CALM} and Collected Approach},
+  booktitle = {{CIDR} 2011, Fifth Biennial Conference on Innovative Data Systems
+               Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings},
+  pages     = {249--260},
+  year      = {2011},
+  crossref  = {DBLP:conf/cidr/2011},
+  url       = {http://www.cidrdb.org/cidr2011/Papers/CIDR11_Paper35.pdf},
+  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
+  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/cidr/AlvaroCHM11},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@inproceedings{Lasp,
+ author = {Meiklejohn, Christopher and Van Roy, Peter},
+ title = {Lasp: A Language for Distributed, Coordination-free Programming},
+ booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming},
+ series = {PPDP '15},
+ year = {2015},
+ isbn = {978-1-4503-3516-4},
+ location = {Siena, Italy},
+ pages = {184--195},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/2790449.2790525},
+ doi = {10.1145/2790449.2790525},
+ acmid = {2790525},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {Erlang, commutative operations, eventual consistency},
+}
+
+@inproceedings{CloudHaskell,
+ author = {Epstein, Jeff and Black, Andrew P. and Peyton-Jones, Simon},
+ title = {Towards Haskell in the Cloud},
+ booktitle = {Proceedings of the 4th ACM Symposium on Haskell},
+ series = {Haskell '11},
+ year = {2011},
+ isbn = {978-1-4503-0860-1},
+ location = {Tokyo, Japan},
+ pages = {118--129},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/2034675.2034690},
+ doi = {10.1145/2034675.2034690},
+ acmid = {2034690},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {erlang, haskell, message-passing},
+}
+
+@inproceedings{TermiteScheme,
+ author = {Germain, Guillaume},
+ title = {Concurrency Oriented Programming in Termite Scheme},
+ booktitle = {Proceedings of the 2006 ACM SIGPLAN  Workshop on Erlang},
+ series = {ERLANG '06},
+ year = {2006},
+ isbn = {1-59593-490-1},
+ location = {Portland, Oregon, USA},
+ pages = {20--20},
+ numpages = {1},
+ url = {http://doi.acm.org/10.1145/1159789.1159795},
+ doi = {10.1145/1159789.1159795},
+ acmid = {1159795},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {continuations, distributed computing, erlang, macros, scheme},
+}
+
+@inproceedings{ML5,
+ author = {Murphy,VII., Tom and Crary, Karl and Harper, Robert},
+ title = {Type-safe Distributed Programming with ML5},
+ booktitle = {Proceedings of the 3rd Conference on Trustworthy Global Computing},
+ series = {TGC'07},
+ year = {2008},
+ isbn = {3-540-78662-7, 978-3-540-78662-7},
+ location = {Sophia-Antipolis, France},
+ pages = {108--123},
+ numpages = {16},
+ url = {http://dl.acm.org/citation.cfm?id=1793574.1793585},
+ acmid = {1793585},
+ publisher = {Springer-Verlag},
+ address = {Berlin, Heidelberg},
+}
+
+@inproceedings{MBrace,
+ author = {Dzik, Jan and Palladinos, Nick and Rontogiannis, Konstantinos and Tsarpalis, Eirik and Vathis, Nikolaos},
+ title = {MBrace: Cloud Computing with Monads},
+ booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating Systems},
+ series = {PLOS '13},
+ year = {2013},
+ isbn = {978-1-4503-2460-1},
+ location = {Farmington, Pennsylvania},
+ pages = {7:1--7:6},
+ articleno = {7},
+ numpages = {6},
+ url = {http://doi.acm.org/10.1145/2525528.2525531},
+ doi = {10.1145/2525528.2525531},
+ acmid = {2525531},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {big data, cloud monad, distributed programming},
+}
+
+@inproceedings{Spark,
+ author = {Zaharia, Matei and Chowdhury, Mosharaf and Das, Tathagata and Dave, Ankur and Ma, Justin and McCauley, Murphy and Franklin, Michael J. and Shenker, Scott and Stoica, Ion},
+ title = {Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing},
+ booktitle = {Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation},
+ series = {NSDI'12},
+ year = {2012},
+ location = {San Jose, CA},
+ pages = {2--2},
+ numpages = {1},
+ url = {http://dl.acm.org/citation.cfm?id=2228298.2228301},
+ acmid = {2228301},
+ publisher = {USENIX Association},
+ address = {Berkeley, CA, USA},
+}
+
+@inproceedings{DryadLINQ,
+ author = {Yu, Yuan and Isard, Michael and Fetterly, Dennis and Budiu, Mihai and Erlingsson, \'{U}lfar and Gunda, Pradeep Kumar and Currey, Jon},
+ title = {DryadLINQ: A System for General-purpose Distributed Data-parallel Computing Using a High-level Language},
+ booktitle = {Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation},
+ series = {OSDI'08},
+ year = {2008},
+ location = {San Diego, California},
+ pages = {1--14},
+ numpages = {14},
+ url = {http://dl.acm.org/citation.cfm?id=1855741.1855742},
+ acmid = {1855742},
+ publisher = {USENIX Association},
+ address = {Berkeley, CA, USA},
+}
+
+@inproceedings{Dedalus,
+ author = {Alvaro, Peter and Marczak, William R. and Conway, Neil and Hellerstein, Joseph M. and Maier, David and Sears, Russell},
+ title = {Dedalus: Datalog in Time and Space},
+ booktitle = {Proceedings of the First International Conference on Datalog Reloaded},
+ series = {Datalog'10},
+ year = {2011},
+ isbn = {978-3-642-24205-2},
+ location = {Oxford, UK},
+ pages = {262--281},
+ numpages = {20},
+ url = {http://dx.doi.org/10.1007/978-3-642-24206-9_16},
+ doi = {10.1007/978-3-642-24206-9_16},
+ acmid = {2185942},
+ publisher = {Springer-Verlag},
+ address = {Berlin, Heidelberg},
+ keywords = {datalog, distributed systems, logic programming, temporal logic},
+}
+
+@inproceedings{Emerald,
+ author = {Black, Andrew and Hutchinson, Norman and Jul, Eric and Levy, Henry},
+ title = {Object Structure in the Emerald System},
+ booktitle = {Conference Proceedings on Object-oriented Programming Systems, Languages and Applications},
+ series = {OOPSLA '86},
+ year = {1986},
+ isbn = {0-89791-204-7},
+ location = {Portland, Oregon, USA},
+ pages = {78--86},
+ numpages = {9},
+ url = {http://doi.acm.org/10.1145/28697.28706},
+ doi = {10.1145/28697.28706},
+ acmid = {28706},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@phdthesis{Erlang,
+  title={Making reliable distributed systems in the presence of software errors},
+  author={Armstrong, Joe},
+  year={2003},
+  school={The Royal Institute of Technology Stockholm, Sweden}
+}
+
+@inproceedings{Redex,
+ author = {Klein, Casey and Clements, John and Dimoulas, Christos and Eastlund, Carl and Felleisen, Matthias and Flatt, Matthew and McCarthy, Jay A. and Rafkind, Jon and Tobin-Hochstadt, Sam and Findler, Robert Bruce},
+ title = {Run Your Research: On the Effectiveness of Lightweight Mechanization},
+ booktitle = {Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+ series = {POPL '12},
+ year = {2012},
+ isbn = {978-1-4503-1083-3},
+ location = {Philadelphia, PA, USA},
+ pages = {285--296},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/2103656.2103691},
+ doi = {10.1145/2103656.2103691},
+ acmid = {2103691},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {lightweight semantics engineering},
+}
+
+@misc{sml,
+  title={The Definition of Standard ML--Revised},
+  author={Miler, Robin and Tofte, Mads and Harper, Robert and MacQueen, David},
+  year={1997},
+  publisher={MIT press}
+}
+
+@article{Alice,
+  title={Alice through the looking glass.},
+  author={Rossberg, Andreas and Le Botlan, Didier and Tack, Guido and Brunklaus, Thorsten and Smolka, Gert},
+  journal={Trends in Functional Programming},
+  volume={5},
+  pages={79--96},
+  year={2004}
+}
+
+@inproceedings{salesman,
+ author = {Meijer, Erik},
+ title = {Confessions of a Used Programming Language Salesman},
+ booktitle = {Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications},
+ series = {OOPSLA '07},
+ year = {2007},
+ isbn = {978-1-59593-786-5},
+ location = {Montreal, Quebec, Canada},
+ pages = {677--694},
+ numpages = {18},
+ url = {http://doi.acm.org/10.1145/1297027.1297078},
+ doi = {10.1145/1297027.1297078},
+ acmid = {1297078},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@article{Eden,
+  title={The Eden Programming Language},
+  author={Black, Andrew P},
+  year={1985}
+}
+
+@inproceedings{smalltalkHistory,
+ author = {Kay, Alan C.},
+ title = {The Early History of Smalltalk},
+ booktitle = {The Second ACM SIGPLAN Conference on History of Programming Languages},
+ series = {HOPL-II},
+ year = {1993},
+ isbn = {0-89791-570-4},
+ location = {Cambridge, Massachusetts, USA},
+ pages = {69--95},
+ numpages = {27},
+ url = {http://doi.acm.org/10.1145/154766.155364},
+ doi = {10.1145/154766.155364},
+ acmid = {155364},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@inproceedings{microservices,
+  title={Your server as a function},
+  author={Eriksen, Marius},
+  booktitle={Proceedings of the Seventh Workshop on Programming Languages and Operating Systems},
+  pages={5},
+  year={2013},
+  organization={ACM}
+}
+
+@inproceedings{socioPLT,
+ author = {Meyerovich, Leo A. and Rabkin, Ariel S.},
+ title = {Empirical Analysis of Programming Language Adoption},
+ booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \&\#38; Applications},
+ series = {OOPSLA '13},
+ year = {2013},
+ isbn = {978-1-4503-2374-1},
+ location = {Indianapolis, Indiana, USA},
+ pages = {1--18},
+ numpages = {18},
+ url = {http://doi.acm.org/10.1145/2509136.2509515},
+ doi = {10.1145/2509136.2509515},
+ acmid = {2509515},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {programming language adoption, survey research},
+}
+
+@article{hewitt77,
+ author = {Hewitt, Carl},
+ title = {Viewing Control Structures As Patterns of Passing Messages},
+ journal = {Artif. Intell.},
+ issue_date = {June 1977},
+ volume = {8},
+ number = {3},
+ month = jun,
+ year = {1977},
+ issn = {0004-3702},
+ pages = {323--364},
+ numpages = {42},
+ url = {http://dx.doi.org/10.1016/0004-3702(77)90033-9},
+ doi = {10.1016/0004-3702(77)90033-9},
+ acmid = {3015427},
+ publisher = {Elsevier Science Publishers Ltd.},
+ address = {Essex, UK},
+}
+
+@inproceedings{typeclasses,
+ author = {Wadler, P. and Blott, S.},
+ title = {How to Make Ad-hoc Polymorphism Less Ad Hoc},
+ booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+ series = {POPL '89},
+ year = {1989},
+ isbn = {0-89791-294-2},
+ location = {Austin, Texas, USA},
+ pages = {60--76},
+ numpages = {17},
+ url = {http://doi.acm.org/10.1145/75277.75283},
+ doi = {10.1145/75277.75283},
+ acmid = {75283},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@article{deriving-typeclasses,
+  title={Derivable type classes},
+  author={Hinze, Ralf and Jones, Simon Peyton},
+  journal={Electronic notes in theoretical computer science},
+  volume={41},
+  number={1},
+  pages={5--35},
+  year={2001},
+  publisher={Elsevier}
+}
+
+@article{700pl,
+ author = {Landin, P. J.},
+ title = {The Next 700 Programming Languages},
+ journal = {Commun. ACM},
+ issue_date = {March 1966},
+ volume = {9},
+ number = {3},
+ month = mar,
+ year = {1966},
+ issn = {0001-0782},
+ pages = {157--166},
+ numpages = {10},
+ url = {http://doi.acm.org/10.1145/365230.365257},
+ doi = {10.1145/365230.365257},
+ acmid = {365257},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@techreport{note-on-dc,
+ author = {Kendall, Samuel C. and Waldo, Jim and Wollrath, Ann and Wyant, Geoff},
+ title = {A Note on Distributed Computing},
+ year = {1994},
+ publisher = {Sun Microsystems, Inc.},
+ address = {Mountain View, CA, USA},
 }
\ No newline at end of file