Browse > Article

함수형 프로그래밍 기술을 이용한 프로그램 합성 방법  

변석우 (경성대학교)
도경구 (한양대학교)
정주희 (경북대학교)
배민오 (동덕여자대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.21, no.1, 2003 , pp. 22-28 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 /
[ Paul Hudak ] / The Haskell School of Expression : Learning Functional Programming Through Multimedia
2 A theory of type polymorphism in programming /
[ Robin Milner ] / Journal of Computer and System Science
3 /
[] / Haskell 언어 홈 페이지
4 Term rewriting systems /
[ J.W. Klop;Abramsky(et al.)(ed.) ] / Handbook of Logic in Computer Science
5 /
[ H. Barendregt ] / The Lambda Calculus : Its Syntax and Semantics
6 Comprehending Monads /
[ P. Wadler ] / Proc-eedings of Symposium on Lisp and Funct-ional Programming
7 Why functional programming mattes /
[ John Hughes ] / Computer Journal
8 /
[] / Cornal Eliott의 Fran 홈 페이지
9 /
[] / Erlang 언어 홈 페이지
10 Composing contracts: an adventure in financial engineering /
[ Simon Peyton Joes;Jean-Marc Eber;Julian Seward ] / Proc. of International Conference on Functional Programming
11 /
[] / Mondrian 스크립트 언어 홈 페이지
12 Scripting COM Components in Haskell /
[ Simon Peyton Jones;Erik Meijer;Daan Leijen ] / Proc. International Conference on Software Reuse
13 A proposal for Standard ML /
[ Robin Milner ] / Proc. of ACM Symposium on Lisp and Functional Programming
14 /
[] / 함수형 프로그래밍에 대한 FAQ