Tim Richter

Publication Activity (10 Years)

Years Active: 2001-2021
Publications (10 Years): 4

Top Topics

Knowledge Sharing

Equivalence Relation

Programming Environment

Top Venues

Int. J. Adv. Corp. Learn.

J. Funct. Program.

Sci. Comput. Program.

Publications

Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. J. Funct. Program. 31 (2021)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. CoRR (2020)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172 (2019)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. CoRR (2018)
Sven Schulte, Tim Richter, Torsten Grantz
Digital Media as Support for Technical Vocational Training: Expectations and Research Results of the Use of Web2.0. Int. J. Adv. Corp. Learn. 7 (3) (2014)
Herrad Werner, Tim Richter
Circular stationary solutions in two-dimensional neural fields. Biol. Cybern. 85 (3) (2001)