High quality selected papers Unique visibility State-of-the-art research
Marco T. Morazán
code generation function-based programming functional logic computation functional programming functional programming languages functional theorem proving haskell programming ml programming parsing programming programming language programming techniques semantics structured analysis theorem provi