Back to Results
First PageMeta Content
Structure / Abstract algebra / Order theory / Category theory / Differential topology / Embedding / General frame / Mathematics / Model theory / Topology


A Theory of Information-Flow Labels Benoˆıt Montagu University of Pennsylvania Philadelphia, USA Benjamin C. Pierce
Add to Reading List

Document Date: 2014-10-30 03:50:37

Open Document

File Size: 371,67 KB

Share Result on Facebook

City

Cambridge / /

Country

United States / /

Currency

pence / /

Facility

USA Benjamin C. Pierce University of Pennsylvania Philadelphia / Bank Randy Pollack Harvard University / Information-Flow Labels Benoˆıt Montagu University of Pennsylvania Philadelphia / /

IndustryTerm

dependent product / secure web apps / static type systems / real-world systems / /

OperatingSystem

L3 / /

Organization

USA Benjamin C. Pierce University of Pennsylvania Philadelphia / Harvard University / Information-Flow Labels Benoˆıt Montagu University of Pennsylvania Philadelphia / /

Person

ABEL A LGEBRAS / /

Position

proof assistant / point model / the writer / Coq proof assistant / /

ProgrammingLanguage

Haskell / DC / L / /

ProvinceOrState

Louisiana / Utah / Connecticut / /

Technology

dom / operating system / flow control / operating systems / /

URL

http /

SocialTag