Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Stream_(type_theory)> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Stream_(type_theory) abstract "In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the inductive definition:Generating and computing with streams requires lazy evaluation, either implicitly in a lazily evaluated language or by creating and forcing thunks in an eager language. In total languages they must be defined as codata and can be iterated over using (guarded) corecursion.".
- Stream_(type_theory) wikiPageID "18402266".
- Stream_(type_theory) wikiPageRevisionID "571037130".
- Stream_(type_theory) hasPhotoCollection Stream_(type_theory).
- Stream_(type_theory) subject Category:Functional_data_structures.
- Stream_(type_theory) subject Category:Functional_programming.
- Stream_(type_theory) subject Category:Type_theory.
- Stream_(type_theory) type Abstraction100002137.
- Stream_(type_theory) type Arrangement105726596.
- Stream_(type_theory) type Cognition100023271.
- Stream_(type_theory) type DataStructure105728493.
- Stream_(type_theory) type FunctionalDataStructures.
- Stream_(type_theory) type PsychologicalFeature100023100.
- Stream_(type_theory) type Structure105726345.
- Stream_(type_theory) comment "In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the inductive definition:Generating and computing with streams requires lazy evaluation, either implicitly in a lazily evaluated language or by creating and forcing thunks in an eager language. In total languages they must be defined as codata and can be iterated over using (guarded) corecursion.".
- Stream_(type_theory) label "Stream (type theory)".
- Stream_(type_theory) sameAs m.0h7m222.
- Stream_(type_theory) sameAs Q7622651.
- Stream_(type_theory) sameAs Q7622651.
- Stream_(type_theory) sameAs Stream_(type_theory).
- Stream_(type_theory) wasDerivedFrom Stream_(type_theory)?oldid=571037130.
- Stream_(type_theory) isPrimaryTopicOf Stream_(type_theory).