Daniel Lincke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type system

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in HaskellDaniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu. DSL 2009: 236-261 [doi]

Applying Bootstrap method to the types I-II errors in the measurement systemF. K. Wang, S. W. Yang. qre, 24(1):83-97, 2008. [doi]

Predicting performance measures for Markovian type of manufacturing systems with product failuresSalil Pradhan, Purushothaman Damodaran, Krishnaswami Srihari. eor, 184(2):725-744, 2008. [doi]

Erasure and Polymorphism in Pure Type SystemsNathan Mishra-Linger, Tim Sheard. fossacs 2008: 350-364 [doi]

Strong normalisation in two Pure Pattern Type SystemsBenjamin Wack, Clément Houtmann. mscs, 18(3):431-465, 2008. [doi]

MC::2:: A module calculus for Pure Type SystemsJudicaël Courant. JFP, 17(3):287-352, 2007. [doi]

A Study on a Stereoscopic Display System Using a Rotary Disk Type Beam ShutterKwang Hyung Lee, Tae-Jeong Jang. hci 2007: 868-875 [doi]

A third-order Newton-type method to solve systems of nonlinear equationsM. T. Darvishi, A. Barati. amc, 187(2):630-635, 2007. [doi]

Type Approving the Signaling SystemsHassan Moradi, Hassan Yeganeh, Maryam Fallahpour. cnsr 2007: 314-316 [doi]

Non-interference Properties for Data-Type Reduction of Communicating SystemsTobe Toben. IFM 2007: 619-638 [doi]

The structure of the overhanging relations associated with some types of closure systemsFlorent Domenach, Bruno Leclerc. AMAI, 49(1-4):137-149, 2007. [doi]

Splitting-type method for systems of variational inequalitiesIgor V. Konnov. cor, 33:520-534, 2006. [doi]

Stabilization of Block-Type-Decodability Properties for Constrained SystemsPanu Chaichanavong, Brian H. Marcus. siamdm, 19(2):321-344, 2005. [doi]

Types, potency, and idempotency: why nonlinearity and amnesia make a type system workPeter Møller Neergaard, Harry G. Mairson. ICFP 2004: 138-149 [doi]

Convergence of Hermite-Feje r type interpolation of higher order on an arbitrary system of nodesYing Guang Shi. jat, 129(1):102-117, 2004. [doi]

New Kamenev type oscillation criteria for linear matrix Hamiltonian systemsYuan Gong Sun. amc, 158(1):69-78, 2004. [doi]

Forced oscillations of solutions of systems of hyperbolic equations of neutral typeEmil Minchev. amc, 155(2):427-438, 2004. [doi]

Asymptotic initial-value method for a system of singularly perturbed second-order ordinary differential equations of convection-diffusion typeT. Valanarasu, N. Ramanujam. ijcm, 81(11):1381-1393, 2004. [doi]

The Simply-typed Pure Pattern Type System Ensures Strong NormalizationBenjamin Wack. ifipTCS 2004: 633-646

Selected Spatio-Temporal Data Types and Operations for a 3D/4D Geological Information SystemJörg Siebeck, Serge S. Shumilov, Armin B. Cremers, Martin Breunig, Andreas Thomsen. ssdbm 2004: 111-114 [doi]

Convergence of Hermite-Fejér type interpolation of higher order on an arbitrary system of nodesYing Guang Shi. jat, 123(2):173-187, 2003. [doi]

Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems EngineeringB. Nick Rossiter, David A. Nelson, Michael A. Heather. ICEIS 2003: 366-373

Enhancing System Validation with Behavioural TypesStefan Gossens. hase 2002: 201-210 [doi]

A Simple Type System for Program ReengineeringI. Guilfanov. WCRE 2001: 357-361 [doi]

Pure type systems with explicit substitutionRoel Bloo. mscs, 11(1):3-19, 2001.

A Type System for Dynamic Web DocumentsAnders Sandholm, Michael I. Schwartzbach. POPL 2000: 290-301 [doi]

A Booking Type Production System as a Collaboration Method for Virtual EnterprisesY. Nishioka, Y. Kamio, K. Kawashima, Y. Fukuda. ifip5-3 2001: 164-172

Non-network Type Artificial Immune System and its Application to Automated Guided Vehicle (AGV) SystemBen T. Nohara, Hiroko Takahashi. jaciii, 4(1):111-119, 2000. [doi]

Swinging types=functions+relations+transition systemsPeter Padawitz. TCS, 243(1-2):93-165, 2000. [doi]

A Polar Type SystemTrevor Jim. icalp 2000: 323-338

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells. ICFP 1999: 90-101 [doi]

An innovative estimation method with own-ship estimator for an allaccelerometer-type inertial navigation systemSou-Chen Lee, Cheng-Yu Liu. ijsysc, 30(12):1259-1266, 1999. [doi]

Integrating multiple and diverse abstract knowledge types in real-time embedded systemsAlan Harrison, Peter G. Thomas. kbs, 9(7):417-434, 1996. [doi]

Generalising the BETA Type SystemSøren Brandt, Jørgen Lindskov Knudsen. ECOOP 1996: 421-448 [doi]

Estimation of Packet Delivery Time Characteristics in an Ethernet-type LAN Management SystemJacques Bensimon, Yuri Zlotnikov. ijnm, 6(5):264-270, 1996. [doi]

Embedding a Second Order Type System into an Intersection Type SystemHirofumi Yokouchi. iandc, 117(2):206-220, March 1995.

Decidable Properties of Intersection Type SystemsToshihiko Kurata, Masako Takahashi. tlca 1995: 297-311

Engineering Complex Computer Systems: A Challenge for Computer Types Everywhere - Part 1: Let s Agree On What These Systems AreAlexander D. Stoyenko. Computer, 28(9):85-86, 1995.

Extensions to Type Systems Can Preserve Operational EquivalencesJon G. Riecke, Ramesh Subrahmanyam. tacs 1994: 76-95

GGeo-Type Approximations for General Discrete-Time Queueing SystemsDemetres D. Kouvatsos, Nasreddine Tabet-Aouel. atmn 1993: 469-483

Extending AlgBench with a Type SystemStephan A. Missura. disco 1993: 359-363

The System FLORA: Learning from Type-Varying Training SetsMiroslav Kubat, Jirina Pavlickova. ecml 1991: 234

Introduction to Generalized Type SystemsHenk Barendregt. JFP, 1(2):125-154, 1991.

High-speed processing schemes for summation type and iteration type vector instructions on Hitachi supercomputer S-820 systemHideo Wada, K. Ishil, Masakazu Fukagawa, H. Murayama, Shun Kawabe. ics 1988: 196-206 [doi]

The System F of Variable Types, Fifteen Years LaterJean-Yves Girard. TCS, 45(2):159-192, 1986.

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data TypesUlrich Bartels, Walter G. Olthoff, Peter Raulefs. ki 1981: 112-123

An Extended Polymorphic Type System for Applicative LanguagesMario Coppo. mfcs 1980: 194-204

Bounds on the Scheduling of Typed Task SystemsJeffrey M. Jaffe. SICOMP, 9(3):541-551, 1980.

List Tracing in Systems Allowing Multiple Cell-TypesRobert Fenichel. CACM, 14(8):522-526, 1971.

Systems of Transfinite Types Involving lambda-ConversionMaurice L Abbe. JSYML, 18(3):209-224, 1953.

runs on WebDSL