MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Practical Aspects of Declarative Languages" – sorted by Relevance.

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

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

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

ATOM

Employment History
by Gates B, Ninghui Li, Advisor Joan Feigenbaum, Advisor Zhongzhi Shi — 1992
… for trust-management languages. In Proceedings of the Fifth International Symposium on Practical Aspects…
Add To MetaCart

Cv
by Hongwei Xi — 1999
… Dependent Types, International Workshop on Practical Aspects of Declarative Languages (PADL '99), San…
Add To MetaCart

Cv
by Hongwei Xi
… Workshop on Practical Aspects of Declarative Languages(PADL '99), San Antonio, January 1999. Hongwei Xi…
Add To MetaCart

Thesis: Rupiah: Towards an Expressive Static Type System for Java
by J. Nathan Foster, Adviser Benjamin, C. Pierce, Committee Zachary Ives, Val Tannen, Philip Wadler (external
…. January 2008. International Symposium on Practical Aspects of Declarative Languages (PADL, acceptance rate…
Add To MetaCart

* Ph.D. in Computer Science September 2000Dissertation: Delegation Logic: A Logic-based Approach to Distributed Authorization
by Supervisor John, C. Mitchell — 1999
… for trust-managementlanguages. In Proceedings of the Fifth International Symposium on Practical Aspects…
Add To MetaCart

Why No One Uses Functional Languages
by Philip Wadler — 1998
…, the First International Conference on Practical Aspects of Declarative Languages [10]. To aid a paradigm…
Cited by 21 (1 self) – Add To MetaCart

Developing a Declarative Rule Language for Applications in Product Configuration
by Timo Soininen, Ilkka Niemelä — 1999 — In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
… of the First International Workshop on Practical Aspects of Declarative Languages (PADL'99). Jan 18-19, 1999…
Cited by 43 (8 self) – Add To MetaCart

Metalevel Interval Arithmetic and Verifiable Constraint Solving
by Timothy J. Hickey — 2001
… prototyped since the code is more concise and declarative than for imperative languages, and (3) contractors…
Cited by 9 (3 self) – Add To MetaCart

Metalevel Interval Arithmetic and Veri able Constraint Solving
by Timothy Hickey Michtom, Timothy J. Hickey — 2001
… prototyped since the code is more concise and declarative than for imperative languages, and (3) contractors…
Add To MetaCart

High-Level Server Side Web Scripting in Curry
by Michael Hanus — 2001 — In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL’01
… International Workshop on Practical Aspects of Declarative Languages, PADL'01, Las Vegas. To appear in Springer…
Cited by 40 (15 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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