Searching for "Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping." – sorted by Relevance.
346,054 documents found, showing 1 through 10.
Next 10 →
-
Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping
- … the title "F & : integrating parametric and `ad hoc' second order polymorphism" in the 4th International…
- Add To MetaCart
-
Adrian Fiech
- …Polymorphic Lambda Calculus and Subtyping Adrian Fiech 1 David A. Schmidt 2 Computer Science…
- Add To MetaCart
-
Abstract Polymorphic Lambda Calculus and Subtyping
- … it integrates ad-hoc and parametric polymorphism in an elegant fashion, admits nontrivial records and record…
- Add To MetaCart
-
Ad Hoc
- …EE228a - Lecture 8 - Spring 2006 Ad Hoc Scheduling Given by Antonis Dimakis (dimakis…
- Add To MetaCart
-
Integrated Parametric Timing Optimization of Digital Systems
- …Integrated Parametric Timing Optimization of Digital Systems 1 Hong-Yean Hsieh, Wentai Liu, Ralph…
- Cited by 1 (1 self) – Add To MetaCart
-
From ad hoc networks to ad hoc applications
- … is threefold: (1) we propose a definition of ad hoc applications that is independent of the notion of ad hoc…
- Cited by 5 (0 self) – Add To MetaCart
-
Free-Form Geometric Modeling by Integrating Parametric and Implicit PDEs
- … to flexible boundary conditions. The integrated formulation of second-order or fourth-order elliptic PDEs…
- Add To MetaCart
-
Wireless Ad Hoc Networks
- …This is a draft version only. Wireless Ad Hoc Networks Zygmunt J. Haas, Jing Deng, Ben Liang…
- Cited by 485 (9 self) – Add To MetaCart
-
Bluetooth And Ad Hoc Networking
- … be used for ad hoc networking. Bluetooth specification is a computing and telecommunications industry…
- Add To MetaCart
-
Security in Ad Hoc Networks
- … of networks offering unrestricted mobility without any underlying infrastructure. An ad hoc network is a…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
