267 search results - page 14 / 54 » Formal Parametric Polymorphism |
109
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
127
Voted
COMPSYSTECH
2009
14 years 11 months ago
2009
: This paper reveals the evolution of the polymorphic architectures in the context of ever increasing computational demands of the user applications and the need for formal archite...
128
click to vote
WADT
2004
Springer
15 years 7 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
137
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
102
Voted
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...