M. R. Shinwell and A. M. Pitts. FreshML User Manual. Cambridge University Computer Laboratory, November 2002. Available at #http://www.freshml.org/docs/#. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
FreshML: Programming with Binders Made Simple - Shinwell, Pitts, Gabbay (2003) (3 citations) Self-citation (Shinwell Pitts) (Correct)
No context found.
M. R. Shinwell and A. M. Pitts. FreshML User Manual. Cambridge University Computer Laboratory, November 2002. Available at #http://www.freshml.org/docs/#.
FreshML: Programming with Binders Made Simple - Shinwell, Pitts, Gabbay (2003) (3 citations) Self-citation (Shinwell Pitts) (Correct)
....automatic support for matters to do with object level # equivalence in metaprogramming languages. FreshML is an experimental, ML like language that provides such support. Its design was introduced by the second two authors in [25] and subsequently refined and implemented by the first author [27]. It provides the user with a general purpose type construction, written #bty#ty, for binding names (of various, user defined types bty) in expressions of arbitrary type ty. This type constructor for binding can be used in datatype declarations of types of object level syntax to make the ....
....(Fig. 6) more programming examples can be found at http: www.freshml.org . Finally, Sect. 8 discusses related work and draws some conclusions about the results presented here and their implications for future work. 2 FreshML Lite This section gives the new definition of FreshML. Compared with [25, 27], we do without freshness inference in the type system and use a generative operational semantics for fresh names. To make the presentation more accessible, we use a cut down language, which we call FreshML Lite, combining the principal novelties of FreshML with a pure functional subset of ML, but ....
M. R. Shinwell and A. M. Pitts. FreshML User Manual. Cambridge University Computer Laboratory, November 2002. Available at http://www.freshml.org/docs/.
A Definitional Approach to Primitive Recursion over.. - Ambler, Crole.. (2003) (3 citations) (Correct)
No context found.
M. R. Shinwell and A. M. Pitts. FreshML User Manual. Cambridge University Computer Laboratory, November 2002. Available at #http://www.freshml.org/docs/#.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC