Sciweavers

13734 search results - page 30 / 2747
» Abstractions of data types
Sort
View
BIOCOMP
2006
15 years 1 months ago
Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli
Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samo...
SIGACT
1998
69views more  SIGACT 1998»
14 years 11 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn
POPL
2011
ACM
14 years 2 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 5 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride