External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Functional programming and theorem proving for undergraduates: a progress report

Rex L. Page, Carl Eastlund, Matthias Felleisen. Functional programming and theorem proving for undergraduates: a progress report. In Frank Huch, Adam Parkin, editors, Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. pages 21-30, ACM, 2008. [doi]

Authors

Rex L. Page

This author has not been identified. Look up 'Rex L. Page' in Google

Carl Eastlund

This author has not been identified. Look up 'Carl Eastlund' in Google

Matthias Felleisen

Identified as Matthias Felleisen
runs on