Matches in DBpedia 2016-04 for { <https://github.com/idris-lang/Idris-dev/wiki/Uniqueness-Types> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Uniqueness-Types accessdate "2014-10-27".
- Uniqueness-Types archivedate "2014-12-25".
- Uniqueness-Types archiveurl Uniqueness-Types.
- Uniqueness-Types date "2014-08-22".
- Uniqueness-Types deadurl "yes".
- Uniqueness-Types isCitedBy Rust_(programming_language).
- Uniqueness-Types quote "They are inspired by linear types, Uniqueness Types in the Clean programming language, and ownership types and borrowed pointers in the Rust programming language.".
- Uniqueness-Types title "Uniqueness Types".
- Uniqueness-Types url Uniqueness-Types.