Sciweavers

13734 search results - page 6 / 2747
» Abstractions of data types
Sort
View
COMPGEOM
2005
ACM
13 years 9 months ago
Abstract order type extension and new results on the rectilinear crossing number
Order Type Extension and New Results ectilinear Crossing Number - Extended Abstract Oswin Aichholzer∗ Hannes Krasser† We provide a complete data base of all realizable order t...
Oswin Aichholzer, Hannes Krasser
MSCS
2010
86views more  MSCS 2010»
13 years 6 months ago
Realisability semantics of parametric polymorphism, general references and recursive types
tations of imperative abstract data types.
Lars Birkedal, Kristian Støvring, Jacob Tha...
ICNP
2005
IEEE
14 years 1 months ago
Typed Abstraction of Complex Network Compositions
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
POPL
2012
ACM
12 years 3 months ago
Canonicity for 2-dimensional type theory
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
Daniel R. Licata, Robert Harper
CACM
2008
101views more  CACM 2008»
13 years 7 months ago
Just say 'A Class Defines a Data Type'
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
Chenglie Hu