2004 search results - page 182 / 401 » Interaction nets: programming language design and implementa... |
149
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
176
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
173
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
166
click to vote
WSCG
2004
15 years 7 months ago
2004
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
141
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This paper presents the design and testing of Kana Warrior, a new interface for basic Japanese character recognition based on a game-style user interface. Kana Warrior is a game d...