Eintrag weiter verarbeiten
Stackability in the simply-typed call-by-value lambda calculus
Gespeichert in:
Zeitschriftentitel: | Science of Computer Programming |
---|---|
Personen und Körperschaften: | , |
In: | Science of Computer Programming, 31, 1998, 1, S. 47-73 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |