path: root/_bibliography/langs-extended-for-dist.bib

@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},
}