DocumentCode
15677
Title
Reasoning About Higher-Order Functions and Parameters
Author
Mahmut Kandemir استاد مشاور , Ali Hurson استاد مشاور , John Hannan استاد راهنما
University
The Pennsylvenia State University
Grade
نامعلوم
Major
PhD )Computer Science and Engineering(
Number of pages
0
Publish Date
2005
Keyword
Functional Programming , program transformation , type-based analysis , programming languages
Note
01
Language
انگليسي
Link To Document