MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Dependent Types at Work." – sorted by Relevance.

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

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

24 documents found, showing 1 through 10. Next 10 →

ATOM

Confined Space Work in Aircraft Maintenance Industry: Scope for Improving Safety and Reducing
by Shannon Bowling Sittichai, Shannon R. Bowling, Sittichai Kaewkuekool, Mohammad T. Khasawneh, Rahul Desai, K. Gramopadhye
…). Examples of confined space work can be found in many types of industries with many different tasks…
Add To MetaCart

Experiences in adopting real-time java for flight-like software
by Edward G. Benowitz, Albert E Niessner — 2003 — OTM 2003 Workshops
… on the type of work being done. For instance, control loops run periodically while watchdogs run once at some…
Cited by 6 (0 self) – Add To MetaCart

Typing mobility in the Seal Calculus
by Giuseppe Castagna , Giorgio Ghelli — 2001 — IN CONCUR 2001, NUMBER 2154 IN LNCS
… during computation. Dependent types work fine for calculi where the notion of interaction…
Cited by 15 (4 self) – Add To MetaCart

Optimizing Higher-Order Pattern Unification
by Brigitte Pientka, Frank Pfenning — 2003 — 19th International Conference on Automated Deduction
… to work well in the simply-typed setting, however it is not clear how to generalize it to dependent types…
Cited by 9 (6 self) – Add To MetaCart

Optimizing Higher-Order Pattern Unification
by Brigitte Pientka And, Brigitte Pientka, Frank Pfenning — 2003 — 19th International Conference on Automated Deduction
… it to dependent types. # This work has been partially supported by NSF Grant CCR-9988281 "Logical and Meta…
Add To MetaCart

Typing mobility in the Seal Calculus
by Giuseppe Castagna Giorgio, Giorgio Ghelli — 2001 — In Concur 2001, number 2154 in LNCS
… during computation. Dependent types work fine for calculi where the notion of interaction…
Add To MetaCart

Advanced Techniques for Dispute Resolving and Authorship Proofs on Digital Works
by Andre Adelsbach, Ahmad-Reza Sadeghi — 2003
… of an (original) work is highly dependent on the type of work and how such works are typically created…
Cited by 6 (3 self) – Add To MetaCart

Dialogue--Specified Reuse of Domain Engineering Work Products
by Margaret Davis, Harold G. Hawley — 1994
… of the actual tailoring functionality is dependent on the type of work product or work product part. Further…
Add To MetaCart

Toward an Actionable Framework of Knowledge Synthesis in the Pursuit of Learning Organization
by Kam Hou Vat — 2003
… the respective business requirements for data, for information, and for knowledge, depending on the type of work…
Cited by 2 (0 self) – Add To MetaCart

Communication Tools for Truck Operators
by Designhögskolan Umeå Universitet, Niklas Andersson, Lars Johansson, Niklas Andersson, Lars Johansson — 2001
… on type of work tasks and their mutual allocation. The time saving for work only outside of the cab…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB