Conferences in DBLP
(lernet)
2008 (conf/lernet/2008)
Introduction to Type Theory. [Citation Graph (, )][DBLP]
Dependent Types at Work. [Citation Graph (, )][DBLP]
A Tutorial on Type-Based Termination. [Citation Graph (, )][DBLP]
Structural Abstract Interpretation: A Formal Study Using Coq. [Citation Graph (, )][DBLP]
Extended Static Checking by Calculation Using the Pointfree Transform. [Citation Graph (, )][DBLP]
Combinator Parsing: A Short Tutorial. [Citation Graph (, )][DBLP]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002