Back to Results
First PageMeta Content
Functional languages / Recursion / Data types / Type theory / Procedural programming languages / Standard ML / OCaml / Caml / Module / Software engineering / Computer programming / Computing


A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue
Add to Reading List

Document Date: 2012-04-16 05:17:54

Open Document

File Size: 280,96 KB

Share Result on Facebook

City

Moscow / Portland / /

Country

United States / /

Currency

USD / /

/

Facility

Sungwoo Park Pohang University of Science / Institute of Cybernetics / Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Pohang University of Science / Tallinn University of Technology / Nagoya University / /

IndustryTerm

type systems / simpler solution / large-scale software development / functor applications / /

NaturalFeature

Forest Mutually Recursive Modules / /

Organization

Graduate School / Institute of Cybernetics / Nagoya University / Pohang University of Science and Technology / Tallinn University of Technology / /

Person

Xavier Leroy / Keiko Nakata Jacques Garrigue / /

Position

Modules General / programmer / /

ProgrammingLanguage

ML / Standard ML / Java / /

ProvinceOrState

Oregon / /

Technology

Java / key enabling technology / GUI / /

SocialTag