조교팀 홈페이지

• 2010-11-25 숙제8이 나왔습니다.
• 2010-11-18 숙제7이 나왔습니다.
• 2010-11-08 숙제6이 나왔습니다.
• 2010-10-21 숙제5가 나왔습니다.
• 2010-10-13 숙제4이 나왔습니다.
• 2010-09-28 숙제3이 나왔습니다.
• 2010-09-20 숙제2가 나왔습니다.
• 2010-09-06 숙제1이 나왔습니다.
• 2010-09-01 공지사항을 RSS로도 제공합니다.

  RSS 수집기를 사용하는 학생들의 편의를 위해 조교팀 홈페이지를 방문하지 않고도 공지사항을 확인할 수 있도록 같은 내용을 RSS로도 제공합니다.

• 2010-09-01 조교팀 홈페이지를 열었습니다.

질문/답변

매주 월/수요일 16:45부터 18:00분 사이가 질문 답변 시간입니다. 궁금한 점이 있으시면 해당 시간에 302동 312-2호 프로그래밍 연구실로 오세요. 물론 사전 연락 후 다른 시간에 오셔도 됩니다.

참고문서

-OCaml

• OCaml 홈페이지
• OCaml 첫걸음
• OCaml reference
• OCaml style guide
• Ocaml tutorial
• Introduction to Objective Caml. Jason Hickey.
• 예제
  • hello.ml: hello world!
  • sieve.ml: 2부터 1000까지 소수를 출력하는 프로그램
  • intstack.ml: 정수 스택
  • stack.ml: 일반적인 스택
  • calc.ml: 계산기

• HW1: OCaml exercise I. Due 9/15 24:00.
• HW2: OCaml exercise II. Evaluation. Due 9/26 24:00.
• HW3: Essay, K- interpreter, K- pgming. Due 10/08 24:00.
• semantics
• skeleton
• HW4: K-- to SM5 translator. SM5 semi-garbage-collection. Due 10/20 24:00.
• skeleton
• HW5: Lambda calculus reducer. Translating applicative language to Lambda calculs. Due 10/30 24:00.
• 5-1 skeleton
• 5-2 skeleton
• HW6: Essay II, M interpreter, simply typed M. Due 11/15 24:00(program), 11/17 15:30(essay).
• M definition
• skeleton
• HW7: Polymorphically typed M. Due 11/26 24:00.
• skeleton
• HW8: Recursive data-typed M. Due 12/03 24:00.

제출

• 웹 페이지를 통해 제출합니다.
• 숙제 제출 유의사항
• 처음 사용자는 등록기간내에 등록해주세요.