Back to Results
First PageMeta Content
Homological algebra / Standard ML / Module / D-module / Functor / Struct / Abstract algebra / Mathematics / Mathematical analysis


Recursion for structured modules Keiko Nakata Research Institute for Mathematical Sciences, Kyoto University Abstract
Add to Reading List

Document Date: 2005-02-17 05:34:11

Open Document

File Size: 167,44 KB

Share Result on Facebook

City

Moscow / /

Company

ACM Press / /

Currency

pence / /

/

Facility

Keiko Nakata Research Institute / /

IndustryTerm

proposed type systems / functor applications / large software system / type systems / Module systems / /

OperatingSystem

Unix / /

Organization

Institute for Mathematical Sciences / Kyoto University / /

Person

Andrew W. Appel / Sinya Katumata / Keiko Nakata / Derek Dreyer / Sidd Puri / Karl Crary / Akira Ito / Jacques Garrigue / Susumu Nishimura / Xavier Leroy / Proc / Martin Odersky / Matthias Zenger / Robert Harper / Vincent Cremet / Claudio V. Russo / Gerard Boudol / Tom Hirschowitz / Masahito Hasegawa / /

Product

M-16 / /

ProgrammingLanguage

Objective Caml / Standard ML / ML / /

ProvinceOrState

New Jersey / /

Technology

Functional Programming / Unix / http / html / /

URL

http /

SocialTag