en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Kohlbecker
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(6)
tags
dblp
No matching items.
Macro-by-Example: Deriving Syntactic Transformations from their Specifications.
Eugene E. Kohlbecker
, and
Mitchell Wand
.
POPL,
page 77-84.
ACM Press,
(
1987
)
Eugene E. Kohlbecker
, and
Mitchell Wand
.
POPL,
page 77-84.
ACM Press,
(
1987
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Syntactic Theory of Sequential Control.
Matthias Felleisen
,
Daniel P. Friedman
,
Eugene E. Kohlbecker
, and
Bruce F. Duba
.
Theor. Comput. Sci.
(
1987
)
Matthias Felleisen
,
Daniel P. Friedman
,
Eugene E. Kohlbecker
, and
Bruce F. Duba
.
Theor. Comput. Sci.
(
1987
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Revised Report on the Algorithmic Language Scheme.
Harold Abelson
,
R. Kent Dybvig
,
Christopher T. Haynes
,
Guillermo Juan Rozas
,
N. I. Adams IV
,
Daniel P. Friedman
,
Eugene E. Kohlbecker
,
Guy L. Steele Jr.
,
David H. Bartley
,
Robert H. Halstead Jr.
,
Don Oxley
,
Gerald J. Sussman
,
G. Brooks
,
Chris Hanson
,
Kent M. Pitman
, and
Mitchell Wand
.
Higher-Order and Symbolic Computation
11(1):7-105
(
1998
)
Harold Abelson
,
R. Kent Dybvig
,
Christopher T. Haynes
,
Guillermo Juan Rozas
,
N. I. Adams IV
,
Daniel P. Friedman
,
Eugene E. Kohlbecker
,
Guy L. Steele Jr.
,
David H. Bartley
,
Robert H. Halstead Jr.
,
Don Oxley
,
Gerald J. Sussman
,
G. Brooks
,
Chris Hanson
,
Kent M. Pitman
, and
Mitchell Wand
.
Higher-Order and Symbolic Computation
11(1):7-105
(
1998
)
2 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The EDIT Cyberplatform for Taxonomy and the Taxonomic Workflow: Selected Components.
Pepé Ciardelli
,
Patricia Kelbert
,
Andreas Kohlbecker
,
Niels Hoffmann
,
Anton Güntsch
, and
Walter G. Berendsohn
.
GI Jahrestagung,
volume 154 of LNI,
page 625-638.
GI,
(
2009
)
Pepé Ciardelli
,
Patricia Kelbert
,
Andreas Kohlbecker
,
Niels Hoffmann
,
Anton Güntsch
, and
Walter G. Berendsohn
.
GI Jahrestagung,
volume 154 of LNI,
page 625-638.
GI,
(
2009
)
2 years and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Hygienic Macro Expansion.
Eugene E. Kohlbecker
,
Daniel P. Friedman
,
Matthias Felleisen
, and
Bruce F. Duba
.
LISP and Functional Programming,
page 151-161.
(
1986
)
Eugene E. Kohlbecker
,
Daniel P. Friedman
,
Matthias Felleisen
, and
Bruce F. Duba
.
LISP and Functional Programming,
page 151-161.
(
1986
)
10 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reasoning with Continuations
Matthias Felleisen
,
Daniel P. Friedman
,
Eugene E. Kohlbecker
, and
Bruce F. Duba
.
LICS,
page 131-141.
IEEE Computer Society,
(
1986
)
Matthias Felleisen
,
Daniel P. Friedman
,
Eugene E. Kohlbecker
, and
Bruce F. Duba
.
LICS,
page 131-141.
IEEE Computer Society,
(
1986
)
11 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact