지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. 서론
2. 복합형(Polymorphic) 프로그램
3. 타입이 중복(Overloading)된 프로그램
4. Haskell의 타입 클래스(Type Class)
5. 고차 Hindley/Milner 타입 시스템
6. Gofer의 결합자(Constructor)클래스
7. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
[기술해설]프로그래밍언어에서의 타입 시스템의 역할
정보과학회지
1997 .01
[기술해설]Standard ML 프로그래밍
정보과학회지
1997 .01
[기술해설]제한 논리 프로그래밍언어
정보과학회지
1997 .01
[기술해설]Rewriting 기반 프로그래밍
정보과학회지
1997 .01
[특집/기술해설] 소프트웨어 모델과 사양기술, 프로그래밍 구조
텔레콤
1994 .06
해설
주택과 사람들
2000 .01
[기술해설]분산 개발 환경에서의 객체지향 시각 프로그래밍
정보과학회지
1996 .10
[기술해설]실시간 시스템 모형
정보과학회지
1996 .08
[기술해설]분석적 학습
정보과학회지
1995 .05
[기술해설]시스템 독립적인 병렬 프로그래밍 언어 High Performance Fortran
정보과학회지
1995 .07
[기술해설]분산 시스템 관리 기술
정보과학회지
1996 .01
[기술해설]분산 시스템 관리 기술
정보과학회지
1994 .11
시각 프로그래밍 기술
한국통신학회지(정보와통신)
1994 .05
귀납적 자료형의 이진화를 이용한 타입 레벨 프로그래밍 간소화
한국정보과학회 학술발표논문집
2006 .10
[기술해설]알고리즘 설계 기법
정보과학회지
1994 .02
[기술해설]지능형 교육시스템
정보과학회지
1994 .10
흙의 구성식 해설 (V)
대한토질공학회지
1988 .03
[기술해설]의료와 인테넷
정보과학회지
1998 .12
[기술해설]교육용 멀티미디어 개발을 위한 체계적 접근
정보과학회지
1994 .07
[특집/기술해설]차세대 광 네트워크 기술
텔레콤
2002 .06
0