Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Tobias Lindahl, Konstantinos Sagonas	Practical type inference based on success typings.	PPDP	2006	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, constraint-based type inference
29	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
29	Nicholas J. Daras	Generalized Padé-Type Approximation and Integral Representations.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	generalized Padé-type approximant, Bergman kernel, integral representation, self-summable countable orthonormal set in a Hilbert space, bianalytic map, Fourier series, integral operator
29	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
28	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
28	Babak Rezaee	Enhanced Interval Type-2 Fuzzy Logic Systems with Improved the Output Processing Using Uncertainty Bounds.	FSKD (5)	2008	DBLP DOI BibTeX RDF
28	Olaf Chitil	Compositional Explanation of Types and Algorithmic Debugging of Type Errors.	ICFP	2001	DBLP DOI BibTeX RDF
28	Neal Glew	Type Dispatch for Named Hierarchical Types.	ICFP	1999	DBLP DOI BibTeX RDF
28	Olivier Danvy	A Simple Solution to Type Specialization.	ICALP	1998	DBLP DOI BibTeX RDF
28	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	evidence translation, Constraints, type inference, coherence, overloading, type classes
28	Martin Erwig, Deling Ren	A rule-based language for programming software updates.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	type change, update program, update safey, type correctness
27	Chengdong Li, Jianqiang Yi, Dongbin Zhao	A Novel Type-Reduction Method for Interval Type-2 Fuzzy Logic Systems.	FSKD (1)	2008	DBLP DOI BibTeX RDF
27	Lunjin Lu, Andy King	Backward Type Inference Generalises Type Checking.	SAS	2002	DBLP DOI BibTeX RDF
27	Norman Danner, James S. Royer	Two Algorithms in Search of a Type-System.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Higher-type computation, Higher-type complexity, Basic feasible functionals, Compositional semantics, Implicit computational complexity
27	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
27	Luís A. Lucas, Tania Mezzadri Centeno, Myriam Regattieri Delgado	General type-2 fuzzy classifiers to land cover classification.	SAC	2008	DBLP DOI BibTeX RDF	type-2 fuzzy classifiers, fuzzy systems, type-2 fuzzy sets, land cover classification
27	Gaëtan Mourmant, Mike Gallivan	How personality type influences decision paths in the unfolding model of voluntary job turnover: an application to IS professionals.	CPR	2007	DBLP DOI BibTeX RDF	Myers-Briggs personality type, Myers-Briggs type indicator (MBTI), job turnover, unfolding model of turnover
27	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
27	Oukseh Lee, Kwangkeun Yi	Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type inference algorithm, type error
27	Christopher A. Stone, Robert Harper 0001	Extensional equivalence and singleton types.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence algorithms, logical relations, Singleton types
27	Xiaohan Zheng, Herbert F. Voigt	Computational model of response maps in the dorsal cochlear nucleus.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
27	Diana Patterson	The Impact of Technology on Publishing Through the Ages to You.	SIGDOC	1985	DBLP DOI BibTeX RDF
27	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
27	Vasile Preda, Ioan M. Stancu-Minasian, Miruna Beldiman, Andreea Madalina Stancu	Generalized V-univexity type-I for multiobjective programming with n-set functions.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	n-set functions, Generalized univexity V-type-I, Duality, Optimality conditions, Multi objective programming
27	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
27	Mayur Naik, Jens Palsberg	A type system equivalent to a model checker.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, type systems
27	Denis Caromel, Ludovic Henrio, Mario Leyton	Type Safe Algorithmic Skeletons.	PDP	2008	DBLP DOI BibTeX RDF	Type systems, algorithmic skeletons
27	Juan Wang, Jingwei Zhang, Huanguo Zhang	Type Flaw Attacks and Prevention in Security Protocols.	SNPD	2008	DBLP DOI BibTeX RDF	type flaw attack, GDOI, security protocol
27	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
27	John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa	Type-safe distributed programming for OCaml.	ML	2006	DBLP DOI BibTeX RDF	HashCaml, type-safe marshalling, objective Caml
27	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
27	Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech	PolyTOIL: A type-safe polymorphic object-oriented language.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	hash type, Matching
27	Prateek Mishra, Uday S. Reddy	Declaration-Free Type Checking.	POPL	1985	DBLP DOI BibTeX RDF	equational languages, regular trees, solving inequations, type inference
26	Christian Wagner 0002, Hani Hagras	A Genetic Algorithm Based Architecture for Evolving Type-2 Fuzzy Logic Controllers for Real World Autonomous Mobile Robots.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
26	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
26	David Jeffery, Fergus Henderson, Zoltan Somogyi	Type Classes in Mercury.	ACSC	2000	DBLP DOI BibTeX RDF
26	Thomas R. Leap	Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Modula-2
26	Giorgio Levi, Fausto Spoto	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, Abstract interpretation, abstract domain, type analysis
26	Marcelo P. Fiore	Isomorphisms of generic recursive polynomial types.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, type isomorphism, data structure, type theory, recursive types, word problem, semigroups, rigs
26	Hideki Sato, Masayoshi Aritsugi	Extended Virtual Type for a Multiple-Type Object with Repeating Types.	KES (2)	2006	DBLP DOI BibTeX RDF
25	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
25	Teck Wee Chua, Woei Wan Tan	Genetically Evolved Fuzzy Rule-Based Classifiers and Application to Automotive Classification.	SEAL	2008	DBLP DOI BibTeX RDF	Type-2 Fuzzy, Fuzzy Rule-Based Classifier, Genetic-Fuzzy
25	Stefan Monnier	The swiss coercion.	PLPV	2007	DBLP DOI BibTeX RDF	type based security, formal methods, compilation, coercions
25	Adam Niewiadomski	Imprecision Measures for Type-2 Fuzzy Sets: Applications to Linguistic Summarization of Databases.	ICAISC	2008	DBLP DOI BibTeX RDF	Linguistic Summaries of Databases, Imprecision Measures, Quality Measures of Linguistic Summaries, Type-2 Linguistic Summarization, The Fuzzy Support, Cardinality-Based Imprecision Measure, Type-2 Fuzzy Sets
25	Cigdem Z. Gurgur, Tayfur Altiok	Approximate Analysis of Decentralized, Multi-Stage, Pull-Type Production/Inventory Systems.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	multi-item/echelon/stage, decentralized production/inventory, two-card kanban system, pull-type, decomposition, phase-type distribution
25	Yitzhak Mandelbaum, David Walker 0001, Robert Harper 0001	An effective theory of type refinements.	ICFP	2003	DBLP DOI BibTeX RDF	effectful computation, type refinement, linear logic, type theory, local reasoning
25	Tudor Balanescu	Generalised Stream X-Machines with Output Delimited Type.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Design for test conditions, Generalised stream X-machines, Output delimited type, Test completeness, Weak output distinguishable type, W-method
25	Xavier Leroy, François Pessaux	Type-based analysis of uncaught exceptions.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml
25	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
25	Bernd Hindel	An object-oriented programming language for distributed systems: Heraklit.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
25	Gerardo M. Mendez, María de los Angeles Hernandez M.	Interval Type-2 ANFIS.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Interval type-2 fuzzy logic systems, neuro fuzzy systems, ANFIS, hybrid learning
25	Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of soundness of type systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	software model checking, type soundness
25	Ruixuan Li 0001, Xiaolin Sun, Zhengding Lu, Kunmei Wen, Yuhua Li 0003	Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	Semantic search engine, Type-2 fuzzy, Description logic, Fuzzy ontology
25	Shuling Wang, Quan Long, Zongyan Qiu	Type Safety for FJ and FGJ.	ICTAC	2006	DBLP DOI BibTeX RDF	Downcast, Observer Pattern, Type Safety, Featherweight Java
25	Muhammet Emin Emiroglu, Ahmet Tuna, Abdussamet Arslan	Development of an Expert System for Selection of Dam Type on Alluvium Foundations.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Alluvium foundation, Dams, ESTA, Type selection, Knowledge based system, Expert systems
25	Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken	Flow-Sensitive Type Qualifiers.	PLDI	2002	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity
25	Søren Brandt, Jørgen Lindskov Knudsen	Generalising the BETA Type System.	ECOOP	1996	DBLP DOI BibTeX RDF	constraints, type systems, object-oriented modelling, language design, BETA
25	Ole Agesen	The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.	ECOOP	1995	DBLP DOI BibTeX RDF	concrete types, inheritance, polymorphism, type inference, Self, abstract types
24	Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein	Enforcing and validating user-defined programming disciplines.	PASTE	2007	DBLP DOI BibTeX RDF	pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers
24	Wesley W. Chu, Qiming Chen	A Structured Approach for Cooperative Query Answering.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation
24	Lanfranco Lopriore	Capability Based Tagged Architectures.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	type specification, abstract object, capability based addressing, object encapsulation, segmented memory, tagged architecture, type implementation, Abstract data type, capability
24	John B. Polhill	New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B10
24	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
24	Dongwon Kim, Gwi-Tae Park	Using Interval Singleton Type 2 Fuzzy Logic System in Corrupted Time Series Modelling.	KES (4)	2005	DBLP DOI BibTeX RDF
24	Hani Hagras	A hierarchical type-2 fuzzy logic control architecture for autonomous mobile robots.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
24	Edward A. Lee, Yuhong Xiong	A behavioral type system and its application in Ptolemy II.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
24	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
24	Yuhong Xiong, Edward A. Lee	An Extensible Type System for Component-Based Design.	TACAS	2000	DBLP DOI BibTeX RDF
24	Xinxin Liu 0008, David Walker 0008	A Polymorphic Type System for the Polyadic pi-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
24	Craig Chambers, David M. Ungar	Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs.	PLDI	1990	DBLP DOI BibTeX RDF
24	Thom W. Frühwirth	Type inference by program transformation and partial evaluation.	ICCL	1988	DBLP DOI BibTeX RDF
24	Mario Coppo	Type Inference with Recursive Type Equations.	FoSSaCS	2001	DBLP DOI BibTeX RDF	type assignment, Recursive types
24	Yihui Liu, Jing Yang, Sanjue Hu	Transition between two excitabilities in mesencephalic V neurons.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Steady-state I-V relation, Type 1 excitability, Type 2 excitability, I NaP, I 4-AP, Frequency-current function, Mes V, Bifurcation, Excitability
24	John Moses, Malcolm Farrow	Assessing Variation in Development Effort Consistency Using a Data Source with Missing Data.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	MCAR, Development Type, Language Type, deviance statistic, negative log likelihood statistic, RSQ Adjusted, Bayesian inference, Function Points, MAR, linear regression models
24	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
24	Barbara Staudt Lerner	TESS: Automated Support for the Evolution of Persistent Types.	ASE	1997	DBLP DOI BibTeX RDF	TESS, Type Evolution Software System, persistent types, persistent data evolution, compound type changes, software maintenance, software maintenance
24	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
24	Gerardo M. Mendez, Luis Adolfo Leduc	First-Order Interval Type-1 Non-singleton Type-2 TSK Fuzzy Logic Systems.	MICAI	2006	DBLP DOI BibTeX RDF
24	Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier	Type Analysis of Prolog Using Type Graphs. (long version: JLP 22(3): 179-209 (1995))	PLDI	1994	DBLP DOI BibTeX RDF	Prolog
24	Albert R. Meyer, Mark B. Reinhold	"Type" Is Not A Type.	POPL	1986	DBLP DOI BibTeX RDF
24	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
24	Martin Sulzmann, Meng Wang 0002	Modular generic programming with extensible superclasses.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	generic programming, type classes
23	Otfried Cheong, Xavier Goaoc, Andreas F. Holmsen, Sylvain Petitjean	Helly-Type Theorems for Line Transversals to Disjoint Unit Balls.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Geometric transversal theory, Helly-type theorem, Hadwiger-type theorem, Spheres, Line transversal, Balls
23	Sven De Labey, Eric Steegmans	A type system extension for middleware interactions.	MAI	2007	DBLP DOI BibTeX RDF	group method invocation, fault tolerance, type system, type qualifier
23	Samuel R. Buss, Bruce M. Kapron	Resource-Bounded Continuity and Sequentiality for Type-Two Functionals.	LICS	2000	DBLP DOI BibTeX RDF	type-two functionals, higher-type complexity, continuity, sequentiality
23	Hongseok Yang, Howard Huang	Type Reconstruction for Syntactic Control of Interference, Part 2.	ICCL	1998	DBLP DOI BibTeX RDF	Algol-like languages, type systems, interference, type inference, SCI
23	J. Hoffman	Implementing RBAC on a Type Enforced System.	ACSAC	1997	DBLP DOI BibTeX RDF	type enforced system, security database implementations, RBAC mechanisms, LOCK6, RBAC features, firewall construction, lower level mechanism, type enforcement, Role Based Access Control, authorisation, application domain, application domains, secure operating system
23	Karen A. Oostendorp, Lee Badger, C. D. Vance, W. G. Morrison, Michael J. Petkac, David L. Sherman, Daniel F. Sterne	Domain and Type Enforcement Firewalls.	ACSAC	1997	DBLP DOI BibTeX RDF	type enforcement firewalls, Internet connected organizations, Internet firewall, system penetration, business practices, external entities, Domain and Type Enforcement, DTE firewall, application level proxies, restrictive domains, network based attacks, local resources, role based security policies, DTE security attributes, DTE clients, Internet, access control, security policies, HTTP, servers, network services, security breaches, FTP
23	Karen Shannon, Richard T. Snodgrass	Mapping the Interface Description Language Type Model into C.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient
23	Chuan-Kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
23	Te Li, Yongqiang Ning, ErJuan Hao, JinJiang Cui, Yan Zhang, GuangYu Liu, Li Qin, Yun Liu, Lijun Wang, DaFu Cui, ZuYan Xu	Design and optimization of DBR in 980 nm bottom-emitting VCSEL.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	VCSEL, DBR, component graded, series resistance, reflectivity
23	Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz	Practical, pluggable types.	ICDL	2007	DBLP DOI BibTeX RDF
23	Robert Cartwright	Types as Intervals.	POPL	1985	DBLP DOI BibTeX RDF
23	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
23	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
23	Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis	Complete and decidable type inference for GADTs.	ICFP	2009	DBLP DOI BibTeX RDF	Haskell, type inference, GADTs
23	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
23	Gerardo M. Mendez, Luis Leduc-Lezama, Rafael Colas, Gabriel Murillo-Pérez, Jorge Ramírez-Cuellar, José J. López	Application of Interval Type-2 Fuzzy Logic Systems for Control of the Coiling Entry Temperature in a Hot Strip Mill.	HAIS	2009	DBLP DOI BibTeX RDF	Type-2 fuzzy inference systems, temperature modeling and control, uncertain rule-based fuzzy logic systems
23	Peter F. Fisher, Tao Cheng 0004, Jo Wood	Higher Order Vagueness in Geographical Information: Empirical Geographical Population of Type n Fuzzy Sets.	GeoInformatica	2007	DBLP DOI BibTeX RDF	mountains, geomorphometry, uncertainty, fuzzy sets, vagueness, type 2 fuzzy sets
23	Luís Soares Barbosa, Jácome Cunha, Joost Visser 0001	A type-level approach to component prototyping.	SYANCO	2007	DBLP DOI BibTeX RDF	type-level programming, Haskell, coalgebra, mealy machine, combinator library