( en | de | ru )

 

Disambiguation of "Sheard, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL.

, and . WGP@ICFP, page 3-14. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim Mattern

Regeneration der Grünlandnarbe nach Winterbeweidung mit Rindern. Uni Gießen, (2009)

Stefan Timm

Roman Timofeev

Melanie Timpel

Ingo Timm

 

Other publications of authors with the same name

Exploiting Punctuation Semantics in Continuous Data Streams., , , and . IEEE Trans. Knowl. Data Eng., 15 (3): 555-568 (2003)A Recursive Base for Database Programming Primitives., and . East/West Database Workshop, volume 504 of Lecture Notes in Computer Science, page 311-332. Springer, (1990)Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL., and . WGP@ICFP, page 3-14. ACM, (2014)Type-level Computation Using Narrowing in Omegamega.. PLPV@IJCAR, volume 174 of Electronic Notes in Theoretical Computer Science, page 105-128. Elsevier, (2006)On the Modes and Meaning of Feedback to Transaction Designers., , and . SIGMOD Conference, page 374-386. ACM Press, (1987)SIGMOD Record 16(3), December 1987.Improving Programs Which Recurse over Multiple Inductive Structures., , and . PEPM, page 21-32. University of Melbourne, Australia, Department of Computer Science, (1994)Template meta-programming for Haskell., and . Haskell, page 1-16. ACM, (2002)Uniform Traversal Combinators: Definition, Use and Properties., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 148-162. Springer, (1992)Closed types for a safe imperative MetaML., , and . J. Funct. Program., 13 (3): 545-571 (2003)Leveling up dependent types: generic programming over a predicative hierarchy of universes., and . DTP@ICFP, page 49-60. ACM, (2013)