Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
CMU
biblio
Safely Composable Type-Specific Languages
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
CMU
Oct'14
file
Omar_Safely_Composable_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
file
Aldrich_Power_Interoperability_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:20am
CMU
Object-oriented programming; frameworks; interoperability; service abstractions
biblio
The power of interoperability: why objects are inevitable
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:20am
CMU
Object-oriented programming; frameworks; interoperability; service abstractions
CMU
file
Coblenz_Course_Based_Usability_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:03am
CMU
July'15
file
Omar_Composable_Hygienic_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:48am
Apr'15
CMU
extensible syntax; macros; hygiene; type inference
file
Sunshine_Searching_State_Space_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:46am
CMU
July'15
file
Lee_Theory_Tagged_Objects_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:43am
classes
CMU
July'15
nominal and structural types
objects
tags
file
Li_Delegation_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:41am
CMU
July'15
file
Omar_Type_Directed_Ja.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:35am
CMU
« first
‹ previous
…
10
11
12
13
14
15
16
17
18
…
next ›
last »