Searching for "Practical Aspects of Declarative Languages" – sorted by Relevance.
-
Employment History
- for trust-management languages. In Proceedings of the Fifth International Symposium on Practical Aspects
- Add To MetaCart
-
Cv
- Dependent Types, International Workshop on Practical Aspects of Declarative Languages (PADL '99), San
- Add To MetaCart
-
Cv
- 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
- . 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
- for trust-managementlanguages. In Proceedings of the Fifth International Symposium on Practical Aspects
- Add To MetaCart
-
Why No One Uses Functional Languages
- , 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
- 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
- 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
- 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
- International Workshop on Practical Aspects of Declarative Languages, PADL'01, Las Vegas. To appear in Springer
- Cited by 40 (15 self) – Add To MetaCart

