Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SBMF
2009
Springer

favoriteEmaildiscussreport

91views Formal Methods» more SBMF 2009»

A Simple and General Theoretical Account for Abstract Types

13 years 11 months ago

A Simple and General Theoretical Account for Abstract Types

Download www.cs.bu.edu

Types Hongwei Xi Boston University Work partly funded by NSF grants no. CCR-0229480 and no. CCF-0702665 and General Theoretical Account for Abstract Types – p.1/20

Hongwei Xi

Real-time Traffic

Formal Methods | General Theoretical Account | Hongwei Xi Boston | NSF Grants | SBMF 2009 |

claim paper

Related Content

» Abstract vs social roles Towards a general theoretical account of roles

» A Domain Theoretic Account of Eulers Method for Solving Initial Value Problems

» An Abstract Account of Composition

» A Simple Proof That SuperConsistency Implies Cut Elimination

» Simple Types in Type Theory Deep and Shallow Encodings

» A TypeTheoretic Approach to DeadlockFreedom of Asynchronous Systems

» Simple unificationbased type inference for GADTs

» A PhaseType Based Markov Chain Model for IEEE 80216e Sleep Mode and Its Performance Analys...

» Probabilistic Generalization of Simple Grammars and Its Application to Reinforcement Learn...

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	SBMF
Authors	Hongwei Xi

Comments (0)