hopl-s2017
History of Programming Languages, Spring 2017
파일 탐색기
최종 버전 다운로드 (.zip)- course.css
- -The Lady From Shanghai- Funhouse mirrors 1947 HD - YouTube.url
- Dimoulas-Wand-vmcai-09.pdf
- index.html
- Mitgaard-csurveys-12.pdf
- My Questions - Spring 91.pdf
- Notes on Control Flow Analysis 1992 02 10.pdf
- page615.pdf
- Palsberg-Wand-jfp-03.pdf
- shivers-pldi-91.pdf
- Slides.pdf
- Slides.pptx
- talk-notes.txt
- Wand-Clinger-iccl-98.pdf
- wand-clinger-jfp-01.pdf
- Wand-Siveroni-popl-99.pdf
- Wand-Steckler-popl-94.pdf
- scott-69-93-type-theoretical-alternative.pdf
- scott-71-continuous-lattices.pdf
- scott-76-datatypes-as-lattices.pdf
- scott-80-relating-theories.pdf
- smyth-plotkin-82-Category_Theoretic_Solution.pdf
- wand-77-fixed-point-constructions.pdf
- dyn-cats.bib
- dyn-cats.pdf
- dyn-cats.tex
- Makefile
- timeline.jpg
- actors.md
- Carriero et al. - 1994 - The Linda alternative to message-passing systems.pdf
- channels.md
- index.md
- monitors.md
- tuplespaces.md
- annotated.pdf
- annotated.tex
- datalog-for-static-analysis.bib
- datalog-for-static-analysis.pdf
- datalog-for-static-analysis.tex
- def.tex
- fig-bb.tex
- fig-eq.tex
- fig-rd.tex
- Makefile
- notes.org
- hopl-ownership.pdf
- morris-dissertation.pdf
- clinger1997Fig1.html
- clinger1997figure1.png
- clinger2006Fig1.html
- clinger2006Fig10.html
- clinger2006Fig11.html
- clinger2006Fig3.html
- clinger2006Fig4.html
- clinger2006Fig5.html
- clinger2006Fig6.html
- clinger2006Fig7.html
- clinger2006Fig8.html
- clinger2006Fig9.html
- clinger2006figure1.png
- clinger2006figure10.png
- clinger2006figure11.png
- clinger2006figure3.png
- clinger2006figure4.png
- clinger2006figure5.png
- clinger2006figure6.png
- clinger2006figure7.png
- clinger2006figure8.png
- clinger2006figure9.png
- clinger2011Fig4.html
- clinger2011figure4.png
- cs5010.css
- index.html
- mainTheorem.html
- mainTheorem.png
- zornFig1.html
- zornFig2.html
- zornFigure1.png
- zornFIgure2.png
- df-pldi-2001.pdf
- fd-pldi-2002.pdf
- t-popl-2017.pdf
- 2017-01-10.md
- 2017-01-24.md
- 2017-01-27.md
- 2017-01-31.md
- 2017-02-03.md
- 2017-02-14.md
- 2017-02-24.md
- 2017-02-28.md
- 2017-03-17.md
- 2017-03-24.md
- 2017-03-28.md
- 2017-04-04.md
- 2017-04-07.md
- 2017-04-14.md
- 2017-04-18.md
- README.md
- ezyang-part-1.pdf
- ezyang-part-2.pdf
- ezyang-part-3.pdf
- ezyang-part-4.pdf
- ezyang-part-5.pdf
- README.md
- skorstengaard.pdf
- README.md
- ecoop2005.pdf
- oopsla2003.pdf
- Sound_and_Extensible_Renaming_for_Java copy.pdf
- SteimannThies-ECOOP2009.pdf
- tse2012JL.pdf
- annotated_bib.pdf
- refinement_types_lecture.pdf
- flatten.rkt
- mycroft.ml
- mycroft.rkt
- wright-frequency.pdf
- wright-runtime-1.pdf
- wright-runtime-2.pdf
- wright-spacetime.pdf
- awl-popl-1994.pdf
- f-thesis-1991.pdf
- h-lfp-1992.pdf
- m-icop-1984.pdf
- r-popl-1989.pdf
- t-popl-1990.pdf
- w-thesis-1994.pdf
- .gitignore
- annotated.pdf
- annotated.tex
- def.tex
- Makefile
- mathpartir.sty
- README.md
- soft-typing.bib
- soft-typing.pdf
- soft-typing.tex
- annotated.txt
- Gal06_Trace_Trees.pdf
- notes.pdf
- annotated-bib.pdf
- minijoy.pdf
- talk-notes.pdf
- TalkOutline.pdf
- .gitignore
- README.md
# 설치 가이드
1. 코드 내려받기
git clone https://github.com/nuprl/hopl-s2017
깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.
cd hopl-s2017
방금 내려받은 프로젝트 폴더 안으로 이동합니다.
2. Make
보통 추천사전 준비물
- Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
- Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
cd categories-and-dynamic-typing
이 프로젝트의 관련 파일이 하위 폴더 안에 있어서, 먼저 그 폴더로 이동합니다.
make
생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.
에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.
// repository documentation
Was this content helpful?
(0 ratings)
