© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Denotational Semantics for Teaching Lazy Functional Programming
Olaf Chitil
In Proceedings of the Workshop on Functional and Declarative Programming in Education, Technical Report TR99-346, pages 182-196. Rice University Compter Science, 1999. Download publication 14 kbytes (PDF)Bibtex Record
@inproceedings{1902, author = {Olaf Chitil}, title = {{Denotational Semantics for Teaching Lazy Functional Programming}}, month = {unknown}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/1902}, publication_type = {inproceedings}, submission_id = {20617_1083666539}, other_year = {1999}, booktitle = {Proceedings of the Workshop on Functional and Declarative Programming in Education}, series = {Technical Report TR99-346}, organization = {Rice University Compter Science}, }