default search action

combined dblp search
author search
venue search
publication search

ask others

3. TIC 2000: Montreal, Canada

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > TIC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tic/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/2000
Robert Harper:
Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Lecture Notes in Computer Science 2071, Springer 2001, ISBN 3-540-42196-3
- view
  authority control:
- export record
  dblp key:
  - conf/tic/Crary00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/Crary00
Karl Crary:
Sound and Complete Elimination of Singleton Kinds. 1-26
- view
  authority control:
- export record
  dblp key:
  - conf/tic/DimockWMTWC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/DimockWMTWC00
Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine:
Program Representation Size in an Intermediate Language with Intersection and Union Types. 27-52
- view
  authority control:
- export record
  dblp key:
  - conf/tic/Drossopoulou00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/Drossopoulou00
Sophia Drossopoulou:
An Abstract Model of Java Dynamic Linking and Loading. 53-84
- view
  authority control:
- export record
  dblp key:
  - conf/tic/Duggan00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/Duggan00
Dominic Duggan:
Sharing in Typed Module Assembly Language. 85-116
- view
  authority control:
- export record
  dblp key:
  - conf/tic/GrossmanM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/GrossmanM00
Dan Grossman, J. Gregory Morrisett:
Scalable Certification for Typed Assembly Language. 117-146
- view
  authority control:
- export record
  dblp key:
  - conf/tic/HicksWC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/HicksWC00
Michael W. Hicks, Stephanie Weirich, Karl Crary:
Safe and Flexible Dynamic Linking of Native Code. 147-176
- view
  authority control:
- export record
  dblp key:
  - conf/tic/WalkerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/WalkerM00
David Walker, J. Gregory Morrisett:
Alias Types for Recursive Data Structures. 177-206

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.