Standard
Semi-Inversion of Functional Parameters. / Mogensen, Torben Ægidius.
PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. ed. / Robert Glück; Oege de Moor. Association for Computing Machinery, 2008. p. 21-29.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 2008,
Semi-Inversion of Functional Parameters. in R Glück & O de Moor (eds),
PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Association for Computing Machinery, pp. 21-29, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, Calif., United States,
07/01/2008.
https://doi.org/10.1145/1328408.1328413
APA
Mogensen, T. Æ. (2008).
Semi-Inversion of Functional Parameters. In R. Glück, & O. de Moor (Eds.),
PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008 (pp. 21-29). Association for Computing Machinery.
https://doi.org/10.1145/1328408.1328413
Vancouver
Mogensen TÆ.
Semi-Inversion of Functional Parameters. In Glück R, de Moor O, editors, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Association for Computing Machinery. 2008. p. 21-29
https://doi.org/10.1145/1328408.1328413
Author
Mogensen, Torben Ægidius. / Semi-Inversion of Functional Parameters. PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. editor / Robert Glück ; Oege de Moor. Association for Computing Machinery, 2008. pp. 21-29
Bibtex
@inproceedings{9b3fb910d03d11dd9473000ea68e967b,
title = "Semi-Inversion of Functional Parameters",
abstract = "Semi-invertering er en generalisering af invertering: Et programs semi-inverse tager nogle af dets inddata og nogen af dets uddata og returnerer de resterende ind- og uddata.Tidligere arbejder har beskrevet semi-invertering af et f{\o}rsteordens funktionssprog. Vi udvider nu med funktionelle parametre. ",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2008",
doi = "10.1145/1328408.1328413",
language = "English",
isbn = "978-1-59593-977-7",
pages = "21--29",
editor = "Robert Gl{\"u}ck and {de Moor}, Oege",
booktitle = "PEPM'08",
publisher = "Association for Computing Machinery",
note = "null ; Conference date: 07-01-2008 Through 09-01-2008",
}
RIS
TY - GEN
T1 - Semi-Inversion of Functional Parameters
AU - Mogensen, Torben Ægidius
PY - 2008
Y1 - 2008
N2 - Semi-invertering er en generalisering af invertering: Et programs semi-inverse tager nogle af dets inddata og nogen af dets uddata og returnerer de resterende ind- og uddata.Tidligere arbejder har beskrevet semi-invertering af et førsteordens funktionssprog. Vi udvider nu med funktionelle parametre.
AB - Semi-invertering er en generalisering af invertering: Et programs semi-inverse tager nogle af dets inddata og nogen af dets uddata og returnerer de resterende ind- og uddata.Tidligere arbejder har beskrevet semi-invertering af et førsteordens funktionssprog. Vi udvider nu med funktionelle parametre.
U2 - 10.1145/1328408.1328413
DO - 10.1145/1328408.1328413
M3 - Article in proceedings
SN - 978-1-59593-977-7
SP - 21
EP - 29
BT - PEPM'08
A2 - Glück, Robert
A2 - de Moor, Oege
PB - Association for Computing Machinery
Y2 - 7 January 2008 through 9 January 2008
ER -
