links · people · groups · tags | My: links · tags · groups · watchlists · notes login · sign up now! | help · blog
Simpy simpy
 
Search Everyone: "Abstract Syntax"
Sort by: relevance · freshness · popularity Search: multi · tag · site · extension
1 - 3 of 3    
 
Copy this Julianna Zsido
by lambdareader ... last on 2006-07-14 ... tags: Abstract Syntax · Coq · Lambda Calculus · Nice Ville · monads · people · types
http://math/~zsido/ - cached - mail it - history
Copy this Generalised Folds for Nested Datatypes - Bird, Paterson (ResearchIndex)
by lambdareader ... last on 2006-07-14 ... tags: Abstract Syntax · Haskell Language · article · types
http://citeseer.ist.psu.edu/bird99generalised.html - cached - mail it - history
Copy this de Bruijn notation as a nested datatype - Bird, Paterson (ResearchIndex)
by lambdareader ... last on 2006-07-14 ... tags: Abstract Syntax · Haskell Language · Lambda Calculus
http://citeseer.ist.psu.edu/bird98de.html - cached - mail it - history
1 - 3 of 3    
Related Users
 
3 lambdareader
Related Tags
 
3 abstract syntax
2 haskell language
2 lambda calculus
2 types
1 article
1 coq
1 monads
1 nice ville
1 people
 
 
 
sign up now! · FAQ · about · advertising · blog · Contact · Privacy Policy · Terms & Conditions · © Copyright 2004-2008 Simpy. All Rights Reserved.
Note: If you can read this text, it means that you are not experiencing Simpy at its best. Simpy makes heavy use of Extensible Hypertext Markup Language (XHTML) and Cascading Style Sheets (CSS), which means that a modern, standards-compliant browser is needed for using Simpy. Please see how to get a better browser.