海量图书期刊资源,随时随地畅享阅读乐趣
[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