Back to Results
First PageMeta Content
Mathematics / Linear filters / Filter / General topology / Order theory / Type system / Natural deduction / Kalman filter / Electronic engineering / Filter theory / Electronics


Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France
Add to Reading List

Document Date: 2010-10-14 05:33:04

Open Document

File Size: 367,98 KB

Share Result on Facebook

IndustryTerm

e-expr / product decomposition operator / type inference algorithm / e-union1 / e-prod / type-checking algorithm / e-union2 / e-patt / type algorithm / e-comp / particular products / /

Person

Af / /

Position

Author / en The programmer / Editor / Author / Editor / programmer / /

Product

LG Chocolate 3 Cellular Phone / /

ProgrammingLanguage

Haskell / ML / XML / /

Technology

Typing algorithm / XML / type-checking algorithm / type inference algorithm / html / The type algorithm / /

SocialTag