Sciweavers

13734 search results - page 30 / 2747

» Abstractions of data types

22

BIOCOMP
2006

111views Bioinformatics» more BIOCOMP 2006»

Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli

13 years 10 months ago

Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli

Download ww1.ucmss.com

Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samo...

claim paper

Read More »

18

SIGACT
1998

69views more SIGACT 1998»

Polymorphism, objects and abstract types

13 years 8 months ago

Polymorphism, objects and abstract types

Download www.eecs.qmul.ac.uk

Peter W. O'Hearn

claim paper

Read More »

48

NDJFL
2011

210views Computer Networks» more NDJFL 2011»

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

13 years 3 months ago

Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

Download www.ml.kva.se

Tapani Hyttinen, Meeri Kesälä

claim paper

Read More »

35

POPL
2011
ACM

176views Programming Languages» more POPL 2011»

Generative type abstraction and type-level computation

12 years 11 months ago

Generative type abstraction and type-level computation

Download www.cis.upenn.edu

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...

claim paper

Read More »

34

AFP
2004
Springer

105views Formal Methods» more AFP 2004»

Epigram: Practical Programming with Dependent Types

14 years 2 months ago

Epigram: Practical Programming with Dependent Types

Download strictlypositive.org

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

claim paper

Read More »

« Prev « First page 30 / 2747 Last » Next »