Eta-Expansions in Fomega

Authors:
Neil Ghani
Affiliations:
-
Venue:
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Year:
1996

Citing 0
Cited 3

Syntactic analysis of η-expansions in pure type systems

Information and Computation
Modular Monad Transformers

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Monad transformers as monoid transformers

Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract