This site will look much better in a browser that supports web standards, but it is accessible to any browser or Internet device.

Skip Navigation skip menu and banner
University of Wyoming UW Home | Wyo Web | About UW | Apply | A-Z Directory | Phone/E-mail | Search UW
Josef Pohl to present a poster at ICFP 2008 in Victoria, B.C.

Computer Science

Josef Pohl will present his poster Monadic Programming through Program Extraction at ICFP 2008:The 13th ACM SIGPLAN International Conference on Functional Programming to be held in Victoria, British Columbia, Canada on September 22-24. Joe's talk will explain how to extract monadic code from formal proofs. Joe is a Ph.D. student in the Computer Science at the University of Wyoming and is working on extracting programs from proofs in constructive type theory.


University of Wyoming
College of Engineering and Applied Science
Dept. 3295
1000 E. University Ave.
Laramie, WY 82071
(307)766-4253
email: enginfo@uwyo.edu
map