Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A standard monad of continuations, when constructed with domains in the world of FM-sets [M.J. Gabbay, A.M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects Comput. 13 (2002) 341-363], is shown to provide a model of dynamic allocation of fresh names that is both simple and useful. In particular, it is used to prove that the porful facilities for manipulating fresh names and binding operations provided by the "Fresh" series of metalanguages [M.R. Shinll, Swapping the atom: Programming with binders in Fresh O'Caml, Proc. MERλIN, 2003; M.R. Shinll, A.M. Pitts, Fresh O'Caml User Manual, Cambridge University Computer Laboratory, September 2003, available at 〈http://www.freshml.org/foc/〉 M.R. Shinll, A.M. Pitts, M.J. Gabbay, FreshML: Programming with binders made simple, in: Proc. ICFP '03, ACM Press, 2003, pp. 263-274] respect α-equivalence of object-level languages up to meta-level contextual equivalence.
['Mark R. Shinwell', 'Andrew M. Pitts']
I am writing a research paper on a idea On a monadic semantics for freshness
[{"from": "human", "value": "I am writing a research paper on a idea On a monadic semantics for freshness"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A standard monad of continuations, when constructed with domains in the world of FM-sets [M.J. Gabbay, A.M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects Comput. 13 (2002) 341-363], is shown to provide a model of dynamic allocation of fresh names that is both simple and useful. In particular, it is used to prove that the porful facilities for manipulating fresh names and binding operations provided by the \"Fresh\" series of metalanguages [M.R. Shinll, Swapping the atom: Programming with binders in Fresh O'Caml, Proc. MER\u03bbIN, 2003; M.R. Shinll, A.M. Pitts, Fresh O'Caml User Manual, Cambridge University Computer Laboratory, September 2003, available at \u2329http://www.freshml.org/foc/\u232a M.R. Shinll, A.M. Pitts, M.J. Gabbay, FreshML: Programming with binders made simple, in: Proc. ICFP '03, ACM Press, 2003, pp. 263-274] respect \u03b1-equivalence of object-level languages up to meta-level contextual equivalence."}]