?

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 communities interested in "dependent types"

2 matches:

  • ru_deptypes - Программирование с зависимыми типами (Updated 3 years ago)
       Зависимые типы данных: информация, размышления, вопросы, ответы
  • cmu_pl - CMU Programming Languages Blog (Updated 9 years ago)

Results for users interested in "dependent types"

More fun stuff can be found on the interests page.

4 matches:


deni_ok userpic
deni_ok
Name:Долой кровавую ведьму!
Updated 2 months ago
jcreed userpic
jcreed
Name:Jason
Journal:Notes from a Medium-Sized Island
Updated 5 months ago
shae userpic
shae
Name:Shae Erisson
Journal:The Revenge of the Anti-Penguin
Updated 5 years ago
etopiei userpic
etopiei
Name:mBrewer
Updated 7 years ago