5451 search results - page 265 / 1091 » Typed Operational Semantics |
134
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
136
click to vote
IJDMB
2006
15 years 4 months ago
2006
: Biomedical data sets often have mixed categorical and numerical types, where the former represent semantic information on the objects and the latter represent experimental result...
133
click to vote
JLP
2006
15 years 4 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
147
Voted
RE
2009
Springer
15 years 11 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
164
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...