MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formalizing Type Operations Using the "Image" Type Constructor." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

179,304 documents found, showing 1 through 10. Next 10 →

ATOM

Formalizing type operations using the “Image” type constructor
by Aleksey Nogin, Alexei Kopylov — 2006 — Workshop on Logic, Language, Information and Computation (WoLLIC
…Formalizing Type Operations Using the “Image” Type Constructor Aleksey Nogin and Alexei Kopylov…
Cited by 2 (1 self) – Add To MetaCart

Adjoint Rewriting and the !-type constructor
by Neil Ghani — 1996
…. This work uses the natural deduction style presentation of the !- type constructor in DILL so as to be able…
Cited by 4 (2 self) – Add To MetaCart

Subtyping for Object Type Constructors
by Dominic Duggan, Adriana Compagnoni — 1999 — In FOOL 6. Foundations of Object-Oriented Languages
… with type inference. Useful subtyping for object type constructors requires a flexible subtype rule for type…
Cited by 7 (1 self) – Add To MetaCart

Term Subsumption with Type Constructors
by Barbara Piza, Klaus--dieter Schewe, Joachim W. Schmidt — 1992
… constructors as they are used in modern typed programming languages. In this paper we do a first step…
Cited by 6 (1 self) – Add To MetaCart

Adding type constructor parameterization to Java
by Philippe Altherr, Vincent Cremet — 2007 — FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP’07) AT THE EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING (ECOOP
… and methods by type constructors, i.e., functions from types to types. Our extension is formalized as a…
Cited by 3 (0 self) – Add To MetaCart

Generalized quantifiers and discontinuous type constructors
by Michael Moortgat — 1992 — In Arthur Horck and Wietske Sijtsma, editors, Discontinuous Constituency, Berlin. Mouton de Gruyter
… operations at a suitable level of linguistic generalization. Whether or not these type constructors…
Cited by 10 (0 self) – Add To MetaCart

Temporal Type Constructors for Computer Music Programming
by Eli Brandt — 2000 — International Computer Music Association
… can be written quite directly. Type constructors make this possible. Furthermore, they are useful far…
Cited by 3 (1 self) – Add To MetaCart

Implementing Temporal Type Constructors for Music Programming
by Eli Brandt — 1998 — Department of Computer Science, Aalborg University
… of axis in computer music. I have proposed using three temporal type constructors: event, vec, and ivec…
Cited by 1 (0 self) – Add To MetaCart

Third-Order Matching in the Presence of Type Constructors
by Jan Springintveld — 1994
…Third-Order Matching in the Presence of Type Constructors Jan Springintveld Department…
Cited by 3 (1 self) – Add To MetaCart

Fixed points of type constructors and primitive recursion
by Andreas Abel, Ralph Matthes — 2004 — Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, volume 3210 of Lecture Notes in Computer Science
…Fixed Points of Type Constructors and Primitive Recursion (Errata) Andreas Abel and Ralph Matthes…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB