Showing results 18 to 22 of 22
< previous
Title | Author(s) | Issue Date | |
---|---|---|---|
2022 | |||
The Essence of Nested Composition Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | ||
Theta stimulation polymerizes actin in dendritic spines of hippocampus Journal:Journal of Neuroscience | 2005 | ||
Typed First-Class Traits Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | ||
Unified Syntax with Iso-types Proceeding/Conference:Proceedings of the 14th Asian Symposium on Programming Languages and Systems (APLAS) 2016 | 2016 |