Back to Results
First PageMeta Content
Logic in computer science / Models of computation / Formal methods / Denotational semantics / De Bruijn index / Higher-order abstract syntax / Lambda calculus / ECL programming language / Actor model / Computing / Software engineering / Theoretical computer science


FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract
Add to Reading List

Document Date: 2005-02-28 05:08:39

Open Document

File Size: 122,32 KB

Share Result on Facebook

City

Nara / Uppsala / Lima / Paris / Pittsburgh / Portland / Vienna / Brno / Florence / Tallinn / Malaga / Valencia / Turku / Karpacz / Cambridge / Copenhagen / Nancy / Sendai / London / Hampton / Edinburgh / Frauenchiemsee / /

Company

INRIA Futurs Laboratory / CONCUR / IEEE Computer Society Press / D. R. Ghica A. S. / ACM Press / University of Cambridge Computer Laboratory / Microsoft Research Ltd. / Mackie / Galois Connections Inc / Fernandez / /

Country

Estonia / France / Japan / Portugal / Scotland / Finland / Germany / Italy / Sweden / Poland / Austria / United States / Spain / Czech Republic / /

Currency

SOS / /

Event

Business Partnership / Employment Change / Person Communication and Meetings / /

Facility

University of Cambridge Computer Laboratory / Heriot-Watt University / King’s College / Chalmers University / INRIA Futurs Laboratory / Cornell University / Oregon Graduate Institute of Science / /

IndustryTerm

prototype theorem-proving systems / conference travel / unification algorithm / type inference algorithms / computing / expressive linguistic tools / ad hoc solutions / thematic network / main software product / explored applications / software systems / mature systems / domain-specific tools / type systems / /

Organization

King’s College London / Cornell University / Chalmers University / European Union / Universidad Polit´ecnica de Valencia / Oregon Graduate Institute of Science and Technology / Portland / Summer School / Heriot-Watt University / National Aeronautics and Space Administration / NASA Langley Research Center / 16th European Summer School / /

Person

Morrisett / Simon Peyton Jones / Koen Claessen / Mark Shields / Christian Urban / Sewell / Mark Shinwell / Michael Norrish / Murdoch Gabbay / Nick Benton / James Cheney / Applied Semantics / Mike Gordon / Track B Proceedings / Peter White / /

Position

advisor / post-graduate Research Assistant / Research Associate / representative / editor / co-investigator / Harper / Research Assistant / Computer Officer and Administrator / /

Product

Fresh O’Caml / FreshML / /

ProgrammingLanguage

Lambda calculus / Objective Caml / Prolog / Haskell / ML / /

ProvinceOrState

Virginia / Oregon / Pennsylvania / /

PublishedMedium

Formal Aspects of Computing / Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

functional programming / unification algorithm / rapidly prototyping algorithms / alpha / type inference algorithms / /

URL

www.cl.cam.ac.uk/Research/HVG / www.cs.cmu.edu/~rwh/plbook / www.haskell.org / www.cl / www.ocaml.org / www.cl.cam / www.fresh-ocaml.org / /

SocialTag