Sciweavers

6554 search results - page 111 / 1311

» Constraint Logic Programming

210

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

14 years 9 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

164

ICFP
2010
ACM

158views Programming Languages» more ICFP 2010»

Parametricity and dependent types

15 years 7 months ago

Parametricity and dependent types

Download www.soi.city.ac.uk

' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...

Jean-Philippe Bernardy, Patrik Jansson, Ross Pater...

claim paper

Read More »

248

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 6 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

254

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 6 months ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

151

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

16 years 3 months ago

A PolyTime Functional Language from Light Linear Logic

Download perso.ens-lyon.fr

Patrick Baillot, Marco Gaboardi and Virgile Mogbil

claim paper

Read More »

« Prev « First page 111 / 1311 Last » Next »