Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ralf Lämmel
Typed Combinators for Generic Traversal
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Interaction Combinators
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Categorical Multi-Combinators
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combinators for Message-Passing in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Termination Combinators Forever
Traversal Algorithm for Complete Coverage
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Competitive Algorithms for Layered Graph Traversal
SIAM Journal on Computing
Mathematics
Computer Science
Session Traversal Utilities for NAT (STUN)
Universal Traversal Sequences for Expander Graphs
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science