Matches in DBpedia 2015-10 for { <http://www.cis.uni-muenchen.de/~leiss/polyrec/polyrec.cisbericht.96-101.ps.gz> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- polyrec.cisbericht.96-101.ps.gz authorlink1 "Martin Emms".
- polyrec.cisbericht.96-101.ps.gz authorlink2 "Hans Leiß".
- polyrec.cisbericht.96-101.ps.gz first1 "Martin".
- polyrec.cisbericht.96-101.ps.gz first2 "Hans".
- polyrec.cisbericht.96-101.ps.gz isCitedBy Polymorphic_recursion.
- polyrec.cisbericht.96-101.ps.gz journal "Technical Report 96-101".
- polyrec.cisbericht.96-101.ps.gz last1 "Emms".
- polyrec.cisbericht.96-101.ps.gz last2 "Leiß".
- polyrec.cisbericht.96-101.ps.gz publisher "Centrum für Informations- und Sprachverarbeitung, Universität München".
- polyrec.cisbericht.96-101.ps.gz title "Extending the type checker for SML by polymorphic recursion—A correctness proof".
- polyrec.cisbericht.96-101.ps.gz url polyrec.cisbericht.96-101.ps.gz.
- polyrec.cisbericht.96-101.ps.gz year "1996".