18429 search results - page 158 / 3686 » Typing dynamic typing |
134
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
125
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
137
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
129
Voted
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
160
Voted
VL
1996
IEEE
15 years 9 months ago
1996
IEEE
A useful starting point for designing advanced graphical user interfaces is the Visual InformationSeeking Mantra: Overview first, zoom and filter, then details-on-demand. But this...