Execution of external applications using TTCN-3VASSILIOU-GIOLES, Theofanis; DIN, George; SCHIEFERDECKER, Ina et al.Lecture notes in computer science. 2004, pp 209-223, issn 0302-9743, isbn 3-540-21219-1, 15 p.Conference Paper

User-defined types in a polymorphic languageHARLAND, D. M.Computer journal (Print). 1984, Vol 27, Num 1, pp 47-56, issn 0010-4620Article

Precise typing and filtersMARTIN, J. J.Information processing letters. 1983, Vol 17, Num 3, pp 109-112, issn 0020-0190Article

On the semantics of nested datatypesMARTIN, Clare; GIBBONS, Jeremy.Information processing letters. 2001, Vol 80, Num 5, pp 233-238, issn 0020-0190Article

Recent advances in Σ-definability over continuous data typesKOROVINA, Margarita.Lecture notes in computer science. 2003, pp 238-247, issn 0302-9743, isbn 3-540-20813-5, 10 p.Conference Paper

Necessary and sufficient conditions for the universality of programming formalismsKFOURY, A. J; URZYCZYN, P.Acta informatica. 1985, Vol 22, Num 4, pp 347-377, issn 0001-5903Article

An approach to persistent programmingATKINSON, M. P; BAILEY, P. J; CHISHOLM, K. J et al.Computer journal (Print). 1983, Vol 26, Num 4, pp 360-365, issn 0010-4620Article

Reducing the cost of object boxingOWEN, Tim; WATSON, Des.Lecture notes in computer science. 2004, pp 202-216, issn 0302-9743, isbn 3-540-21297-3, 15 p.Conference Paper

Type-indexed data typesHINZE, Ralf; JEURING, Johan; LÖH, Andres et al.Lecture notes in computer science. 2002, pp 148-174, issn 0302-9743, isbn 3-540-43857-2, 27 p.Conference Paper

Type-checking in an untyped languageRAMSAY, A.International journal of man-machine studies. 1984, Vol 20, Num 2, pp 157-167, issn 0020-7373Article

A proposal for an extended form of type checking of expressionsHOUSE, R. T.Computer journal (Print). 1983, Vol 26, Num 4, pp 366-374, issn 0010-4620Article

Performing algorithmic refinement before data refinement in BBUTLER, M; MEAGHER, M.Lecture notes in computer science. 2000, pp 324-343, issn 0302-9743, isbn 3-540-67944-8Conference Paper

Data types as algorithmsNAIT ABDALLAH, M. A; PERROT, J.-F.R.A.I.R.O. Informatique théorique. 1984, Vol 18, Num 1, pp 3-22, issn 0399-0540Article

On the multiple implementation of abstract data types within a computationWHITE, J. R.IEEE transactions on software engineering. 1983, Vol 9, Num 4, pp 395-411, issn 0098-5589Article

Cadre et méthode de spécification de systèmes d'information fondés sur les types de données = Framework and method for specification of information systems based on data typesDUBOIS, Eric.1984, 365 pThesis

Datatype-generic reasoningBACKHOUSE, Roland.Lecture notes in computer science. 2006, pp 21-34, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 14 p.Conference Paper

Generic programming : advanced lecturesBackhouse, Roland; Gibbons, Jeremy.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20194-7, IX, 221 p, isbn 3-540-20194-7Book

Efficient code synthesis from extended dataflow graphs for multimedia applicationsOH, Hyunok; HA, Soonhoi.Design automation conference. 2002, pp 275-280, isbn 1-58113-461-4, 6 p.Conference Paper

NIL (New Implementation of LISP) release 0. Eléments de programmation sur DEC VAX 11/780 = NIL release 0. Programming elements on DEC VAX 11/780ALIZON, F.1984, IV-83 pReport

Other People's DataPETSCHULAT, Stephen.Communications of the ACM. 2010, Vol 53, Num 1, pp 53-57, issn 0001-0782, 5 p.Article

UCL+P : Defining and implementing Persistent Common LispJACOBS, J. H; SWANSON, M. R.Lisp and symbolic computation. 1997, Vol 10, Num 1, pp 5-38, issn 0892-4635Article

Simulationstechnische Ermittlung des bei der Kopplung von U-880-Mikrorechnern über zeitgeteilt benutztes Bussystem erreichbaren Befehlsdurchsatzes = La détermination par simulation du débit de commandes réalisables à l'aide d'un système temporel de bus, dans un groupement de microordinateurs U880 = Simulation engineering determination of the instruction throughout attainable in the coupling of U880 microcomputers via a bus system used in time divisionWINTER, W.Nachrichtentechnik. Elektronik. 1985, Num 9, pp 331-335, issn 0323-4657Article

Data types are valuesDONAHUE, J; DEMERS, A.ACM transactions on programming languages and systems. 1985, Vol 7, Num 3, pp 426-445, issn 0164-0925Article

Rewrite systems on a lattice of typesCUNNINGHAM, R. J; DICK, A. J. J.Acta informatica. 1985, Vol 22, Num 2, pp 149-169, issn 0001-5903Article

Distributing and revoking access authorizations on abstract objects: a capability approachCORSINI, P; FROSINI, G; LOPRIORE, L et al.Software, practice & experience. 1984, Vol 14, Num 10, pp 931-943, issn 0038-0644Article