책 이미지
eBook 미리보기
책 정보
· 제목 : Advanced Functional Programming: 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, Revised Lectures (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 알고리즘
· ISBN : 9783642046513
· 쪽수 : 331쪽
· 출판일 : 2009-09-23
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 알고리즘
· ISBN : 9783642046513
· 쪽수 : 331쪽
· 출판일 : 2009-09-23
목차
Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Programming in Agda.- A Tutorial on Parallel and Concurrent Programming in Haskell.- An iTask Case Study: A Conference Management System.
