Back to Results
First PageMeta Content
Programming language theory / OCaml / Type system / ML / Subtype polymorphism / Type inference / System F / Lambda calculus / Type safety / Software engineering / Type theory / Computing


OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract
Add to Reading List

Document Date: 2013-12-06 16:18:27

Open Document

File Size: 142,42 KB

Share Result on Facebook

City

Uppsala / Paris / Portland / /

Company

Figure 1 / XDuce / ACM Press / C C / OCaml / /

Country

Germany / Sweden / Japan / United States / Scotland / /

Currency

USD / /

/

Event

M&A / /

Facility

The University of Tokyo / University of Edinburgh / OCaml library / /

IndustryTerm

least-upper bound operator / unification-based existing algorithms / pre-solution / deep-first graph traversal algorithm / mostgeneral solutions / static analysis algorithm / unary operator / type-checking algorithm / unification-based algorithm / existential variable foreign operator / nice locally-complete type inference algorithm / pretty-printing / id operator / inference algorithm / Internet Technology / sample applications / simpler solution / pre-solutions / type inference algorithm / type systems / naive solution / less-general pre-solution / identity operator / /

Organization

University of Tokyo / University of Edinburgh / /

Person

Vladimir Gapeyev / Haruo Hosoya / Kenny Zhuo Ming Lu / Michael I. Schwartzbach / Christian Kirkegaard / Xavier Leroy / Benjamin C. Pierce / Martin Wehr / François Pottier / Didier Rémy / Jérôme Vouillon / Robin Milner / Makoto Murata / Giuseppe Castagna / Alain Frisch / Luis Manuel Martins Damas / Anders Møller / Martin Odersky / Ming Lu / Martin Sulzmann / /

Position

General / Acknowledgments The author / programmer / /

Product

OCamlDuce application / OCamlDuce / /

ProgrammingLanguage

Objective Caml / Java / XML Schema / XML / ML / /

ProvinceOrState

Oregon / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

Functional Programming / Object-Oriented Programming / XML / type-checking algorithm / graph traversal algorithm / inference algorithm / Internet Technology / type inference algorithm / static analysis algorithm / specific inference algorithm / Programming Languages Technologies / unification-based algorithm / Java / typing algorithm / unification-based existing algorithms / /

URL

http /

SocialTag