archives

Browse by Subject: Applicative (Functional) Programming


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 5 entries

Dorn, Brian (2005) Design and implementation of a reusable type inference engine and its application to Scheme. Technical Report 05-16, Department of Computer Science, Iowa State University.

Dorn, Brian and Leavens, Gary T. (2007) A Framework for Implementing Type Systems. Technical Report TR#07-12, Computer Science, Iowa State University.

Leavens, Gary T. (2006) Following the Grammar. Technical Report 95-02, Computer Science, Iowa State University.

Leavens, Gary T. (2005) Following the Grammar. Technical Report 05-02, Computer Science, Iowa State University.

Leavens, Gary T., Clifton, Curtis and Dorn, Brian (2005) A Type Notation for Scheme. Technical Report 05-18, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu