Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Functional Programming
Abstract Datatypes for Real Numbers in Type Theory
Abstract Datatypes for Real Numbers in Type Theory
A Type-theoretic Foundation for Programming with
A Type-theoretic Foundation for Programming with
A System Design Methodology Based on a Formal Computational Model Wenbiao Wu
A System Design Methodology Based on a Formal Computational Model Wenbiao Wu
C++ Program Design: Laboratory Manual & Lecture Notes
C++ Program Design: Laboratory Manual & Lecture Notes
A Semantic Model for Graphical User Interfaces
A Semantic Model for Graphical User Interfaces
A Reconfigurable Architecture for Load-Balanced Rendering Jiawen Chen
A Reconfigurable Architecture for Load-Balanced Rendering Jiawen Chen
Apriori Algorithm for Movie Recommendations
Apriori Algorithm for Movie Recommendations
A Parallel Virtual Machine for Bulk Synchronous Parallel ML
A Parallel Virtual Machine for Bulk Synchronous Parallel ML
A note on linearization methods and dynamic programming
A note on linearization methods and dynamic programming
A Linearly Typed Assembly Language James Cheney Greg Morrisett Cornell University
A Linearly Typed Assembly Language James Cheney Greg Morrisett Cornell University
A functional program to play 3-D Noughts-and-Crosses
A functional program to play 3-D Noughts-and-Crosses
A First Look at ML
A First Look at ML
A First Look at ML
A First Look at ML
A Core Calculus of Dependency
A Core Calculus of Dependency
8. Fixed Points
8. Fixed Points
Announcements HW9: Java concurrency Questions? Due Wednesday 6PM
Announcements HW9: Java concurrency Questions? Due Wednesday 6PM
Ann. Funct. Anal. 3 (2012), no. 1, 49–66
Ann. Funct. Anal. 3 (2012), no. 1, 49–66
Analog Devices - Embedded Computing Design
Analog Devices - Embedded Computing Design
Assessments of Functional Skills - Florida Department of Education
Assessments of Functional Skills - Florida Department of Education
ACM_CS_SDF - School of Computing and Information Sciences
ACM_CS_SDF - School of Computing and Information Sciences
C & GUI Programming with GTK 3 Textbook
C & GUI Programming with GTK 3 Textbook
An ML Implementation of the Dependently Typed Lambda Calculus
An ML Implementation of the Dependently Typed Lambda Calculus
Functional Programming via Lambda Calculus: An Introduction
Functional Programming via Lambda Calculus: An Introduction
AN ABSTRACT OF THE THESIS OF
AN ABSTRACT OF THE THESIS OF