MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sam Lindley" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Reducibility and ⊤⊤-lifting for computation types  
  • by Sam Lindley, Ian Stark — 2005 — In Proc. 7th International Conference on Typed Lambda Calculi and Applications (TLCA), volume 3461 of Lecture Notes in Computer Science
  • …Reducibility and ⊤⊤-lifting for Computation Types Sam Lindley and Ian Stark Laboratory…
  • Cited by 6 (0 self) – Add To MetaCart
  • An idiom’s guide to formlets ⋆  
  • by Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
  • …An idiom’s guide to formlets ⋆ Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop…
  • Add To MetaCart
  • Shrinking reductions in SML.NET  
  • by Nick Benton, Andrew Kennedy, Sam Lindley, Claudio Russo — In 16th International Workshop on Implementation and Application of Functional Languages (IFL
  • …Shrinking Reductions in SML.NET Nick Benton 1 , Andrew Kennedy 1 , Sam Lindley 2 , and Claudio…
  • Cited by 1 (0 self) – Add To MetaCart
  • Links: Web programming without tiers  
  • by Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop — 2006 — In 5th International Symposium on Formal Methods for Components and Objects (FMCO
  • …Links: Web Programming Without Tiers ⋆ Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop…
  • Cited by 20 (2 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB