|
Search the dblp DataBase
Noam Zeilberger:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger
Model-Driven Construction of Certified Binaries. [Citation Graph (0, 0)][DBLP] MoDELS, 2007, pp:666-681 [Conf]
Focusing on Binding and Computation. [Citation Graph (, )][DBLP]
Polarity and the Logic of Delimited Continuations. [Citation Graph (, )][DBLP]
Focusing and higher-order abstract syntax. [Citation Graph (, )][DBLP]
A Pronominal Approach to Binding and Computation. [Citation Graph (, )][DBLP]
Refinement types and computational duality. [Citation Graph (, )][DBLP]
On the unity of duality. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|