3381 search results - page 83 / 677 » Extending Dependencies with Conditions |
192
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
267
click to vote
TPHOL
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
140
click to vote
ICA
2007
Springer
16 years 10 days ago
2007
Springer
We extend the Gaussian scale mixture model of dependent subspace source densities to include non-radially symmetric densities using Generalized Gaussian random variables linked by ...
174
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
143
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a technique for the illustrative rendering of 3D line data at interactive frame rates. We create depth-dependent halos around lines to emphasize tight line bundles while...