?

Log in

Interests

Try searching posts and comments with the new LiveJournal text search

Find people and communities interested in:
 
Modify your interests based on those of:
 
 

Results for users interested in "proof-carrying code"

More fun stuff can be found on the interests page.

5 matches:


jcreed userpic
jcreed
Name:Jason
Journal:Notes from a Medium-Sized Island
Updated 5 months ago
modularformsboy userpic
modularformsboy
Name:modularformsboy
Journal:mfb has a home
Updated 2 years ago
ekorber userpic
ekorber
Name:Erin
Journal:I never post here.
Updated 4 years ago
etopiei userpic
etopiei
Name:mBrewer
Updated 7 years ago
adamch userpic
adamch
Name:Adam Chlipala
Updated 8 years ago