Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Page, Rex L. - School of Computer Science, University of Oklahoma
defstructure for ACL2 Version 2.0 Bishop Brock
Functional Programming Functional programming, and where you can put it 1
Computational Logic in the Undergraduate Curriculum University of Oklahoma
Applied Logic for Hardware and Software Rex Page University of Oklahoma
On Computer Science What computer science delivers, has delivered, and is continu-
Software is Discrete Mathematics University of Oklahoma
Selling Haskell for CS1 September 22, 1999 1 Selling Haskell for CS1
Exploring the .BMP File Format Don Lancaster
Engineering Analysis do your algebra first
J. Functional Programming 17 (6): 675-686, November 2007 c Cambridge University Press 1 EDUCATIONAL PEARL
CS 4263 --SOFTWARE ENGINEERING I --FALL 2005 November 17, 2005 3:52 pm
Property-Based Testing: a Catalog of Classroom Examples
