Caml-S

This page is about Caml-S, a term-rewriting system in O'Caml based on System S.

Introduction

After implementing System S in Scheme, I decided it would be nice to do so in O'Caml. I have to admite, in this case, types really do get in the way, but we can surmount this with a bit of messy encoding and lots of error-checking. I've only hacked up a few small examples, but it seems like it might be useful.

News

• 2006-03-07–First version available.

Intended Uses

Caml-S is quite experimental. I have no idea what you might want to use it for; it's more of a fun toy than anything else. (Do let me know if you use it for something, though!)

Download

• Caml-S is open-source; the only available download is the O'Caml source:
  • source (tgz) (version-5)

More Information

Well, there's really no more information available for the time being, sorry! Please check back soon, though, or e-mail me if you have specific questions.