© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Aldor meets Haskell
Chris Ryder and Simon Thompson
Technical Report 15-99, Computing Laboratory, University of Kent, October 1999.Abstract
As part of a project to include reasoning capabilities in the Aldor computer algebra system it is necessary to modify the type checking algorithm in Aldor. This paper reports on work to write Aldor abstract syntax trees as elements of Haskell data types, and to implement a prototype modified type checker for Aldor in Haskell.
Download publication 132 kbytes (PostScript)Bibtex Record
@techreport{894, author = {Chris Ryder and Simon Thompson}, title = {Aldor meets {H}askell}, month = {October}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/894}, institution = {Computing Laboratory, University of Kent}, number = {15-99}, type = {Technical Report}, }