Semantics Engineering with PLT Redex

Status

Published

on 22 Jul 2009

Year of Creation

2009

MASSACHUSETTS INSTITUTE OF TECHNOLOGY

Registration Number

TX0006995440

on 22 Jul 2009

The U.S. Copyright record (Registration Number: TX0006995440) dated 22 Jul 2009, pertains to an electronic file (eService) titled "Semantics Engineering with PLT Redex" created in 2009. The copyright holder is MASSACHUSETTS INSTITUTE OF TECHNOLOGY, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to MASSACHUSETTS INSTITUTE OF TECHNOLOGY.

MASSACHUSETTS INSTITUTE OF TECHNOLOGY

Application Details

Registration Number

TX0006995440

Registration Date

7/22/2009

Year of Creation

2009

Agency Marc Code

DLC-CO

Record Status

New

Physical Description

Book, 502 p

First Publication Nation

United States

Personal Authors

Matthias Felleisen

Robert Bruce Findler

Matthew Flatt

Corporate Authors

MASSACHUSETTS INSTITUTE OF TECHNOLOGY

Notes

Rights Note: The MIT PRESS, MIT E39, 55 HAYWARD ST., CAMBRIDGE, MA, 02142-1493

Statements

Application Title Statement: Semantics Engineering with PLT Redex

Author Statement: Matthias Felleisen Citizenship: United States Authorship: text, artwork Robert Bruce Findler Citizenship: United States Authorship: text, artwork Matthew Flatt Citizenship: United States Authorship: text, artwork

Notes

Rights Note: The MIT PRESS, MIT E39, 55 HAYWARD ST., CAMBRIDGE, MA, 02142-1493

Statements

Application Title Statement: Semantics Engineering with PLT Redex

Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

Show terms & conditions

Disclaimer: The information contained in this website is provided for informational purposes only, and should not be construed as legal advice. Although LegalForce RAPC Worldwide P.C., dba Trademarkia P.C., is a law firm (the “Firm”), your use of this website does not establish an attorney-client relationship with the Firm. Such a relationship can only be established after the Firm decides that it is willing and able to accept the engagement after a conflict check and after a written retainer agreement is agreed upon between you and the Firm. Your use of this website is also subject to our Terms of Use and Privacy Policy. ** The entry level subscription is a bundled price which requires a minimum of two billing cycles, or 6 months.