Paper Info
Title
Lightweight Invariants with Full Dependent Types.
Year
Venue
Keywords
2008
Trends In Functional Programming
position paper,category
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
6
3
Name
Order
Citations
PageRank
Edwin Brady11119.45
Christoph A. Herrmann2586.44
Kevin Hammond327633.68