책 이미지
eBook 미리보기
책 정보
· 제목 : Advanced Functional Programming: 5th International School, Afp 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures (Paperback, Revised)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540285403
· 쪽수 : 362쪽
· 출판일 : 2005-09-15
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540285403
· 쪽수 : 362쪽
· 출판일 : 2005-09-15
목차
Typing Haskell with an Attribute Grammar.- Programming with Arrows.- Epigram: Practical Programming with Dependent Types.- Combining Datatypes and Effects.- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.- A Functional Shell That Operates on Typed and Compiled Applications.- Declarative Debugging with Buddha.- Server-Side Web Programming in WASH.- Refactoring Functional Programs.
