Login / Signup
Mikus Vanags
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Lambda Calculus
Fixed Point
Metadata
Precisely Defined
Top Venues
Balt. J. Mod. Comput.
Comput. Inf. Sci.
</>
Publications
</>
Mikus Vanags
,
Rudite Cevere
The Perfect Lambda Syntax.
Balt. J. Mod. Comput.
6 (1) (2018)
Mikus Vanags
,
Rudite Cevere
Type Safe Metadata Combining.
Comput. Inf. Sci.
10 (2) (2017)