Pure patterns type systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Pure patterns type systems. In POPL. pages 250-261, 2003. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Horatiu Cirstea' in GoogleThis author has not been identified. It may be one of the following persons:

Claude Kirchner

Look up 'Claude Kirchner' in GoogleThis author has not been identified. Look up 'Luigi Liquori' in Google

runs on WebDSL