├── .github └── workflows │ └── build.yml ├── .gitignore ├── CNAME ├── LICENSE ├── Makefile ├── README.md ├── SETUP.md ├── blog ├── 2017 │ └── 05 │ │ └── 26 │ │ └── racket-6-9-and-windows-10-creative-update │ │ └── index.html ├── .frogrc ├── .gitignore ├── Makefile ├── README.md ├── _src │ ├── index-template.html │ ├── page-template.html │ ├── post-template.html │ └── posts │ │ ├── 2012-01-01-a-2012-blog-post.md │ │ ├── 2016-04-29-welcome-to-the-prl-blog.md │ │ ├── 2016-05-03-nepls-on-may-31st-at-umass-amherst.md │ │ ├── 2016-05-18-gradual-typing-across-the-spectrum.md │ │ ├── 2016-05-24-measuring-gc-latencies-in-haskell-ocaml-racket.md │ │ ├── 2016-06-07-icfp-2016-looking-for-student-volunteers.md │ │ ├── 2016-06-13-does-anyone-still-care-about-printed-proceedings-grab-some-at-neu-this-week.md │ │ ├── 2016-06-27-tutorial-using-racket-s-ffi.scrbl │ │ ├── 2016-06-29-tutorial-racket-ffi-part-2.scrbl │ │ ├── 2016-07-11-tutorial-racket-ffi-part-3.scrbl │ │ ├── 2016-07-25-tutorial-zero-to-sixty-in-racket.scrbl │ │ ├── 2016-08-03-a-few-cores-too-many.md │ │ ├── 2016-09-15-nepls-on-october-7th-at-northeastern.md │ │ ├── 2016-10-11-compcert-overview.md │ │ ├── 2016-10-17-emacs-daemon-for-fast-editor-startup.md │ │ ├── 2016-10-19-history-of-actors.md │ │ ├── 2016-10-31-meaningful-distinctions.md │ │ ├── 2016-11-02-beta-reduction-part-1.md │ │ ├── 2016-11-16-constructive-galois-connections.md │ │ ├── 2016-11-17-src-submissions.md │ │ ├── 2016-11-30-getting-started-in-programming-languages-cross-post.md │ │ ├── 2016-12-17-measuring-the-submission-review-balance.md │ │ ├── 2017-01-02-fall-2016-pl-junior-retrospective.md │ │ ├── 2017-01-03-toward-type-preserving-compilation-of-coq-at-popl17-src.md │ │ ├── 2017-02-15-hopl2017-conversational-context.md │ │ ├── 2017-02-16-hopl2017-intro.md │ │ ├── 2017-02-21-bullets-are-good-for-your-coq-proofs.md │ │ ├── 2017-02-21-datalog-for-static-analysis.md │ │ ├── 2017-02-28-hopl2017-linear-types.md │ │ ├── 2017-02-28-pliss-oregon-without-the-greek.md │ │ ├── 2017-03-03-metafunction-apply.md │ │ ├── 2017-03-10-hopl-stack.md │ │ ├── 2017-03-15-tracing-jits-for-dynamic-languages.md │ │ ├── 2017-03-24-what-even-is-compiler-correctness.md │ │ ├── 2017-04-04-top-5-in-last-50.md │ │ ├── 2017-04-17-hopl-types-in-compilation.md │ │ ├── 2017-04-20-hopl-refinement-types.md │ │ ├── 2017-04-25-prl-at-snapl-17.md │ │ ├── 2017-04-28-hopl-soft-typing.md │ │ ├── 2017-05-01-hopl-dyn-cats.md │ │ ├── 2017-05-04-rank-polymorphism.md │ │ ├── 2017-05-09-hopl-no-good-answers.md │ │ ├── 2017-05-15-artifacts-for-semantics.md │ │ ├── 2017-05-23-scribble-html.md │ │ ├── 2017-05-24-plc-russia.md │ │ ├── 2017-05-26-racket-6-9-and-windows-10-creators-update.md │ │ ├── 2017-06-05-syntactic-parametricity-strikes-again.md │ │ ├── 2017-06-05-trip-report-pliss-2017.md │ │ ├── 2017-06-09-bridging-the-system-configuration-gap.md │ │ ├── 2017-06-16-spring-2017-pl-junior-retrospective.md │ │ ├── 2017-06-24-turing-award-50.md │ │ ├── 2017-07-17-continuations-1983.md │ │ ├── 2017-07-19-trees-1973.md │ │ ├── 2017-08-13-reviews-and-author-responses.md │ │ ├── 2017-08-22-gradual-typing-across-the-spectrum.md │ │ ├── 2017-08-28-closure-conversion-coyoneda.md │ │ ├── 2017-08-29-why-am-i-going-to-icfp-2017.md │ │ ├── 2017-09-25-redex-faq.md │ │ ├── 2017-09-27-final-algebra-semantics-is-observational-equivalence.md │ │ ├── 2017-11-16-monotonicity-types-towards-a-type-system-for-eventual-consistency.md │ │ ├── 2018-01-17-how-to-prove-a-compiler-correct.md │ │ ├── 2018-01-19-untyped-programs-don-t-exist.md │ │ ├── 2018-04-12-making-an-ide-plugin-for-drracket.md │ │ ├── 2018-04-23-how-to-prove-a-compiler-fully-abstract.md │ │ ├── 2018-04-27-racket-school-2018.md │ │ ├── 2018-05-08-sampling-gradual-typing-performance.md │ │ ├── 2018-10-06-a-spectrum-of-type-soundness-and-performance.md │ │ ├── 2018-10-22-defining-local-bindings-in-turnstile-languages.md │ │ ├── 2018-11-24-disappearing-code.md │ │ ├── 2018-11-30-turnstile-community.md │ │ ├── 2018-12-02-java-transient.md │ │ ├── 2018-12-11-the-behavior-of-gradual-types.md │ │ ├── 2019-01-28-on-stack-replacement.md │ │ ├── 2019-02-17-scribble-acmart.md │ │ ├── 2019-03-09-pliss-learn-about-pl-implementation-in-a-castle.md │ │ ├── 2019-04-07-forgetful-and-heedful-contracts.md │ │ ├── 2019-05-11-conversational-concurrency.md │ │ ├── 2019-09-05-lexical-and-dynamic-scope.md │ │ ├── 2019-09-10-four-kinds-of-scoping-in-r.md │ │ ├── 2019-09-10-scoping-in-r.md │ │ ├── 2019-10-31-complete-monitors-for-gradual-types.md │ │ ├── 2019-12-12-prl-offsite-2019.md │ │ ├── 2020-01-15-tr-optimizer-vs-transient.md │ │ ├── 2020-10-15-shallow-mailing-list.md │ │ ├── 2020-11-12-transient-opt-kw-lambda.md │ │ ├── 2020-12-23-deep-and-shallow-types.md │ │ ├── 2022-01-06-introducing-visr-md.md │ │ ├── 2022-02-16-rsh-overview-1.md │ │ └── kwic │ │ ├── almost-typed.rkt │ │ ├── index.out │ │ ├── kwic.rkt │ │ ├── pride-and-prejudice.txt │ │ ├── test.txt │ │ └── typed.rkt ├── author_redirects │ ├── by-Aaron-Weiss.html │ ├── by-Alexi-Turcotte.html │ ├── by-Artem-Pelenitsyn.html │ ├── by-Asumu-Takikawa.html │ ├── by-Ben-Chung.html │ ├── by-Ben-Greenman-2.html │ ├── by-Ben-Greenman-3.html │ ├── by-Ben-Greenman-4.html │ ├── by-Ben-Greenman.html │ ├── by-Daniel-Patterson.html │ ├── by-Dustin-Jamner.html │ ├── by-Gabriel-Scherer-2.html │ ├── by-Gabriel-Scherer.html │ ├── by-Jan-Vitek.html │ ├── by-Jonathan-Schuster.html │ ├── by-Julia-Belyakova.html │ ├── by-Justin-Slepak.html │ ├── by-Kevin-Clancy.html │ ├── by-Leif-Andersen.html │ ├── by-Li-Yao-Xia.html │ ├── by-Matt-Kolosick.html │ ├── by-Max-New.html │ ├── by-Milo-Davis.html │ ├── by-Ming-Ho-Yee.html │ ├── by-Olek-Gierczak.html │ ├── by-Rob-Kleffner.html │ ├── by-Sam-Caldwell.html │ ├── by-Stephen-Chang.html │ ├── by-Tony-Garnock-Jones.html │ ├── by-William-J-Bowman.html │ └── by-Zeina-Migeed.html ├── frog.rkt ├── static │ ├── datalog-for-static-analysis.pdf │ ├── dyn-cats.pdf │ ├── redex-faq.rkt │ ├── refinement_types_bib.pdf │ ├── refinement_types_lecture.pdf │ ├── scott-69-93-type-theoretical-alternative.pdf │ ├── scott-80-relating-theories.pdf │ ├── soft-typing.pdf │ ├── stack-languages-annotated-bib.pdf │ ├── stack-languages-talk-notes.pdf │ └── warren-center-meetings-and-retreats.pdf └── utils │ └── utils.rkt ├── contact.rkt ├── css ├── bootstrap.min.css ├── custom.css ├── pygments.css ├── racket.css └── scribble.css ├── deploy.sh ├── fonts ├── glyphicons-halflings-regular.eot ├── glyphicons-halflings-regular.svg ├── glyphicons-halflings-regular.ttf ├── glyphicons-halflings-regular.woff └── glyphicons-halflings-regular.woff2 ├── frog.rkt ├── gtp └── index.html ├── img ├── 1x1.gif ├── 2016-day-slide-3.png ├── 2016-day-slide-4.png ├── 2016-day-slide-8.png ├── Andersen_Leif_linderpix-NEU-55638-high res.jpg ├── Andrew-square.jpg ├── Benjamin-Chung-Index-Image.jpg ├── Clinger.jpg ├── Farideh_khalili.jpg ├── Katherine_Hough.png ├── Samuel-Caldwell-Index-Image.jpg ├── a-few-cores-too-many-1.png ├── a-few-cores-too-many-2.png ├── a-few-cores-too-many-3.png ├── aaron_weiss.jpg ├── alexi_turcotte_small.jpg ├── amal-old.jpg ├── amal.jpg ├── andrew_wagner.jpg ├── anon.png ├── arjun_guha.png ├── artem_pelenitsyn.jpg ├── asumu_takikawa.jpg ├── aviral-goel.jpeg ├── background-2.jpg ├── background.jpg ├── ballantyne.jpg ├── ben_greenman.jpg ├── ben_lerner.jpg ├── benjamin_chung.jpg ├── blern.png ├── cameron_camoy.jpg ├── celeste_hollenbeck.jpg ├── chris-martens.png ├── complete-monitoring-0.png ├── complete-monitoring-1.png ├── conrad_zimmerman.jpg ├── cs7600-mhyee-survey-paper-osr.pdf ├── d-thesis-1984.pdf ├── daniel_patterson.jpg ├── di_zhong.jpg ├── donald_pinckney.jpg ├── dynjs.png ├── ellen_arteca_small.jpg ├── essentials-of-programming-languages.jpg ├── favicon.ico ├── favicon.png ├── feed.png ├── fiji.gif ├── fillip_krikava.jpg ├── frank_tip.jpg ├── franlucc.jpg ├── g-thesis-1972.pdf ├── gabriel_scherer.jpg ├── gls-trees-poem-1979.pdf ├── gtsurvey-example-behaviors.png ├── gtsurvey-example-data.png ├── gtsurvey-example-program.png ├── gtsurvey-example-question.png ├── gwenyth_lincroft.png ├── harshit_garg.jpg ├── heather_miller.jpg ├── how-to-design-programs.jpg ├── hyeyoung_shin.jpg ├── intro-visr │ ├── full-count.png │ ├── insert.png │ ├── sig.png │ ├── simpl-count.png │ ├── visr-and-text.png │ ├── visr-open.png │ └── visr.png ├── james_perretta.jpg ├── jan_vitek.jpg ├── jhemann.jpg ├── joe_sackett.jpg ├── john_boyland.jpg ├── john_gouwar.jpg ├── john_h_reppy.jpg ├── john_li.jpg ├── jon_bell.jpg ├── jonathan_schuster.jpg ├── josh.jpg ├── julia_belyakova.jpg ├── justin_slepak.jpg ├── karl_lieberherr.jpg ├── kevin-crop.jpg ├── kffd-tr-1986.pdf ├── konrad.jpg ├── l-plp-1965.pdf ├── larceny.png ├── leif_andersen.jpg ├── liam_devoe.jpg ├── littles.gif ├── luis_garcia.jpg ├── m-jcss-1978.pdf ├── m-thesis-1969.pdf ├── matthias_felleisen.jpg ├── max_bernstein.png ├── max_new.jpg ├── michelle_thalakottur.jpg ├── mitch_wand.jpg ├── mixed-typed-systems-by-year.png ├── nall-continuations-1983.pdf ├── nate_yazdani.jpg ├── olek_gierczak.jpg ├── olin_shivers.jpg ├── olivier_fluckiger.jpg ├── p-sigcomm-1985.pdf ├── p-tr-1971.pdf ├── paleyli.jpg ├── paul_stansifer.jpg ├── pliss2017-1-thumb.jpg ├── pliss2017-1.jpg ├── pliss2017-2-thumb.jpg ├── pliss2017-2.jpg ├── pliss_summer_school_2017_logo.png ├── prl-bg.png ├── prl.png ├── r-cp-1974.pdf ├── racket-logo.png ├── racket.jpg ├── redex.jpg ├── ryan_culpepper.jpg ├── ryan_doenges.jpg ├── saba.jpg ├── sam_caldwell.jpg ├── sam_stites.jpg ├── satyajit_gokhale.jpg ├── separator-2.jpg ├── separator.jpg ├── shubh_agrawal.jpg ├── sicm.pdf ├── ss-tr-1975.pdf ├── stephen_chang.jpg ├── steven_holtzen.png ├── tony_jones.jpg ├── u-sde-1984.pdf ├── up-arrow.png ├── vadym_matviichuk.jpg ├── vector-chaperone-0.png ├── vector-chaperone-1.png ├── william_bowman.jpg ├── yee-crop.jpg └── ytzi.jpg ├── index.rkt ├── install-racket.sh ├── js ├── analytics.js ├── bootstrap.min.js └── custom.js ├── new-members.rkt ├── people.rkt ├── publication-data.rkt ├── publications.rkt ├── robots.txt ├── seminar-notes ├── README.md ├── chris-goblins-and-spritely.txt ├── new-retractionsblame.md └── sherman-patterns.md ├── seminars.rkt ├── snake.html ├── software.rkt ├── teaching.rkt ├── templates.rkt └── utils └── pub-helpers.rkt /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/.gitignore -------------------------------------------------------------------------------- /CNAME: -------------------------------------------------------------------------------- 1 | prl.khoury.northeastern.edu 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/README.md -------------------------------------------------------------------------------- /SETUP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/SETUP.md -------------------------------------------------------------------------------- /blog/.frogrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/.frogrc -------------------------------------------------------------------------------- /blog/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/.gitignore -------------------------------------------------------------------------------- /blog/2017/05/26/racket-6-9-and-windows-10-creative-update/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/2017/05/26/racket-6-9-and-windows-10-creative-update/index.html -------------------------------------------------------------------------------- /blog/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/Makefile -------------------------------------------------------------------------------- /blog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/README.md -------------------------------------------------------------------------------- /blog/_src/index-template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/index-template.html -------------------------------------------------------------------------------- /blog/_src/page-template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/page-template.html -------------------------------------------------------------------------------- /blog/_src/post-template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/post-template.html -------------------------------------------------------------------------------- /blog/_src/posts/2012-01-01-a-2012-blog-post.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2012-01-01-a-2012-blog-post.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-04-29-welcome-to-the-prl-blog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-04-29-welcome-to-the-prl-blog.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-05-03-nepls-on-may-31st-at-umass-amherst.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-05-03-nepls-on-may-31st-at-umass-amherst.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-05-18-gradual-typing-across-the-spectrum.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-05-18-gradual-typing-across-the-spectrum.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-05-24-measuring-gc-latencies-in-haskell-ocaml-racket.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-05-24-measuring-gc-latencies-in-haskell-ocaml-racket.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-06-07-icfp-2016-looking-for-student-volunteers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-06-07-icfp-2016-looking-for-student-volunteers.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-06-13-does-anyone-still-care-about-printed-proceedings-grab-some-at-neu-this-week.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-06-13-does-anyone-still-care-about-printed-proceedings-grab-some-at-neu-this-week.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-06-27-tutorial-using-racket-s-ffi.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-06-27-tutorial-using-racket-s-ffi.scrbl -------------------------------------------------------------------------------- /blog/_src/posts/2016-06-29-tutorial-racket-ffi-part-2.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-06-29-tutorial-racket-ffi-part-2.scrbl -------------------------------------------------------------------------------- /blog/_src/posts/2016-07-11-tutorial-racket-ffi-part-3.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-07-11-tutorial-racket-ffi-part-3.scrbl -------------------------------------------------------------------------------- /blog/_src/posts/2016-07-25-tutorial-zero-to-sixty-in-racket.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-07-25-tutorial-zero-to-sixty-in-racket.scrbl -------------------------------------------------------------------------------- /blog/_src/posts/2016-08-03-a-few-cores-too-many.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-08-03-a-few-cores-too-many.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-09-15-nepls-on-october-7th-at-northeastern.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-09-15-nepls-on-october-7th-at-northeastern.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-10-11-compcert-overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-10-11-compcert-overview.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-10-17-emacs-daemon-for-fast-editor-startup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-10-17-emacs-daemon-for-fast-editor-startup.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-10-19-history-of-actors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-10-19-history-of-actors.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-10-31-meaningful-distinctions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-10-31-meaningful-distinctions.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-11-02-beta-reduction-part-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-11-02-beta-reduction-part-1.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-11-16-constructive-galois-connections.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-11-16-constructive-galois-connections.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-11-17-src-submissions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-11-17-src-submissions.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-11-30-getting-started-in-programming-languages-cross-post.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-11-30-getting-started-in-programming-languages-cross-post.md -------------------------------------------------------------------------------- /blog/_src/posts/2016-12-17-measuring-the-submission-review-balance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2016-12-17-measuring-the-submission-review-balance.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-01-02-fall-2016-pl-junior-retrospective.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-01-02-fall-2016-pl-junior-retrospective.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-01-03-toward-type-preserving-compilation-of-coq-at-popl17-src.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-01-03-toward-type-preserving-compilation-of-coq-at-popl17-src.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-02-15-hopl2017-conversational-context.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-02-15-hopl2017-conversational-context.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-02-16-hopl2017-intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-02-16-hopl2017-intro.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-02-21-bullets-are-good-for-your-coq-proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-02-21-bullets-are-good-for-your-coq-proofs.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-02-21-datalog-for-static-analysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-02-21-datalog-for-static-analysis.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-02-28-hopl2017-linear-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-02-28-hopl2017-linear-types.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-02-28-pliss-oregon-without-the-greek.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-02-28-pliss-oregon-without-the-greek.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-03-03-metafunction-apply.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-03-03-metafunction-apply.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-03-10-hopl-stack.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-03-10-hopl-stack.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-03-15-tracing-jits-for-dynamic-languages.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-03-15-tracing-jits-for-dynamic-languages.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-03-24-what-even-is-compiler-correctness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-03-24-what-even-is-compiler-correctness.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-04-04-top-5-in-last-50.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-04-04-top-5-in-last-50.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-04-17-hopl-types-in-compilation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-04-17-hopl-types-in-compilation.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-04-20-hopl-refinement-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-04-20-hopl-refinement-types.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-04-25-prl-at-snapl-17.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-04-25-prl-at-snapl-17.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-04-28-hopl-soft-typing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-04-28-hopl-soft-typing.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-01-hopl-dyn-cats.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-01-hopl-dyn-cats.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-04-rank-polymorphism.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-04-rank-polymorphism.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-09-hopl-no-good-answers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-09-hopl-no-good-answers.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-15-artifacts-for-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-15-artifacts-for-semantics.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-23-scribble-html.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-23-scribble-html.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-24-plc-russia.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-24-plc-russia.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-05-26-racket-6-9-and-windows-10-creators-update.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-05-26-racket-6-9-and-windows-10-creators-update.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-06-05-syntactic-parametricity-strikes-again.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-06-05-syntactic-parametricity-strikes-again.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-06-05-trip-report-pliss-2017.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-06-05-trip-report-pliss-2017.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-06-09-bridging-the-system-configuration-gap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-06-09-bridging-the-system-configuration-gap.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-06-16-spring-2017-pl-junior-retrospective.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-06-16-spring-2017-pl-junior-retrospective.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-06-24-turing-award-50.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-06-24-turing-award-50.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-07-17-continuations-1983.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-07-17-continuations-1983.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-07-19-trees-1973.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-07-19-trees-1973.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-08-13-reviews-and-author-responses.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-08-13-reviews-and-author-responses.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-08-22-gradual-typing-across-the-spectrum.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-08-22-gradual-typing-across-the-spectrum.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-08-28-closure-conversion-coyoneda.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-08-28-closure-conversion-coyoneda.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-08-29-why-am-i-going-to-icfp-2017.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-08-29-why-am-i-going-to-icfp-2017.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-09-25-redex-faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-09-25-redex-faq.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-09-27-final-algebra-semantics-is-observational-equivalence.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-09-27-final-algebra-semantics-is-observational-equivalence.md -------------------------------------------------------------------------------- /blog/_src/posts/2017-11-16-monotonicity-types-towards-a-type-system-for-eventual-consistency.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2017-11-16-monotonicity-types-towards-a-type-system-for-eventual-consistency.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-01-17-how-to-prove-a-compiler-correct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-01-17-how-to-prove-a-compiler-correct.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-01-19-untyped-programs-don-t-exist.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-01-19-untyped-programs-don-t-exist.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-04-12-making-an-ide-plugin-for-drracket.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-04-12-making-an-ide-plugin-for-drracket.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-04-23-how-to-prove-a-compiler-fully-abstract.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-04-23-how-to-prove-a-compiler-fully-abstract.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-04-27-racket-school-2018.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-04-27-racket-school-2018.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-05-08-sampling-gradual-typing-performance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-05-08-sampling-gradual-typing-performance.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-10-06-a-spectrum-of-type-soundness-and-performance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-10-06-a-spectrum-of-type-soundness-and-performance.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-10-22-defining-local-bindings-in-turnstile-languages.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-10-22-defining-local-bindings-in-turnstile-languages.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-11-24-disappearing-code.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-11-24-disappearing-code.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-11-30-turnstile-community.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-11-30-turnstile-community.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-12-02-java-transient.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-12-02-java-transient.md -------------------------------------------------------------------------------- /blog/_src/posts/2018-12-11-the-behavior-of-gradual-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2018-12-11-the-behavior-of-gradual-types.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-01-28-on-stack-replacement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-01-28-on-stack-replacement.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-02-17-scribble-acmart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-02-17-scribble-acmart.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-03-09-pliss-learn-about-pl-implementation-in-a-castle.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-03-09-pliss-learn-about-pl-implementation-in-a-castle.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-04-07-forgetful-and-heedful-contracts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-04-07-forgetful-and-heedful-contracts.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-05-11-conversational-concurrency.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-05-11-conversational-concurrency.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-09-05-lexical-and-dynamic-scope.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-09-05-lexical-and-dynamic-scope.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-09-10-four-kinds-of-scoping-in-r.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-09-10-four-kinds-of-scoping-in-r.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-09-10-scoping-in-r.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-09-10-scoping-in-r.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-10-31-complete-monitors-for-gradual-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-10-31-complete-monitors-for-gradual-types.md -------------------------------------------------------------------------------- /blog/_src/posts/2019-12-12-prl-offsite-2019.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2019-12-12-prl-offsite-2019.md -------------------------------------------------------------------------------- /blog/_src/posts/2020-01-15-tr-optimizer-vs-transient.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2020-01-15-tr-optimizer-vs-transient.md -------------------------------------------------------------------------------- /blog/_src/posts/2020-10-15-shallow-mailing-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2020-10-15-shallow-mailing-list.md -------------------------------------------------------------------------------- /blog/_src/posts/2020-11-12-transient-opt-kw-lambda.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2020-11-12-transient-opt-kw-lambda.md -------------------------------------------------------------------------------- /blog/_src/posts/2020-12-23-deep-and-shallow-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2020-12-23-deep-and-shallow-types.md -------------------------------------------------------------------------------- /blog/_src/posts/2022-01-06-introducing-visr-md.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2022-01-06-introducing-visr-md.md -------------------------------------------------------------------------------- /blog/_src/posts/2022-02-16-rsh-overview-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/2022-02-16-rsh-overview-1.md -------------------------------------------------------------------------------- /blog/_src/posts/kwic/almost-typed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/kwic/almost-typed.rkt -------------------------------------------------------------------------------- /blog/_src/posts/kwic/index.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/kwic/index.out -------------------------------------------------------------------------------- /blog/_src/posts/kwic/kwic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/kwic/kwic.rkt -------------------------------------------------------------------------------- /blog/_src/posts/kwic/pride-and-prejudice.txt: -------------------------------------------------------------------------------- 1 | It is a truth universally acknowledged 2 | -------------------------------------------------------------------------------- /blog/_src/posts/kwic/test.txt: -------------------------------------------------------------------------------- 1 | imagine if this 2 | took 2 weeks to write 3 | -------------------------------------------------------------------------------- /blog/_src/posts/kwic/typed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/_src/posts/kwic/typed.rkt -------------------------------------------------------------------------------- /blog/author_redirects/by-Aaron-Weiss.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Aaron-Weiss.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Alexi-Turcotte.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Alexi-Turcotte.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Artem-Pelenitsyn.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Artem-Pelenitsyn.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Asumu-Takikawa.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Asumu-Takikawa.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Ben-Chung.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Ben-Chung.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Ben-Greenman-2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Ben-Greenman-2.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Ben-Greenman-3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Ben-Greenman-3.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Ben-Greenman-4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Ben-Greenman-4.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Ben-Greenman.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Ben-Greenman.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Daniel-Patterson.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Daniel-Patterson.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Dustin-Jamner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Dustin-Jamner.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Gabriel-Scherer-2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Gabriel-Scherer-2.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Gabriel-Scherer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Gabriel-Scherer.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Jan-Vitek.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Jan-Vitek.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Jonathan-Schuster.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Jonathan-Schuster.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Julia-Belyakova.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Julia-Belyakova.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Justin-Slepak.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Justin-Slepak.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Kevin-Clancy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Kevin-Clancy.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Leif-Andersen.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Leif-Andersen.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Li-Yao-Xia.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Li-Yao-Xia.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Matt-Kolosick.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Matt-Kolosick.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Max-New.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Max-New.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Milo-Davis.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Milo-Davis.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Ming-Ho-Yee.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Ming-Ho-Yee.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Olek-Gierczak.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Olek-Gierczak.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Rob-Kleffner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Rob-Kleffner.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Sam-Caldwell.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Sam-Caldwell.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Stephen-Chang.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Stephen-Chang.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Tony-Garnock-Jones.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Tony-Garnock-Jones.html -------------------------------------------------------------------------------- /blog/author_redirects/by-William-J-Bowman.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-William-J-Bowman.html -------------------------------------------------------------------------------- /blog/author_redirects/by-Zeina-Migeed.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/author_redirects/by-Zeina-Migeed.html -------------------------------------------------------------------------------- /blog/frog.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/frog.rkt -------------------------------------------------------------------------------- /blog/static/datalog-for-static-analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/datalog-for-static-analysis.pdf -------------------------------------------------------------------------------- /blog/static/dyn-cats.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/dyn-cats.pdf -------------------------------------------------------------------------------- /blog/static/redex-faq.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/redex-faq.rkt -------------------------------------------------------------------------------- /blog/static/refinement_types_bib.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/refinement_types_bib.pdf -------------------------------------------------------------------------------- /blog/static/refinement_types_lecture.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/refinement_types_lecture.pdf -------------------------------------------------------------------------------- /blog/static/scott-69-93-type-theoretical-alternative.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/scott-69-93-type-theoretical-alternative.pdf -------------------------------------------------------------------------------- /blog/static/scott-80-relating-theories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/scott-80-relating-theories.pdf -------------------------------------------------------------------------------- /blog/static/soft-typing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/soft-typing.pdf -------------------------------------------------------------------------------- /blog/static/stack-languages-annotated-bib.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/stack-languages-annotated-bib.pdf -------------------------------------------------------------------------------- /blog/static/stack-languages-talk-notes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/stack-languages-talk-notes.pdf -------------------------------------------------------------------------------- /blog/static/warren-center-meetings-and-retreats.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/static/warren-center-meetings-and-retreats.pdf -------------------------------------------------------------------------------- /blog/utils/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/blog/utils/utils.rkt -------------------------------------------------------------------------------- /contact.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/contact.rkt -------------------------------------------------------------------------------- /css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/css/bootstrap.min.css -------------------------------------------------------------------------------- /css/custom.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/css/custom.css -------------------------------------------------------------------------------- /css/pygments.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/css/pygments.css -------------------------------------------------------------------------------- /css/racket.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/css/racket.css -------------------------------------------------------------------------------- /css/scribble.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/css/scribble.css -------------------------------------------------------------------------------- /deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/deploy.sh -------------------------------------------------------------------------------- /fonts/glyphicons-halflings-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/fonts/glyphicons-halflings-regular.eot -------------------------------------------------------------------------------- /fonts/glyphicons-halflings-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/fonts/glyphicons-halflings-regular.svg -------------------------------------------------------------------------------- /fonts/glyphicons-halflings-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/fonts/glyphicons-halflings-regular.ttf -------------------------------------------------------------------------------- /fonts/glyphicons-halflings-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/fonts/glyphicons-halflings-regular.woff -------------------------------------------------------------------------------- /fonts/glyphicons-halflings-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/fonts/glyphicons-halflings-regular.woff2 -------------------------------------------------------------------------------- /frog.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/frog.rkt -------------------------------------------------------------------------------- /gtp/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/gtp/index.html -------------------------------------------------------------------------------- /img/1x1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/1x1.gif -------------------------------------------------------------------------------- /img/2016-day-slide-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/2016-day-slide-3.png -------------------------------------------------------------------------------- /img/2016-day-slide-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/2016-day-slide-4.png -------------------------------------------------------------------------------- /img/2016-day-slide-8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/2016-day-slide-8.png -------------------------------------------------------------------------------- /img/Andersen_Leif_linderpix-NEU-55638-high res.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Andersen_Leif_linderpix-NEU-55638-high res.jpg -------------------------------------------------------------------------------- /img/Andrew-square.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Andrew-square.jpg -------------------------------------------------------------------------------- /img/Benjamin-Chung-Index-Image.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Benjamin-Chung-Index-Image.jpg -------------------------------------------------------------------------------- /img/Clinger.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Clinger.jpg -------------------------------------------------------------------------------- /img/Farideh_khalili.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Farideh_khalili.jpg -------------------------------------------------------------------------------- /img/Katherine_Hough.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Katherine_Hough.png -------------------------------------------------------------------------------- /img/Samuel-Caldwell-Index-Image.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/Samuel-Caldwell-Index-Image.jpg -------------------------------------------------------------------------------- /img/a-few-cores-too-many-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/a-few-cores-too-many-1.png -------------------------------------------------------------------------------- /img/a-few-cores-too-many-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/a-few-cores-too-many-2.png -------------------------------------------------------------------------------- /img/a-few-cores-too-many-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/a-few-cores-too-many-3.png -------------------------------------------------------------------------------- /img/aaron_weiss.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/aaron_weiss.jpg -------------------------------------------------------------------------------- /img/alexi_turcotte_small.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/alexi_turcotte_small.jpg -------------------------------------------------------------------------------- /img/amal-old.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/amal-old.jpg -------------------------------------------------------------------------------- /img/amal.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/amal.jpg -------------------------------------------------------------------------------- /img/andrew_wagner.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/andrew_wagner.jpg -------------------------------------------------------------------------------- /img/anon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/anon.png -------------------------------------------------------------------------------- /img/arjun_guha.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/arjun_guha.png -------------------------------------------------------------------------------- /img/artem_pelenitsyn.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/artem_pelenitsyn.jpg -------------------------------------------------------------------------------- /img/asumu_takikawa.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/asumu_takikawa.jpg -------------------------------------------------------------------------------- /img/aviral-goel.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/aviral-goel.jpeg -------------------------------------------------------------------------------- /img/background-2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/background-2.jpg -------------------------------------------------------------------------------- /img/background.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/background.jpg -------------------------------------------------------------------------------- /img/ballantyne.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ballantyne.jpg -------------------------------------------------------------------------------- /img/ben_greenman.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ben_greenman.jpg -------------------------------------------------------------------------------- /img/ben_lerner.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ben_lerner.jpg -------------------------------------------------------------------------------- /img/benjamin_chung.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/benjamin_chung.jpg -------------------------------------------------------------------------------- /img/blern.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/blern.png -------------------------------------------------------------------------------- /img/cameron_camoy.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/cameron_camoy.jpg -------------------------------------------------------------------------------- /img/celeste_hollenbeck.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/celeste_hollenbeck.jpg -------------------------------------------------------------------------------- /img/chris-martens.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/chris-martens.png -------------------------------------------------------------------------------- /img/complete-monitoring-0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/complete-monitoring-0.png -------------------------------------------------------------------------------- /img/complete-monitoring-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/complete-monitoring-1.png -------------------------------------------------------------------------------- /img/conrad_zimmerman.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/conrad_zimmerman.jpg -------------------------------------------------------------------------------- /img/cs7600-mhyee-survey-paper-osr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/cs7600-mhyee-survey-paper-osr.pdf -------------------------------------------------------------------------------- /img/d-thesis-1984.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/d-thesis-1984.pdf -------------------------------------------------------------------------------- /img/daniel_patterson.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/daniel_patterson.jpg -------------------------------------------------------------------------------- /img/di_zhong.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/di_zhong.jpg -------------------------------------------------------------------------------- /img/donald_pinckney.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/donald_pinckney.jpg -------------------------------------------------------------------------------- /img/dynjs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/dynjs.png -------------------------------------------------------------------------------- /img/ellen_arteca_small.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ellen_arteca_small.jpg -------------------------------------------------------------------------------- /img/essentials-of-programming-languages.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/essentials-of-programming-languages.jpg -------------------------------------------------------------------------------- /img/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/favicon.ico -------------------------------------------------------------------------------- /img/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/favicon.png -------------------------------------------------------------------------------- /img/feed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/feed.png -------------------------------------------------------------------------------- /img/fiji.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/fiji.gif -------------------------------------------------------------------------------- /img/fillip_krikava.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/fillip_krikava.jpg -------------------------------------------------------------------------------- /img/frank_tip.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/frank_tip.jpg -------------------------------------------------------------------------------- /img/franlucc.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/franlucc.jpg -------------------------------------------------------------------------------- /img/g-thesis-1972.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/g-thesis-1972.pdf -------------------------------------------------------------------------------- /img/gabriel_scherer.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gabriel_scherer.jpg -------------------------------------------------------------------------------- /img/gls-trees-poem-1979.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gls-trees-poem-1979.pdf -------------------------------------------------------------------------------- /img/gtsurvey-example-behaviors.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gtsurvey-example-behaviors.png -------------------------------------------------------------------------------- /img/gtsurvey-example-data.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gtsurvey-example-data.png -------------------------------------------------------------------------------- /img/gtsurvey-example-program.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gtsurvey-example-program.png -------------------------------------------------------------------------------- /img/gtsurvey-example-question.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gtsurvey-example-question.png -------------------------------------------------------------------------------- /img/gwenyth_lincroft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/gwenyth_lincroft.png -------------------------------------------------------------------------------- /img/harshit_garg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/harshit_garg.jpg -------------------------------------------------------------------------------- /img/heather_miller.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/heather_miller.jpg -------------------------------------------------------------------------------- /img/how-to-design-programs.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/how-to-design-programs.jpg -------------------------------------------------------------------------------- /img/hyeyoung_shin.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/hyeyoung_shin.jpg -------------------------------------------------------------------------------- /img/intro-visr/full-count.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/full-count.png -------------------------------------------------------------------------------- /img/intro-visr/insert.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/insert.png -------------------------------------------------------------------------------- /img/intro-visr/sig.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/sig.png -------------------------------------------------------------------------------- /img/intro-visr/simpl-count.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/simpl-count.png -------------------------------------------------------------------------------- /img/intro-visr/visr-and-text.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/visr-and-text.png -------------------------------------------------------------------------------- /img/intro-visr/visr-open.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/visr-open.png -------------------------------------------------------------------------------- /img/intro-visr/visr.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/intro-visr/visr.png -------------------------------------------------------------------------------- /img/james_perretta.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/james_perretta.jpg -------------------------------------------------------------------------------- /img/jan_vitek.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/jan_vitek.jpg -------------------------------------------------------------------------------- /img/jhemann.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/jhemann.jpg -------------------------------------------------------------------------------- /img/joe_sackett.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/joe_sackett.jpg -------------------------------------------------------------------------------- /img/john_boyland.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/john_boyland.jpg -------------------------------------------------------------------------------- /img/john_gouwar.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/john_gouwar.jpg -------------------------------------------------------------------------------- /img/john_h_reppy.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/john_h_reppy.jpg -------------------------------------------------------------------------------- /img/john_li.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/john_li.jpg -------------------------------------------------------------------------------- /img/jon_bell.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/jon_bell.jpg -------------------------------------------------------------------------------- /img/jonathan_schuster.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/jonathan_schuster.jpg -------------------------------------------------------------------------------- /img/josh.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/josh.jpg -------------------------------------------------------------------------------- /img/julia_belyakova.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/julia_belyakova.jpg -------------------------------------------------------------------------------- /img/justin_slepak.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/justin_slepak.jpg -------------------------------------------------------------------------------- /img/karl_lieberherr.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/karl_lieberherr.jpg -------------------------------------------------------------------------------- /img/kevin-crop.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/kevin-crop.jpg -------------------------------------------------------------------------------- /img/kffd-tr-1986.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/kffd-tr-1986.pdf -------------------------------------------------------------------------------- /img/konrad.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/konrad.jpg -------------------------------------------------------------------------------- /img/l-plp-1965.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/l-plp-1965.pdf -------------------------------------------------------------------------------- /img/larceny.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/larceny.png -------------------------------------------------------------------------------- /img/leif_andersen.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/leif_andersen.jpg -------------------------------------------------------------------------------- /img/liam_devoe.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/liam_devoe.jpg -------------------------------------------------------------------------------- /img/littles.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/littles.gif -------------------------------------------------------------------------------- /img/luis_garcia.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/luis_garcia.jpg -------------------------------------------------------------------------------- /img/m-jcss-1978.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/m-jcss-1978.pdf -------------------------------------------------------------------------------- /img/m-thesis-1969.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/m-thesis-1969.pdf -------------------------------------------------------------------------------- /img/matthias_felleisen.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/matthias_felleisen.jpg -------------------------------------------------------------------------------- /img/max_bernstein.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/max_bernstein.png -------------------------------------------------------------------------------- /img/max_new.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/max_new.jpg -------------------------------------------------------------------------------- /img/michelle_thalakottur.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/michelle_thalakottur.jpg -------------------------------------------------------------------------------- /img/mitch_wand.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/mitch_wand.jpg -------------------------------------------------------------------------------- /img/mixed-typed-systems-by-year.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/mixed-typed-systems-by-year.png -------------------------------------------------------------------------------- /img/nall-continuations-1983.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/nall-continuations-1983.pdf -------------------------------------------------------------------------------- /img/nate_yazdani.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/nate_yazdani.jpg -------------------------------------------------------------------------------- /img/olek_gierczak.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/olek_gierczak.jpg -------------------------------------------------------------------------------- /img/olin_shivers.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/olin_shivers.jpg -------------------------------------------------------------------------------- /img/olivier_fluckiger.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/olivier_fluckiger.jpg -------------------------------------------------------------------------------- /img/p-sigcomm-1985.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/p-sigcomm-1985.pdf -------------------------------------------------------------------------------- /img/p-tr-1971.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/p-tr-1971.pdf -------------------------------------------------------------------------------- /img/paleyli.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/paleyli.jpg -------------------------------------------------------------------------------- /img/paul_stansifer.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/paul_stansifer.jpg -------------------------------------------------------------------------------- /img/pliss2017-1-thumb.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/pliss2017-1-thumb.jpg -------------------------------------------------------------------------------- /img/pliss2017-1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/pliss2017-1.jpg -------------------------------------------------------------------------------- /img/pliss2017-2-thumb.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/pliss2017-2-thumb.jpg -------------------------------------------------------------------------------- /img/pliss2017-2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/pliss2017-2.jpg -------------------------------------------------------------------------------- /img/pliss_summer_school_2017_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/pliss_summer_school_2017_logo.png -------------------------------------------------------------------------------- /img/prl-bg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/prl-bg.png -------------------------------------------------------------------------------- /img/prl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/prl.png -------------------------------------------------------------------------------- /img/r-cp-1974.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/r-cp-1974.pdf -------------------------------------------------------------------------------- /img/racket-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/racket-logo.png -------------------------------------------------------------------------------- /img/racket.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/racket.jpg -------------------------------------------------------------------------------- /img/redex.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/redex.jpg -------------------------------------------------------------------------------- /img/ryan_culpepper.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ryan_culpepper.jpg -------------------------------------------------------------------------------- /img/ryan_doenges.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ryan_doenges.jpg -------------------------------------------------------------------------------- /img/saba.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/saba.jpg -------------------------------------------------------------------------------- /img/sam_caldwell.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/sam_caldwell.jpg -------------------------------------------------------------------------------- /img/sam_stites.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/sam_stites.jpg -------------------------------------------------------------------------------- /img/satyajit_gokhale.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/satyajit_gokhale.jpg -------------------------------------------------------------------------------- /img/separator-2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/separator-2.jpg -------------------------------------------------------------------------------- /img/separator.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/separator.jpg -------------------------------------------------------------------------------- /img/shubh_agrawal.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/shubh_agrawal.jpg -------------------------------------------------------------------------------- /img/sicm.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/sicm.pdf -------------------------------------------------------------------------------- /img/ss-tr-1975.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ss-tr-1975.pdf -------------------------------------------------------------------------------- /img/stephen_chang.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/stephen_chang.jpg -------------------------------------------------------------------------------- /img/steven_holtzen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/steven_holtzen.png -------------------------------------------------------------------------------- /img/tony_jones.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/tony_jones.jpg -------------------------------------------------------------------------------- /img/u-sde-1984.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/u-sde-1984.pdf -------------------------------------------------------------------------------- /img/up-arrow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/up-arrow.png -------------------------------------------------------------------------------- /img/vadym_matviichuk.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/vadym_matviichuk.jpg -------------------------------------------------------------------------------- /img/vector-chaperone-0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/vector-chaperone-0.png -------------------------------------------------------------------------------- /img/vector-chaperone-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/vector-chaperone-1.png -------------------------------------------------------------------------------- /img/william_bowman.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/william_bowman.jpg -------------------------------------------------------------------------------- /img/yee-crop.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/yee-crop.jpg -------------------------------------------------------------------------------- /img/ytzi.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/img/ytzi.jpg -------------------------------------------------------------------------------- /index.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/index.rkt -------------------------------------------------------------------------------- /install-racket.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/install-racket.sh -------------------------------------------------------------------------------- /js/analytics.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/js/analytics.js -------------------------------------------------------------------------------- /js/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/js/bootstrap.min.js -------------------------------------------------------------------------------- /js/custom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/js/custom.js -------------------------------------------------------------------------------- /new-members.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/new-members.rkt -------------------------------------------------------------------------------- /people.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/people.rkt -------------------------------------------------------------------------------- /publication-data.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/publication-data.rkt -------------------------------------------------------------------------------- /publications.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/publications.rkt -------------------------------------------------------------------------------- /robots.txt: -------------------------------------------------------------------------------- 1 | User-agent: * 2 | -------------------------------------------------------------------------------- /seminar-notes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/seminar-notes/README.md -------------------------------------------------------------------------------- /seminar-notes/chris-goblins-and-spritely.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/seminar-notes/chris-goblins-and-spritely.txt -------------------------------------------------------------------------------- /seminar-notes/new-retractionsblame.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/seminar-notes/new-retractionsblame.md -------------------------------------------------------------------------------- /seminar-notes/sherman-patterns.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/seminar-notes/sherman-patterns.md -------------------------------------------------------------------------------- /seminars.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/seminars.rkt -------------------------------------------------------------------------------- /snake.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/snake.html -------------------------------------------------------------------------------- /software.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/software.rkt -------------------------------------------------------------------------------- /teaching.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/teaching.rkt -------------------------------------------------------------------------------- /templates.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/templates.rkt -------------------------------------------------------------------------------- /utils/pub-helpers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nuprl/website/HEAD/utils/pub-helpers.rkt --------------------------------------------------------------------------------