Sciweavers

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

10

IJFCS
2000

favoriteEmaildiscussreport

71views more IJFCS 2000»

Light Affine Logic as a Programming Language: A First Contribution

13 years 4 months ago

Light Affine Logic as a Programming Language: A First Contribution

Download www.di.unito.it

This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can be typed automatically by a type inference algorithm that deduces polymorphic types `a la ML.

Luca Roversi

Real-time Traffic

IJFCS 2000 | Intuitionistic Light Affine | P-TIME Functions | Paradigmatic Functional Language |

claim paper

Related Content

» Light types for polynomial time computation in lambdacalculus

» Discovering affine equalities using random interpretation

» Semanticspreserving translations between linear concurrent constraint programming and cons...

» A logical account of pspace

» Nested interpolants

» Extending the Operational Semantics of a BDI AgentOriented Programming Language for Introd...

» Stratified PartialOrder Logic Programming

» Verification of PLC Programs Given as Sequential Function Charts

» Monadic augment and generalised short cut fusion

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	IJFCS
Authors	Luca Roversi

Comments (0)