[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - DarcsRoundy, David · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - HalfsJones, Isaac · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 - <scp>TypEr</scp>Lindahl, Tobias; Sagonas, Konstantinos · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 - ERESYEDi Stefano, Antonella; Gangemi, Francesca; Santoro, Corrado · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - TypeCaseOliveira, Bruno C. d. S.; Gibbons, Jeremy · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - Visual haskellAngelov, Krasimir; Marlow, Simon · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 - Atom garbage collectionLindgren, Thomas · 2005

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - Polymorphic string matchingBird, Richard S. · 2005

Shared subtypesAhn, Ki Yung; Sheard, Tim · ACM SIGPLAN Notices · 2009

Multi-stage programming (poster)Taha, Walid; Sheard, Tim · ACM SIGPLAN Notices · 1997

Binders unboundWeirich, Stephanie; Yorgey, Brent A.; Sheard, Tim · ACM SIGPLAN Notices · 2011

Languages of the futureSheard, Tim · ACM SIGPLAN Notices · 2004

Template meta-programming for HaskellSheard, Tim; Jones, Simon Peyton · ACM SIGPLAN Notices · 2002

Automatic verification of database transaction safetySheard, Tim; Stemple, David · ACM Transactions on Database Systems · 1989

Inheritance of theory in the ADABTPL languageTim Sheard; David Stemple · 1992

Multi-stage programming with explicit annotationsTaha, Walid; Sheard, Tim · ACM SIGPLAN Notices · 1997