291 search results - page 36 / 59 » A Logic for Parametric Polymorphism |
118
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
150
click to vote
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
108
click to vote
KES
1999
Springer
15 years 6 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
113
click to vote
CAGD
2010
14 years 11 months ago
2010
In this paper we introduce a new framework for geometric modeling that combines implicit and parametric surface representations with volumetric warpings. The framework is based on...
122
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...