( en | de | ru )

 

Disambiguation of "Sheard, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
Calculating Software Generators from Solution Specifications.

, , , , , , , , and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 546-560. Springer, (1995)

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)

Tim Hegemann

Graph Harvester (Software Abstract), , , and . Proc. 32nd Int. Symp. Graph Drawing & Network Vis. (GD'24), volume 320 of LIPIcs, page 58:1–58:3. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, (2024)
Graph Harvester (Software Abstract), , , and . Proc. 32nd Int. Symp. Graph Drawing & Network Vis. (GD'24), volume 320 of LIPIcs, page 58:1–58:3. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, (2024)Morphing Graph Drawings in the Presence of Point Obstacles, , , , , , and . Proc. 50th Int. Conf. Current Trends Theory & Practice Comput. Sci. (SOFSEM'24), volume 14519 of Lecture Notes in Computer Science, page . Springer-Verlag, (2024)Relevanz der Codequalität in einem Praktikum mit automatisch getesteten Programmierabgaben, , , and . Proceedings of the Fourth Workshop Äutomatische Bewertung von Programmieraufgaben" (ABP 2019), page 27-34. Gesellschaft für Informatik e.V., (2019)

Stefan Timm

Roman Timofeev

Carmen Timke

 

Other publications of authors with the same name

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.Template meta-programming for Haskell., and . Haskell, page 1-16. ACM, (2002)Improving Programs Which Recurse over Multiple Inductive Structures., , and . PEPM, page 21-32. University of Melbourne, Australia, Department of Computer Science, (1994)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)Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection.. AMAST, page 145-152. Springer, (1993)Using MetaML: A Staged Programming Language.. Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science, page 207-239. Springer, (1998)Coping with Complexity in Automated Reasoning about Database Systems., and . VLDB, page 426-435. Morgan Kaufmann, (1985)Leveling up dependent types: generic programming over a predicative hierarchy of universes., and . DTP@ICFP, page 49-60. ACM, (2013)Fine Control of Demand in Haskell., , and . MPC, volume 2386 of Lecture Notes in Computer Science, page 68-93. Springer, (2002)