Loading...
Please wait, while we are loading the content...
Similar Documents
FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report
| Content Provider | Semantic Scholar |
|---|---|
| Author | Pitts, Andrew M. |
| Copyright Year | 2005 |
| Abstract | The FreshML project made a fundamental and rigorouslyfounded extension to functional programming languages. The extension has to do with metaprogramming, the activity of creating software systems that manipulate syntactical structures (interpreters, compilers, proof checkers, proof assistants, etc). In all but the most trivial cases, these syntactical structures involve name binding, with associated notions of free and bound names, renaming of bound names, substitution of terms for free variables, and so on. It is generally agreed that this important aspect of representing and computing with syntax is not catered for satisfactorily in existing functional programming languages commonly used for metaprogramming activities. The project addressed this issue by developing and applying a new mathematical model of names and binding called inominal setsi, based on simple, but subtle ideas to do with permutations of names that r st arose in mathematical logic in the 1930s. This model was the basis for the design of a iFreshi patch of the Objective Caml functional language that relieves the user from having to deal with many tedious and error-prone details when programming with names and binders, while still remaining close to informal practice. The project also explored applications of nominal sets for programming language semantics and for logic programming. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cl.cam.ac.uk/users/amp12/research/freshml/freshml-final-report.pdf |
| Alternate Webpage(s) | http://www.cl.cam.ac.uk/~amp12/freshml/freshml-final-report.pdf |
| Alternate Webpage(s) | http://www.cl.cam.ac.uk/~amp12/research/freshml/freshml-final-report.pdf |
| Alternate Webpage(s) | https://www.cl.cam.ac.uk/~amp12/research/freshml/freshml-final-report.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
