Searching for "Case Analysis of Higher-Order Data." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Case analysis of higher-order data
by Joshua Dunfield, Brigitte Pientka
…Case analysis of higher-order data Joshua Dunfield and Brigitte Pientka School of Computer Science…
Cited by 1 (0 self) – Add To MetaCart

Programming with proofs and explicit contexts. In Principles and Practice of Declarative Programming (PPDP ’08),
by In Canada, Joshua Dunfield, Brigitte Pientka, Joshua Dunfield, Joshua Dunfield, Brigitte Pientka — 2004
… of higher-order data. In Int’l Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP…
Add To MetaCart

Showing 1 through 2.

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