Back to Results
First PageMeta Content
Data management / Programming paradigms / Data types / SQL / Metaprogramming / Type system / Computing / Relational database management systems / Software engineering


Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Adam Chlipala PLDI 2010 Strength of Guarantee
Add to Reading List

Document Date: 2012-09-05 20:22:17

Open Document

File Size: 665,17 KB

Share Result on Facebook

Facility

scaffold T Id /

IndustryTerm

Web applicationsCompilers Runtime systems / Web Applications Type-Level Ur/Web / /

Person

Adam Chlipala / /

Position

Programmer / /

ProgrammingLanguage

Hoc / SQL / C / /

Technology

html / Operating Systems / /

SocialTag