https://m2.mtmt.hu/
eng
2024-03-28 09:26
Book
1962629
APPROVED
true
Computing Laboratory, University of Kent,
Technical Report No. 12-07
0
2018-09-12T12:11:39.000+0000
false
1962629
2023-03-06T11:08:03.402+0000
2023-03-06T11:06:38.087+0000
2012-05-15T17:25:14.000+0000
true
10013702
Kozsik
Tamás
/api/author/10013702
Author
true
10013702
2023-03-06T11:06:38.094+0000
2023-03-06T11:06:38.094+0000
2020-12-09T14:00:30.664+0000
true
10029372
Szabó
Tibor
/api/admin/10029372
Admin
true
10029372
true
false
true
32
32
/api/publicationtype/32
PublicationType
6
true
32
Book
true
1
/api/category/1
Category
true
1
Chitil, Olaf
Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007
0
2007
true
58874
/api/conference/58874
true
10815
true
10011
/api/country/10011
Country
true
5
/api/city/10815
City
true
1365204
Conference
true
2012
(Kozsik Tamás (Formális módszerek); 2012.05.15. 19:24:58)
true
true
false
true
false
false
NONE
2023-03-06
false
true
11
Import
Automata
/api/author/11
Author
true
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
false
false
false
false
2012-09-18T06:02:04.000+0000
2012-06-20T06:02:04.000+0000
6
5
0
0
1
3
false
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
2804966
/api/authorship/2804966
1
1.0
false
false
Chitil
Olaf
false
true
false
AuthorshipType
2
/api/authorshiptype/2
-1
true
-1
true
false
15112476
true
PublicationIdentifier
18092489
/api/publicationidentifier/18092489
IDENTICAL
http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf
http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf
false
true
SeriesVolume
30715
/api/seriesvolume/30715
Book
1962629
/api/publication/1962629
true
false
false
PublicationType
32
/api/publicationtype/32
32
Book
6
true
32
true
Category
1
/api/category/1
true
1
true
Language
10002
/api/language/10002
Angol
English
true
2
true
Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007
PublicationIdentifier
18092489
/api/publicationidentifier/18092489
IDENTICAL
http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf
http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf
false
true
2007
true
true
false
true
false
true
1962629
true
BookSeries
20011523
/api/bookseries/20011523
false
false
false
false
true
true
false
true
BookChapter
1994245
/api/publication/1994245
true
false
false
PublicationType
31
/api/publicationtype/31
31
BookChapter
4
true
31
true
SubType
10000197
/api/subtype/10000197
Konferenciaközlemény
Conference paper
PublicationType
31
/api/publicationtype/31
31
BookChapter
4
true
31
true
452
true
10000197
true
Category
1
/api/category/1
true
1
true
Language
10002
/api/language/10002
Angol
English
true
2
true
Meta<Fun> - Towards a Functional-Style Interface for C++ Template Metaprograms
14
2007
true
true
true
true
true
1994245
true
BookChapter
23848215
/api/publication/23848215
false
true
false
PublicationType
31
/api/publicationtype/31
31
BookChapter
4
true
31
true
SubType
10000197
/api/subtype/10000197
Konferenciaközlemény
Conference paper
PublicationType
31
/api/publicationtype/31
31
BookChapter
4
true
31
true
452
true
10000197
true
Category
1
/api/category/1
true
1
true
Language
10002
/api/language/10002
Angol
English
true
2
true
Call Graphs, Dominator Trees, and Lambda Lifting
18
2007
true
true
true
true
false
true
13848215
true
BookChapter
1962649
/api/publication/1962649
true
true
false
PublicationType
31
/api/publicationtype/31
31
BookChapter
4
true
31
true
SubType
10000197
/api/subtype/10000197
Konferenciaközlemény
Conference paper
PublicationType
31
/api/publicationtype/31
31
BookChapter
4
true
31
true
452
true
10000197
true
Category
1
/api/category/1
true
1
true
Language
10002
/api/language/10002
Angol
English
true
2
true
An Interpretation of Temporal Properties in Functional Programs
5
2007
true
true
true
true
false
true
1962649
true
/api/publication/1962629
<div class="Book Publication short-list" xmlns="http://www.w3.org/1999/html" xmlns="http://www.w3.org/1999/html"> <div class="authors"> <span class="author-name" > Chitil, Olaf </span> <span class="author-type"> (eds.) </span> </div > <div class="title"><a href="/gui2/?mode=browse¶ms=publication;1962629" mtid="1962629" target="_blank">Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007</a></div> <div class="pub-info"> <span class="year">(2007)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf" target="_blank" href="http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf"> Teljes dokumentum </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Publication:1962629 </span> <span class="status-holder"><span class="status-data status-APPROVED"> Published </span></span> <span class="pub-core">Core </span> <span class="pub-type">Conference proceedings </span> <!-- && !record.category.scientific --> <span class="pub-category">Scientific</span> </div> </div> </div><div class="Book Publication long-list">
<div class="authors">
<img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png">
<div class="autype autype-1"> Editor:
<span class="author-name" >Chitil Olaf
</span>
</div>
</div>
<div class="title"><a href="/gui2/?mode=browse¶ms=publication;1962629" target="_blank">Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007</a></div><div class="conference">
Conference:
<span class="location">Freiburg im Breisgau, Germany
<span class="conference-date">2007.09.27.
-
2007.09.29.</span>
</div><div class="publish-data">
<span class="year">(2007)</span>
</div>
<span class="volume">
<span class="volumeTitle"></span>
(
<span class="seriesTitle">Computer Science at Kent; </span>
)
<br>
</span>
<div class="pub-footer">
<span class="language" xmlns="http://www.w3.org/1999/html">Language:
English
| </span>
<span class="identifiers">
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf" target="_blank" href="http://proglang.informatik.uni-freiburg.de/IFL2007/proceedings.pdf">
Teljes dokumentum
</a>
</span>
</span>
<div class="mtid"><span class="long-pub-mtid">Publication: 1962629</span>
| <span class="status-data status-APPROVED"> Published
</span>
<span class="oldId">Old id: 1962629</span> |
Core
| <span class="type-subtype">Conference proceedings
</span>
| <span class="pub-category">Scientific</span>
| <span class="publication-sourceOfData">kézi felvitel</span>
</div>
<div class="lastModified">Last Modified: 2023.03.06. 12:06 Zsuzsanna Tomcsányi (MTMT_KP_admin)
</div>
<div class="chapters">
<b><a target="_blank" href="/api/publication?from=BookChapter&cond=book.mtid;eq;1962629">Chapters: 3</a></b>
</div>
<pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Comments</u>: Computing Laboratory, University of Kent,
Technical Report No. 12-07</pre>
</div></div>