bibliography.bib (30488B)
1 @inproceedings{kent2016occurrence, 2 title={Occurrence typing modulo theories}, 3 author={Kent, Andrew M and Kempe, David and Tobin-Hochstadt, Sam}, 4 booktitle={ACM SIGPLAN Notices}, 5 volume={51}, 6 number={6}, 7 pages={296--309}, 8 year={2016}, 9 organization={ACM} 10 } 11 12 @article{HMMilner78, 13 title={A theory of type polymorphism in programming}, 14 author={Milner, Robin}, 15 journal={Journal of computer and system sciences}, 16 volume={17}, 17 number={3}, 18 pages={348--375}, 19 year={1978}, 20 publisher={Elsevier} 21 } 22 23 @article{HMHindley69, 24 title={The principal type-scheme of an object in combinatory logic}, 25 author={Hindley, Roger}, 26 journal={Transactions of the american mathematical society}, 27 volume={146}, 28 pages={29--60}, 29 year={1969}, 30 publisher={JSTOR} 31 } 32 33 @book{minskyRealWorldOCaml, 34 title={Real World OCaml: Functional programming for the masses}, 35 author={Minsky, Yaron and Madhavapeddy, Anil and Hickey, Jason}, 36 year={2013}, 37 publisher={" O'Reilly Media, Inc."} 38 } 39 40 @inproceedings{racketmanifesto, 41 title={The racket manifesto}, 42 author={Felleisen, Matthias and Findler, Robert Bruce and Flatt, Matthew and Krishnamurthi, Shriram and Barzilay, Eli and McCarthy, Jay and Tobin-Hochstadt, Sam}, 43 booktitle={LIPIcs-Leibniz International Proceedings in Informatics}, 44 volume={32}, 45 year={2015}, 46 organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik} 47 } 48 49 @article{r5rs, 50 title={Revised 5 report on the algorithmic language Scheme}, 51 author={Abelson, Harold and Dybvig, R Kent and Haynes, Christopher T and Rozas, Guillermo Juan and Adams, NI and Friedman, Daniel P and Kohlbecker, E and Steele, GL and Bartley, David H and Halstead, Robert and others}, 52 journal={Higher-order and symbolic computation}, 53 volume={11}, 54 number={1}, 55 pages={7--105}, 56 year={1998}, 57 publisher={Springer} 58 } 59 60 @article{r6rs, 61 title={Revised 6 report on the algorithmic language Scheme}, 62 author={Sperber, Michael and Dybvig, R Kent and Flatt, Matthew and Van Straaten, Anton and Findler, Robby and Matthews, Jacob}, 63 journal={Journal of Functional Programming}, 64 volume={19}, 65 number={S1}, 66 pages={1--301}, 67 year={2009}, 68 publisher={Cambridge Univ Press} 69 } 70 71 @techreport{r7rs, 72 title={Revised 7 report on the algorithmic language scheme}, 73 author={Shinn, Alex and Cowan, JOHN and Gleckler, Arthur A and others}, 74 year={2013}, 75 } 76 77 ; TODO: should be incollection, not book. 78 @book{McCarthyHistoryLisp, 79 author = {McCarthy, John}, 80 chapter = {History of LISP}, 81 title = {History of Programming Languages I}, 82 editor = {Wexelblat, Richard L.}, 83 year = {1981}, 84 isbn = {0-12-745040-8}, 85 pages = {173--185}, 86 numpages = {13}, 87 doi = {10.1145/800025.1198360}, 88 publisher = {ACM}, 89 address = {New York, NY, USA}, 90 } 91 92 @article{ganz2001macros-as-multi-stage-computations, 93 title={Macros as multi-stage computations: type-safe, generative, binding macros in MacroML}, 94 author={Ganz, Steven E and Sabry, Amr and Taha, Walid}, 95 journal={ACM SIGPLAN Notices}, 96 volume={36}, 97 number={10}, 98 pages={74--85}, 99 year={2001}, 100 publisher={ACM} 101 } 102 103 % One factor that influences the cost of changes is the length of time it takes 104 % to complete the edit-compile-link-run-test cycle. Under conventional 105 % operating systems, this cycle is usually on the orde r of a few minutes. In 106 % Smalltalk, it is a few seconds 107 @article{smalltalk-programmer-efficiency-cycle, 108 author = {Sandberg, D. W.}, 109 title = {Smalltalk and Exploratory Programming}, 110 journal = {SIGPLAN Notices}, 111 issue_date = {Oct. 1988}, 112 volume = {23}, 113 number = {10}, 114 month = oct, 115 year = {1988}, 116 issn = {0362-1340}, 117 pages = {85--92}, 118 numpages = {8}, 119 doi = {10.1145/51607.51614}, 120 publisher = {ACM}, 121 } 122 123 @article{bobrow_common_1988, 124 title = {Common lisp object system specification}, 125 volume = {23}, 126 url = {http://dl.acm.org/citation.cfm?id=885632}, 127 number = {SI}, 128 urldate = {2017-02-02}, 129 journal = {ACM Sigplan Notices}, 130 author = {Bobrow, Daniel G. and DeMichiel, Linda G. and Gabriel, Richard P. and Keene, Sonya E. and Kiczales, Gregor and Moon, David A.}, 131 year = {1988}, 132 pages = {1--142} 133 } 134 135 136 @inproceedings{torlak_growing_rosette_2013, 137 title = {Growing solver-aided languages with {Rosette}}, 138 url = {http://dl.acm.org/citation.cfm?id=2509586}, 139 urldate = {2017-02-02}, 140 booktitle = {Proceedings of the 2013 {ACM} international symposium on {New} ideas, new paradigms, and reflections on programming & software}, 141 publisher = {ACM}, 142 author = {Torlak, Emina and Bodik, Rastislav}, 143 year = {2013}, 144 pages = {135--152}, 145 } 146 147 @inproceedings{torlak_rosette_symbolic_vm, 148 author = {Torlak, Emina and Bodik, Rastislav}, 149 title = {A Lightweight Symbolic Virtual Machine for Solver-aided Host Languages}, 150 booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation}, 151 series = {PLDI '14}, 152 year = {2014}, 153 isbn = {978-1-4503-2784-8}, 154 pages = {530--541}, 155 numpages = {12}, 156 doi = {10.1145/2594291.2594340}, 157 publisher = {ACM}, 158 } 159 160 @inproceedings{flatt_scheme_classes_2006, 161 title = {Scheme with classes, mixins, and traits}, 162 url = {http://link.springer.com/chapter/10.1007/11924661_17}, 163 urldate = {2017-02-02}, 164 booktitle = {Asian {Symposium} on {Programming} {Languages} and {Systems}}, 165 publisher = {Springer}, 166 author = {Flatt, Matthew and Findler, Robert Bruce and Felleisen, Matthias}, 167 year = {2006}, 168 pages = {270--289}, 169 } 170 171 @inproceedings{practical_types_for_clojure_2016, 172 title = {Practical optional types for {Clojure}}, 173 url = {http://link.springer.com/chapter/10.1007/978-3-662-49498-1_4}, 174 urldate = {2017-02-02}, 175 booktitle = {European {Symposium} on {Programming} {Languages} and {Systems}}, 176 publisher = {Springer}, 177 author = {Bonnaire-Sergeant, Ambrose and Davies, Rowan and Tobin-Hochstadt, Sam}, 178 year = {2016}, 179 pages = {68--94}, 180 } 181 182 @inproceedings{brown_alloy_2009, 183 title = {Alloy: fast generic transformations for {Haskell}}, 184 isbn = {978-1-60558-508-6}, 185 shorttitle = {Alloy}, 186 url = {http://doi.acm.org/10.1145/1596638.1596652}, 187 doi = {10.1145/1596638.1596652}, 188 urldate = {2017-02-01}, 189 booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} {Symposium} on {Haskell}, {Haskell} 2009, {Edinburgh}, {Scotland}, {UK}, 3 {September} 2009}, 190 publisher = {ACM}, 191 author = {Brown, Neil C. C. and Sampson, Adam T.}, 192 editor = {Weirich, Stephanie}, 193 year = {2009}, 194 pages = {105--116}, 195 } 196 197 @misc{vollmerm-typed-nanopass-experiments, 198 title = {typed-nanopass-experiments}, 199 author = {Vollmer, Michael and Carter, Kyle}, 200 url = {https://github.com/vollmerm/typed-nanopass-experiments}, 201 urldate = {2017-02-02}, 202 publisher = {GitHub}, 203 } 204 205 @misc{leifandersen-typed-nanopass-model, 206 title = {typed-nanopass-model, a Redex model for a typed version of Nanopass}, 207 author = {Andersen, Leif}, 208 url = {https://github.com/LeifAndersen/typed-nanopass-model}, 209 urldate = {2017-02-02}, 210 publisher = {GitHub}, 211 } 212 213 @techreport{sampson_generics_2008, 214 title = {Generics in {Small} {Doses}: {Nanopass} {Compilation} with {Haskell}}, 215 shorttitle = {Generics in {Small} {Doses}}, 216 url = {http://offog.org/publications/fita200811-generics.pdf}, 217 urldate = {2017-02-01}, 218 institution = {Technical report}, 219 author = {Brown, Neil C. C. and Sampson, Adam T.}, 220 year = {2008}, 221 } 222 223 @article{ramsey_applicative_2006, 224 series = {Proceedings of the {ACM}-{SIGPLAN} {Workshop} on {ML} ({ML} 2005)}, 225 title = {An {Applicative} {Control}-{Flow} {Graph} {Based} on {Huet}'s {Zipper}}, 226 volume = {148}, 227 issn = {1571-0661}, 228 url = {http://www.sciencedirect.com/science/article/pii/S1571066106001289}, 229 doi = {10.1016/j.entcs.2005.11.042}, 230 number = {2}, 231 urldate = {2017-01-31}, 232 journal = {Electronic Notes in Theoretical Computer Science}, 233 author = {Ramsey, Norman and Dias, João}, 234 month = mar, 235 year = {2006}, 236 keywords = {applicative data structures, compilers, control-flow graphs, dataflow analysis, optimization}, 237 pages = {105--126}, 238 } 239 240 @article{fluet_phantom_types_as_subtyping_2006, 241 title = {Phantom types and subtyping}, 242 volume = {16}, 243 number = {06}, 244 journal = {Journal of Functional Programming}, 245 author = {Fluet, Matthew and Pucella, Riccardo}, 246 year = {2006}, 247 pages = {751--791}, 248 } 249 250 @inproceedings{refinement_types_2014, 251 address = {New York, NY, USA}, 252 series = {{PLPV} '14}, 253 title = {Refinement {Types} for {Haskell}}, 254 isbn = {978-1-4503-2567-7}, 255 url = {http://doi.acm.org/10.1145/2541568.2541569}, 256 doi = {10.1145/2541568.2541569}, 257 urldate = {2017-01-02}, 258 booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 {Workshop} on {Programming} {Languages} {Meets} {Program} {Verification}}, 259 publisher = {ACM}, 260 author = {Vazou, Niki and Seidel, Eric L. and Jhala, Ranjit and Vytiniotis, Dimitrios and Peyton-Jones, Simon}, 261 year = {2014}, 262 keywords = {abstract interpretation, dependent types, haskell, liquid types, refinement types, smt, type inference}, 263 pages = {27--27}, 264 } 265 266 @inproceedings{tobin-hochstadt_languages_as_libraries_2011, 267 title = {Languages as libraries}, 268 volume = {46}, 269 url = {http://dl.acm.org/citation.cfm?id=1993514}, 270 urldate = {2017-01-31}, 271 booktitle = {{ACM} {SIGPLAN} {Notices}}, 272 publisher = {ACM}, 273 author = {Tobin-Hochstadt, Sam and St-Amour, Vincent and Culpepper, Ryan and Flatt, Matthew and Felleisen, Matthias}, 274 year = {2011}, 275 pages = {132--141}, 276 } 277 278 @inproceedings{chang2017type-systems-as-macros, 279 title={Type systems as macros}, 280 author={Chang, Stephen and Knauth, Alex and Greenman, Ben}, 281 booktitle={Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, 282 pages={694--705}, 283 year={2017}, 284 organization={ACM} 285 } 286 287 % number={10}, 288 @inproceedings{pluggable-types-andreae2006framework, 289 title={A framework for implementing pluggable type systems}, 290 author={Andreae, Chris and Noble, James and Markstrum, Shane and Millstein, Todd}, 291 booktitle={ACM SIGPLAN Notices}, 292 volume={41}, 293 pages={57--74}, 294 year={2006}, 295 organization={ACM} 296 } 297 298 @inproceedings{bracha2004pluggable-types, 299 title={{Pluggable Type Systems}}, 300 author={Bracha, Gilad}, 301 booktitle={OOPSLA workshop on revival of dynamic languages}, 302 citeulike-article-id = {516210}, 303 volume={4}, 304 year={2004}, 305 month = oct, 306 day = {25}, 307 } 308 309 @article{tobin-hochstadt_design_2008, 310 title = {The design and implementation of typed scheme}, 311 volume = {43}, 312 url = {http://dl.acm.org/citation.cfm?id=1328486}, 313 number = {1}, 314 urldate = {2017-01-31}, 315 journal = {ACM SIGPLAN Notices}, 316 author = {Tobin-Hochstadt, Sam and Felleisen, Matthias}, 317 year = {2008}, 318 pages = {395--406}, 319 } 320 321 @inproceedings{types-for-flexible-objects, 322 series = {Lecture {Notes} in {Computer} {Science}}, 323 title = {Types for {Flexible} {Objects}}, 324 copyright = {©2014 Springer International Publishing Switzerland}, 325 isbn = {978-3-319-12735-4 978-3-319-12736-1}, 326 url = {http://link.springer.com/chapter/10.1007/978-3-319-12736-1_6}, 327 language = {en}, 328 urldate = {2017-01-03}, 329 booktitle = {Programming {Languages} and {Systems}}, 330 publisher = {Springer International Publishing}, 331 author = {Palmer, Zachary and Menon, Pottayil Harisanker and Rozenshteyn, Alexander and Smith, Scott}, 332 editor = {Garrigue, Jacques}, 333 month = nov, 334 year = {2014}, 335 note = {DOI: 10.1007/978-3-319-12736-1_6}, 336 keywords = {Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software Engineering}, 337 pages = {99--119}, 338 } 339 340 @article{flatt2016binding, 341 title={Binding as sets of scopes}, 342 author={Flatt, Matthew}, 343 journal={ACM SIGPLAN Notices}, 344 volume={51}, 345 number={1}, 346 pages={705--717}, 347 year={2016}, 348 publisher={ACM} 349 } 350 351 @article{flatt2012macros, 352 title={Macros that work together}, 353 author={Flatt, Matthew and Culpepper, Ryan and Darais, David and Findler, Robert Bruce}, 354 journal={Journal of Functional Programming}, 355 volume={22}, 356 number={02}, 357 pages={181--216}, 358 year={2012}, 359 publisher={Cambridge Univ Press} 360 } 361 362 363 @inproceedings{nilsson1993lazy, 364 title={Lazy algorithmic debugging: Ideas for practical implementation}, 365 author={Nilsson, Henrik and Fritzson, Peter}, 366 booktitle={International Workshop on Automated and Algorithmic Debugging}, 367 pages={117--134}, 368 year={1993}, 369 organization={Springer} 370 } 371 372 @article{wadler1998functional, 373 title={Functional Programming}, 374 author={Wadler, Philip}, 375 journal={SIGPLAN Notices}, 376 volume={33}, 377 number={8}, 378 pages={23--27}, 379 year={1998} 380 } 381 382 @article{morris1982real, 383 title={Real programming in functional languages}, 384 author={Morris, James H}, 385 journal={Functional Programming and Its Applications: An Advanced Course}, 386 pages={129--176}, 387 year={1982}, 388 publisher={CUP Archive} 389 } 390 391 @inproceedings{adams2008efficient, 392 title={Efficient nondestructive equality checking for trees and graphs}, 393 author={Adams, Michael D and Dybvig, R Kent}, 394 booktitle={ACM Sigplan Notices}, 395 volume={43}, 396 number={9}, 397 pages={179--188}, 398 year={2008}, 399 organization={ACM} 400 } 401 402 @article{cardelli1985understanding, 403 title={On understanding types, data abstraction, and polymorphism}, 404 author={Cardelli, Luca and Wegner, Peter}, 405 journal={ACM Computing Surveys (CSUR)}, 406 volume={17}, 407 number={4}, 408 pages={471--523}, 409 year={1985}, 410 publisher={ACM}, 411 url={http://lucacardelli.name/papers/onunderstanding.a4.pdf} 412 } 413 414 @book{minsky2013real, 415 title={Real World OCaml: functional programming for the masses}, 416 author={Minsky, Yaron and Madhavapeddy, Anil and Hickey, Jason}, 417 year={2013}, 418 publisher={" O'Reilly Media, Inc."} 419 } 420 421 422 423 424 425 ; From jfla2015--myreferences.bib 426 @inproceedings{clement1986simple, 427 title={{A simple applicative language: Mini-ML}}, 428 author={Dominique Clément and Thierry Despeyroux and Gilles Kahn 429 and Joëlle Despeyroux}, 430 booktitle={Proceedings of the ACM conference on LISP and functional programming}, 431 pages={13--27}, 432 year=1986, 433 organization={ACM} 434 } 435 436 @article{erwig2001inductive, 437 title={Inductive graphs and functional graph algorithms}, 438 author={Martin Erwig}, 439 journal={Journal of Functional Programming}, 440 volume=11, 441 number=05, 442 pages={467--492}, 443 year=2001, 444 publisher={Cambridge University Press} 445 } 446 447 @inproceedings{oliveira2012functional, 448 title={Functional programming with structured graphs}, 449 author={Bruno C.d.S. Oliveira and William R. Cook}, 450 booktitle={ACM SIGPLAN Notices}, 451 volume=47, 452 pages={77--88}, 453 year=2012, 454 organization={ACM} 455 } 456 457 458 459 460 % From tapas-sas--bib.bib 461 462 @inproceedings{might2006gcfa, 463 author = {Matthew Might and Olin Shivers}, 464 title = {Improving {F}low {A}nalyses via {ΓCFA}: {A}bstract {G}arbage {C}ollection and {C}ounting}, 465 booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming ({ICFP} 2006)}, 466 address = {Portland, Oregon}, 467 month = {September}, 468 year = {2006} 469 } 470 471 @InProceedings{might2010mcfa, 472 author = {Matthew Might and Yannis Smaragdakis and David Van Horn}, 473 title = {Resolving and exploiting the k-CFA paradox: Illuminating functional vs. object-oriented program analysis.}, 474 booktitle = {Proceedings of the 31st {C}onference on {P}rogramming {L}anguage {D}esign and {I}mplementation ({PLDI} 2006)}, 475 year = {2010}, 476 pages = {305--315}, 477 address = {Toronto, Canada}, 478 month = {June} 479 } 480 481 @PhdThesis{shivers91a, 482 Author = {Shivers, Olin Grigsby}, 483 Title = {Control-Flow Analysis of Higher-Order Languages or Taming Lambda}, 484 School = {Carnige-Mellon Univeristy}, 485 Month = {May}, 486 Year = {1991} 487 } 488 489 490 491 492 493 494 495 496 497 498 499 500 @techreport{ducournau-meta-model, TITLE = {{Modules and Class Refinement: A Meta-modeling Approach to Object-Oriented Programming}}, AUTHOR = {Ducournau, Roland and Morandat, Floréal and Privat, Jean}, URL = {http://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214}, NUMBER = {RR 07021}, PAGES = 66, YEAR = 2007, MONTH = Aug, KEYWORDS = {Object-oriented programming ; Design tools and techniques-modules and interfaces ; Software Architectures-information hiding ; Reusable Software-reusable models ; reusable libraries ; C++ ; Java ; Eiffel ; Smalltalk ; Clos ; Prm ; Language constructs and features- classes and objects ; inheritance ; modules and packages aspects ; classes ; crosscutting concerns ; expression problem ; hierarchies ; import ; linearization ; meta-modeling ; mixins ; modules ; multiple inheritance ; overloading ; redefinition ; refinement ; static typing}, PDF = {http://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214/file/RD-FM-JP-TOPLAS-07-v09.pdf}, HAL_ID = {lirmm-00180214}, HAL_VERSION = {v1}, institution = {LIRMM}} % ducournau:lirmm-00180214 501 502 @inproceedings{floreal-oopsla-btd-tables, author = {Ducournau, Roland and Morandat, Floréal and Privat, Jean}, title = {Empirical Assessment of Object-oriented Implementations with Multiple Inheritance and Static Typing}, booktitle = {Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications}, series = {OOPSLA '09}, year = {2009}, isbn = {978-1-60558-766-0}, location = {Orlando, Florida, USA}, pages = {41--60}, numpages = {20}, url = {http://doi.acm.org/10.1145/1640089.1640093}, doi = {10.1145/1640089.1640093}, acmid = {1640093}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {binary tree dispatch, closed-world assumption, coloring, downcast, dynamic loading, interfaces, late binding, method tables, multiple inheritance, multiple subtyping, open-world assumption, perfect hashing, single inheritance, subtype test, type analysis, virtual function table}} % Ducournau:2009:EAO:1640089.1640093, 503 504 @inproceedings{coloring89, author = {Dixon, R. and McKee, T. and Vaughan, M. and Schweizer, P.}, title = {A Fast Method Dispatcher for Compiled Languages with Multiple Inheritance}, booktitle = {Conference Proceedings on Object-oriented Programming Systems, Languages and Applications}, series = {OOPSLA '89}, year = {1989}, isbn = {0-89791-333-7}, location = {New Orleans, Louisiana, USA}, pages = {211--214}, numpages = {4}, url = {http://doi.acm.org/10.1145/74877.74900}, doi = {10.1145/74877.74900}, acmid = {74900}, publisher = {ACM}, address = {New York, NY, USA}} % Dixon:1989:FMD:74877.74900, 505 506 @article{ducournau-coloring11, TITLE = {{Coloring, a Versatile Technique for Implementing Object-Oriented Languages}}, AUTHOR = {Ducournau, Roland}, URL = {http://hal-lirmm.ccsd.cnrs.fr/lirmm-00596802}, JOURNAL = {{Software: Practice and Experience}}, PUBLISHER = {{Wiley}}, VOLUME = {41}, NUMBER = {6}, PAGES = {627-659}, YEAR = {2011}, HAL_ID = {lirmm-00596802}, HAL_VERSION = {v1}} % ducournau:lirmm-00596802, 507 508 509 @Comment @article{Parametric-Shape-Analysis-via-3-Valued-Logic, title={Parametric shape analysis via 3-valued logic}, author={Sagiv, Mooly and Reps, Thomas and Wilhelm, Reinhard}, journal={ACM Transactions on Programming Languages and Systems (TOPLAS)}, volume=24, number=3, pages={217--298}, year=2002, publisher={ACM}} 510 511 @Comment @book{introduction-to-lattices-and-order, title = {Introduction to lattices and order}, added-at = {2011-12-23T01:05:17.000+0100}, address = {Cambridge}, author = {Davey, Brian A. and Priestley, Hilary A.}, biburl = {http://www.bibsonomy.org/bibtex/2df19796e33c1e2c861b613e3c8a86f58/sdo}, description = {Introduction to Lattices and Order: B. A. Davey, H. A. Priestley: 9780521367660: Englische Bücher}, interhash = {7255554003c02eb6ddf14a6fcb9b9f72}, intrahash = {df19796e33c1e2c861b613e3c8a86f58}, isbn = {0521365848 9780521365840 0521367662 9780521367660}, keywords = {fca introduction lattice order}, publisher = {Cambridge University Press}, refid = {471812885}, timestamp = {2011-12-23T01:05:17.000+0100}, url = {http://www.worldcat.org/search?qt=worldcat_org_all&q=0521367662}, year = 1990} 512 513 @inproceedings{chambers1989customization, title={Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language}, author={Chambers, Craig and Ungar, David}, booktitle={ACM SIGPLAN Notices}, volume={24}, pages={146--160}, year={1989}, organization={ACM}} % Comment number={7}, 514 515 % polycopié de Master Informatique 516 @article{ducournau-cours-lots, 517 title={Programmation par Objets: les concepts fondamentaux}, 518 author={Ducournau, Roland}, 519 journal={Université de Montpellier}, 520 biblatex___pagetotal={237}, 521 year={2014} 522 } 523 524 ; TODO: used to be \nth{6}, not 6th 525 @techreport{ecma-cli, 526 author={ECMA}, 527 title={{ECMA-335: Common Language Infrastructure (CLI), 6th edition}}, 528 _edition={Sixth}, 529 institution={ECMA, Geneva (CH)}, 530 month= jun, 531 year=2012 532 } 533 534 @phdthesis{sallenave2012phd, 535 title={Contribution à l'efficacité des programmes orientés objet pour processeurs embarqués}, 536 author={Sallenave, Olivier}, 537 year={2012}, 538 school={Montpellier 2} 539 } 540 541 @misc{enum-balanced-parenthesis-blog, 542 title={Generating strings of balanced parentheses}, 543 author={Dominus, Mark Jason}, 544 year=2006, 545 month=feb, 546 day=08, 547 url={http://blog.plover.com/CS/parentheses.html}, 548 howpublished = {\small\url{http://blog.plover.com/CS/parentheses.html}}, 549 note={Accessed: 2016-04-28.\\Archived by 550 WebCite\textsuperscript{\textregistered} at 551 \small\url{http://www.webcitation.org/6h6TmzTIq}} 552 } 553 554 % Arnold:1980:URG:357084.357091 555 @article{uniform-balanched-parenthesis, 556 author = {Arnold, D. B. and Sleep, M. R.}, 557 title = {Uniform Random Generation of Balanced Parenthesis Strings}, 558 journal = {ACM Trans. Program. Lang. Syst.}, 559 issue_date = {Jan. 1980}, 560 volume = {2}, 561 number = {1}, 562 month = jan, 563 year = {1980}, 564 issn = {0164-0925}, 565 pages = {122--128}, 566 numpages = {7}, 567 url = {http://doi.acm.org/10.1145/357084.357091}, 568 doi = {10.1145/357084.357091}, 569 acmid = {357091}, 570 publisher = {ACM}, 571 address = {New York, NY, USA}, 572 } 573 574 @book{taocp-4-4-trees, 575 title = {{The Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees; History of Combinatorial Generation}}, 576 author = {Knuth, Donald E.}, 577 original-key = citeulike:1272058, 578 citeulike-article-id = {1272058}, 579 citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0321335708}, 580 citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/0321335708}, 581 citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/0321335708}, 582 citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0321335708}, 583 citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0321335708/citeulike00-21}, 584 citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0321335708}, 585 citeulike-linkout-6 = {http://www.worldcat.org/isbn/0321335708}, 586 citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0321335708}, 587 citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0321335708&index=books&linkCode=qs}, 588 citeulike-linkout-9 = {http://www.librarything.com/isbn/0321335708}, 589 day = {16}, 590 edition = {1}, 591 howpublished = {Paperback}, 592 isbn = {0321335708}, 593 keywords = {combinatorics, computerscience, ownit}, 594 month = feb, 595 posted-at = {2007-05-02 15:28:20}, 596 priority = {2}, 597 publisher = {Addison-Wesley Professional}, 598 series = {The Art of Computer Programming}, 599 _url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0321335708}, 600 year = {2006} 601 } 602 603 @misc{dotnet-native-video, 604 title={Inside {.NET} Native}, 605 author={Torre, Charles and Ramaswamy, Mani and Farkas, Shawn}, 606 year=2014, 607 month=Apr, 608 day=02, 609 howpublished={\\\small\url{https://channel9.msdn.com/Shows/Going+Deep/Inside-NET-Native}}, 610 note={\\Video. Accessed: 2016-04-28.} 611 } 612 613 % TODO: not 100% read yet 614 @misc{msdn-dotnet-native-compilation, 615 key={MSDN dn807190}, 616 year=2014, 617 title={{.NET} Native and Compilation}, 618 howpublished={\\{\small\url{https://msdn.microsoft.com/en-us/library/dn807190(v=vs.110).aspx}}}, 619 note={\\Accessed: 2016-04-28.\\Archived by 620 WebCite\textsuperscript{\textregistered} at 621 \small\url{http://www.webcitation.org/6h6wHyHX8}}, 622 } 623 624 % TODO: not 100% read yet 625 @misc{msdn-dotnet-native-main, 626 key={MSDN dn584397}, 627 year=2014, 628 title={Compiling Apps with {.NET} Native}, 629 howpublished={\\{\small\url{https://msdn.microsoft.com/en-us/library/dn584397(v=vs.110).aspx}}}, 630 note={\\Accessed: 2016-04-28.\\Archived by 631 WebCite\textsuperscript{\textregistered} at 632 \small\url{http://www.webcitation.org/6h6wUwxCB}}, 633 } 634 635 @misc{mono-cecil-website, 636 title={Mono.Cecil documentation}, 637 author={Köplinger, Alexander and Evain, Jean-Baptiste and others}, 638 howpublished={\\\small\url{http://www.mono-project.com/docs/tools+libraries/libraries/Mono.Cecil}}, 639 year=2014, 640 month=Jun, 641 day=05, 642 } 643 644 @misc{mono-cecil-source, 645 title={Mono.Cecil library}, 646 author={Evain, Jean-Baptiste and others}, 647 howpublished={\\\small\url{https://github.com/jbevain/cecil}}, 648 year=2008, 649 month=Oct, 650 day=06, 651 } 652 653 @misc{mono-website, 654 title={Mono project webpage}, 655 author={{Mono Project}}, 656 howpublished={\\\small\url{http://www.mono-project.com/}}, 657 note={\\Accessed: 2016-04-28.\\Archived by 658 WebCite\textsuperscript{\textregistered} at 659 \small\url{http://www.webcitation.org/6h720IReK}}, 660 year=2004, 661 month=Jun, 662 day=30, 663 } 664 665 @misc{mono-source, 666 title={Mono project GIT repository}, 667 author={de Icaza, Miguel and others}, 668 howpublished={\\\small\url{https://github.com/mono/mono}}, 669 year=2004, 670 month=Jun, 671 day=30, 672 } 673 674 @inproceedings{nanopass-2013, 675 title = {A nanopass framework for commercial compiler development}, 676 volume = {48}, 677 booktitle = {{ACM} {SIGPLAN} {Notices}}, 678 publisher = {ACM}, 679 author = {Keep, Andrew W and Dybvig, R Kent}, 680 year = {2013}, 681 pages = {343--350} 682 } 683 684 @inproceedings{nanopass-2004, 685 title = {A nanopass infrastructure for compiler education}, 686 volume = {39}, 687 booktitle = {{ACM} {SIGPLAN} {Notices}}, 688 publisher = {ACM}, 689 author = {Sarkar, Dipanwita and Waddell, Oscar and Dybvig, R Kent}, 690 year = {2004}, 691 pages = {201--212} 692 } 693 694 % Roslyn CTP red-green trees: 695 @misc{overbey2013immutable, 696 title={{Immutable Source-Mapped Abstract Syntax Tree: A Design 697 Pattern for Refactoring Engine APIs}}, 698 author={Jeffrey Overbey}, 699 year=2013, 700 publisher={Hillside} 701 } 702 703 @article{huet1997zipper, 704 title={{The Zipper}}, 705 author={Gérard Huet}, 706 journal={Journal of Functional Programming}, 707 volume=7, 708 number=5, 709 pages={549--554}, 710 year=1997, 711 publisher={Cambridge University Press} 712 } 713 714 % chlipala_parametric_2008 715 @book{phoas, 716 title = {Parametric {Higher}-{Order} {Abstract} {Syntax} for {Mechanized} {Semantics}}, 717 author = {Chlipala, Adam}, 718 year = {2008}, 719 } 720 721 @ARTICLE{Knuth84literateprogramming, 722 author = {Donald E. Knuth}, 723 title = {Literate programming}, 724 journal = {THE COMPUTER JOURNAL}, 725 year = {1984}, 726 volume = {27}, 727 pages = {97--111} 728 } 729 730 @inproceedings{tip_scalable_2000, 731 title = {Scalable propagation-based call graph construction algorithms}, 732 booktitle = {In {Conference} on {Object}-{Oriented} {Programming} {Systems}, {Languages}, and {Applications}}, 733 author = {Tip, Frank}, 734 year = {2000}, 735 pages = {281--293}, 736 } 737 738 739 @article{probst_demand-driven_2002, 740 title = {A demand-driven solver for constraint-based control flow analysis}, 741 author = {Probst, Christian W.}, 742 year = {2002}, 743 } 744 745 @article{grove_framework_2001, 746 title = {A {Framework} for {Call} {Graph} {Construction} {Algorithms}}, 747 volume = {23}, 748 issn = {0164-0925}, 749 url = {http://doi.acm.org/10.1145/506315.506316}, 750 doi = {10.1145/506315.506316}, 751 number = {6}, 752 urldate = {2016-05-31}, 753 journal = {ACM Trans. Program. Lang. Syst.}, 754 author = {Grove, David and Chambers, Craig}, 755 month = nov, 756 year = {2001}, 757 keywords = {Call graph construction, control flow analysis, interprocedural analysis}, 758 pages = {685--746}, 759 } 760 761 ; TODO: should be phdthesis, not book. 762 @book{tobin-hochstadt_typed_2010, 763 title = {Typed scheme: {From} scripts to programs}, 764 shorttitle = {Typed scheme}, 765 author = {Tobin-Hochstadt, Sam}, 766 year = {2010}, 767 } 768 769 770 @inproceedings{bacon_fast_1996, 771 address = {New York, NY, USA}, 772 series = {{OOPSLA} '96}, 773 title = {Fast {Static} {Analysis} of {C}++ {Virtual} {Function} {Calls}}, 774 isbn = {978-0-89791-788-9}, 775 url = {http://doi.acm.org/10.1145/236337.236371}, 776 doi = {10.1145/236337.236371}, 777 urldate = {2016-05-31}, 778 booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} {Conference} on {Object}-oriented {Programming}, {Systems}, {Languages}, and {Applications}}, 779 publisher = {ACM}, 780 author = {Bacon, David F. and Sweeney, Peter F.}, 781 year = {1996}, 782 pages = {324--341}, 783 } 784 785 @techreport{bacon_rapid_1996, 786 title = {Rapid {Type} {Analysis} for {C}++}, 787 number = {pending}, 788 institution = {IBM Thomas J. Watson Reseach Center}, 789 author = {{Bacon, David F.} and {Wegman, M.} and {Zadeck, K.}}, 790 year = {1996}, 791 keywords = {c, optimization}, 792 } 793 794 795 @article{gentzen_untersuchungen_1935_1, 796 title = {Untersuchungen über das logische {Schließen}. {I}}, 797 volume = {39}, 798 issn = {0025-5874, 1432-1823}, 799 url = {http://link.springer.com.gate6.inist.fr/article/10.1007/BF01201353}, 800 doi = {10.1007/BF01201353}, 801 language = {de}, 802 number = {1}, 803 urldate = {2016-05-31}, 804 journal = {Mathematische Zeitschrift}, 805 author = {Gentzen, Gerhard}, 806 month = dec, 807 year = {1935}, 808 keywords = {Mathematics, general}, 809 pages = {176--210}, 810 } 811 812 @article{gentzen_untersuchungen_1935_2, 813 title = {Untersuchungen über das logische {Schließen}. {II}}, 814 volume = {39}, 815 issn = {0025-5874, 1432-1823}, 816 url = {http://link.springer.com.gate6.inist.fr/article/10.1007/BF01201363}, 817 doi = {10.1007/BF01201363}, 818 language = {de}, 819 number = {1}, 820 urldate = {2016-05-31}, 821 journal = {Mathematische Zeitschrift}, 822 author = {Gentzen, Gerhard}, 823 month = dec, 824 year = {1935}, 825 keywords = {Mathematics, general}, 826 pages = {405--431}, 827 } 828 829 @techreport{flatt_plt_1997, 830 title = {{PLT} {MzScheme}: language manual}, 831 institution = {Citeseer}, 832 author = {Flatt, Matthew and {others}}, 833 year = {1997}, 834 } 835 836 @article{reactive_survey_2013, 837 title = {A {Survey} on {Reactive} {Programming}}, 838 volume = {45}, 839 issn = {0360-0300}, 840 url = {http://doi.acm.org/10.1145/2501654.2501666}, 841 doi = {10.1145/2501654.2501666}, 842 number = {4}, 843 urldate = {2016-06-01}, 844 journal = {ACM Comput. Surv.}, 845 author = {Bainomugisha, Engineer and Carreton, Andoni Lombide and Cutsem, Tom van and Mostinckx, Stijn and Meuter, Wolfgang de}, 846 month = aug, 847 year = {2013}, 848 keywords = {dataflow programming, event-driven applications, functional reactive programming, interactive applications, Reactive programming, reactive systems}, 849 pages = {52:1--52:34}, 850 }