MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Practice of Programming" – sorted by Relevance.

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

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

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

ATOM

Dependent Types in Practical Programming
by Hongwei Xi, Dana Scott — 1998 — In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages
…Dependent Types in Practical Programming Hongwei Xi September 30th, 1998 Department…
Cited by 224 (34 self) – Add To MetaCart

Y in Practical Programs (Extended Abstract)
by Bruce McAdams — 2001
…Y in Practical Programs Extended Abstract Bruce McAdam bjm@(email omitted); Laboratory…
Add To MetaCart

Type-Theoretic Methodology For Practical Programming Languages
by Karl Crary, Karl Fredrick Crary, Ph. D — 1998 — Department of Computer Science, Cornell University
…TYPE-THEORETIC METHODOLOGY FOR PRACTICAL PROGRAMMING LANGUAGES A Dissertation Presented…
Cited by 20 (3 self) – Add To MetaCart

Dependent Types in Practical Programming (Extended Abstract)
by Hongwei Xi, Frank Pfenning — 1998 — In Symposium on the Principles of Programming Languages ’99
…Dependent Types in Practical Programming* (Extended Abstract) Hongwei Xi Department of Computer…
Add To MetaCart

A Practical Program Transformation System For Reverse Engineering
by M. P. Ward, Durham Dh Le, K. H. Bennett, South Rd, South Rd — 1993
…A Practical Program Transformation System For Reverse Engineering M.P. Ward Computer Science…
Cited by 11 (7 self) – Add To MetaCart

Developing a Practical Programming by Demonstration Tool
by Gordon W. Paynter, Ian H. Witten — 2000 — Presented at the 19th ISPRS Congress
…Developing a Practical Programming by Demonstration Tool Gordon W. Paynter and Ian H. Witten…
Cited by 2 (0 self) – Add To MetaCart

Developing a Practical Programming by Demonstration Tool
by Gordon Paynter And — 2000
…Developing a Practical Programming by Demonstration Tool Abstract Many iterative tasks in direct…
Add To MetaCart

Towards a practical programming language based on dependent type theory
by Ulf Norell, Ulf Norell, C Ulf Norell — 2007
…Thesis for the degree of Doctor of Philosophy Towards a practical programming language based…
Cited by 21 (1 self) – Add To MetaCart

Transforming Education For Hispanic Youth - Exemplary Practices, Programs, and Schools
by Anne Turnbaugh Lockwood, Anne Turnbaugh Lockwood, Walter G. Secada, Walter G. Secada — 1999
… Exemplary Practices, Programs, and Schools Anne Turnbaugh Lockwood and Walter G. Secada University…
Cited by 1 (0 self) – Add To MetaCart

Practical programming with higher-order encodings and dependent types
by Adam Poswolsky, Carsten Schürmann — 2008 — In Proceedings of the European Symposium on Programming (ESOP ’08
…Practical Programming with Higher-Order Encodings and Dependent Types ⋆ Adam Poswolsky 1…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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