?

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 communities interested in "type systems"

1 match:

  • ru_cs - Теоретическая информатика по-русски (Updated 4 years ago)

Results for users interested in "type systems"

More fun stuff can be found on the interests page.

7 matches:


potan userpic
potan
Name:Mike Potanin
Updated 2 months ago
atheorist userpic
atheorist
Name:atheorist
Journal:Idle Speculations
Updated 3 years ago
pod_baobabom userpic
pod_baobabom
Name:Ilya Sergey
Journal:Мысли и вычисления вслух
Updated 3 years ago
neonelephant userpic
neonelephant
Name:Andrew
Journal:On at least one side
Updated 8 years ago
liyang userpic
liyang
Name:Liyang HU
Journal:Liyang's Cooking Pr0n
Updated 8 years ago
vividha userpic
vividha
Name:vladimir (voevodsky)
Updated 9 years ago
no default userpic
huge_bear
Name:Michael S.
Updated 12 years ago