Matches in DBpedia 2015-10 for { <http://cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/epigram-notes.pdf> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- epigram-notes.pdf author1 "Conor McBride".
- epigram-notes.pdf authormask1 "–".
- epigram-notes.pdf chapter "Epigram: Practical Programming with Dependent Types".
- epigram-notes.pdf isCitedBy Conor_McBride.
- epigram-notes.pdf pages "130–170".
- epigram-notes.pdf series "Lecture Notes in Computer Science".
- epigram-notes.pdf title "Advanced Functional Programming".
- epigram-notes.pdf url epigram-notes.pdf.
- epigram-notes.pdf volume "3622".
- epigram-notes.pdf year "2005".