Date: 2013-02-03 08:04 pm (UTC)
From: [identity profile] krlz.livejournal.com
Имеются ввиду path dependent types? Так это просто разновидность dependent types.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.