Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
60	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
52	Didier Rémy, Boris Yakobowski	From ML to MLF: graphic type constraints with efficient type inference.	ICFP	2008	DBLP DOI BibTeX RDF	type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
51	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
51	Todd B. Knoblock, Jakob Rehof	Type elaboration and subtype completion for Java bytecode.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language
51	Samantha Type	Implementation of an optimising object-oriented programming language compiler for embedded applications.		2001	RDF
51	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
50	Didier Rémy	Simple, partial type-inference for System F based on type-containment.	ICFP	2005	DBLP DOI BibTeX RDF	type containment, type reconstruction, polymorphism, type inference, System F, elaboration
49	Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
49	François Pottier	From ML type inference to stratified type inference.	ICFP	2005	DBLP DOI BibTeX RDF
48	Leonid A. Kalinichenko	Compositional Specification Calculus for Information Systems Development.	ADBIS	1999	DBLP DOI BibTeX RDF	compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
47	Woei Wan Tan, Dongrui Wu	Design of Type-Reduction Strategies for Type-2 Fuzzy Logic Systems using Genetic Algorithms.	Advances in Evolutionary Computing for System Design	2007	DBLP DOI BibTeX RDF
46	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
45	Wolfgang Jeltsch	Generic record combinators with static type checking.	PPDP	2010	DBLP DOI BibTeX RDF	closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
45	Suad Alagic	Type-Checking OQL Queries In the ODMG Type Systems.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
45	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
44	Martin St-Hilaire, André Longtin	Comparison of Coding Capabilities of Type I and Type II Neurons.	J. Comput. Neurosci.	2004	DBLP DOI BibTeX RDF	Type I neuron, Type II neuron, Morris Lecar model, electric fish, bifurcation theory, information theory, noise, neural coding, phase locking
44	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
43	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
43	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
43	Mike Beaven, Ryan Stansifer	Explaining Type Errors In Polimorphic Languages.	LOPLAS	1993	DBLP DOI BibTeX RDF	polymorphic type reconstruction, type errors
41	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	ICFP	2009	DBLP DOI BibTeX RDF	intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
41	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
41	Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Antonio Rodríguez Díaz	Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Interval Type-2 Fuzzy Inference Systems, Interval Type-2 Fuzzy Logic Toolbox, Interval Type-2 Membership Functions, Footprint of Uncertainty
41	Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Luis G. Martínez, S. Escobar, I. Camacho	Building Fuzzy Inference Systems with the Interval Type-2 Fuzzy Logic Toolbox.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Interval Type-2 Fuzzy Inference Systems, Interval Type-2 Fuzzy Logic Toolbox, Interval Type-2 Membership Functions, Footprint of Uncertainty
41	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
41	Geoffrey Washburn, Stephanie Weirich	Good advice for type-directed programming aspect-oriented programming and extensible generic functions.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem
41	Matthias Neubauer, Peter Thiemann 0001	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
40	Satish Chandra 0001, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík	Type inference for locality analysis of distributed data structures.	PPoPP	2008	DBLP DOI BibTeX RDF	equality-based constraint system, type inference, unification, x10, partitioned global address space
40	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
40	George Kuan, David MacQueen	Efficient type inference using ranked type variables.	ML	2007	DBLP DOI BibTeX RDF	algorithm W, compilers, functional programming, type inference, type checking, standard ML
39	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones	Associated type synonyms.	ICFP	2005	DBLP DOI BibTeX RDF	associated types, type functions, type inference, generic programming, type classes
39	Alma Riska, Evgenia Smirni, Gianfranco Ciardo	An aggregation-based method for the exact analysis of a class of GI/G/1-type processes.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF	GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis
39	Juan Carlos Guzmán, Patricia Melin, German Prado-Arechiga	Optimization for Type-1 and Interval Type-2 Fuzzy Systems for the Classification of Blood Pressure Load Using Genetic Algorithms.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
39	Dongrui Wu	Two Differences Between Interval Type-2 and Type-1 Fuzzy Logic Controllers: Adaptiveness and Novelty.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
39	Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers	Searching for type-error messages.	PLDI	2007	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
39	Bastiaan Heeren, Jurriaan Hage	Type Class Directives.	PADL	2005	DBLP DOI BibTeX RDF	type error messages, domain-specific programming, directives, type classes
38	Chieri Saito, Atsushi Igarashi	Self type constructors.	OOPSLA	2009	DBLP DOI BibTeX RDF	MyType, type constructor polymorphism, generics, binary methods
38	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
38	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
38	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow	Associated types with class.	POPL	2005	DBLP DOI BibTeX RDF	associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
37	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
37	Martin Sulzmann, Meng Wang 0002	Aspect-oriented programming with type classes.	FOAL	2007	DBLP DOI BibTeX RDF	type class resolution, type-directed weaving
37	Adam Chlipala, Leaf Petersen, Robert Harper 0001	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
37	Pablo E. Martínez López, John Hughes	Principal type specialisation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program specialisation, type based transformation, type specialisation, qualified types
36	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann	Type checking with open type functions.	ICFP	2008	DBLP DOI BibTeX RDF	type families, type functions, Haskell, type checking
36	Christian Wagner 0002, Hani Hagras	Evolving Type-2 Fuzzy Logic Controllers for Autonomous Mobile Robots.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Type-2 Fuzzy Logic Control, Genetic Algorithms, Autonomous Mobile Robots
36	Peter Møller Neergaard, Harry G. Mairson	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.	ICFP	2004	DBLP DOI BibTeX RDF	proofnet, complexity, type inference, normalization, intersection types, idempotence
36	F. Warren Burton	Type Extension Through Polymorphism.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
36	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
36	Martin Plümicke	Typeless programming in Java 5.0 with wildcards.	PPPJ	2007	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
36	Martin Plümicke, Jörg Bäuerle	Typeless programming in Java 5.0.	PPPJ	2006	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
35	Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Antonio Rodríguez Díaz	A Hybrid Learning Algorithm for Interval Type-2 Fuzzy Neural Networks: The Case of Time Series Prediction.	Soft Computing for Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Interval type-2 Fuzzy Neural Networks, Interval Type-2 Fuzzy Neuron, Hybrid Learning Algorithm, Interval Type-2 Fuzzy Systems
35	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
35	Benjamin S. Lerner, Dan Grossman, Craig Chambers	Seminal: searching for ML type-error messages.	ML	2006	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
35	Bruno C. d. S. Oliveira, Jeremy Gibbons	TypeCase: a design pattern for type-indexed functions.	Haskell	2005	DBLP DOI BibTeX RDF	type-indexed functions, generic programming, type classes
34	Norman H. Cohen	Type-Extension Type Tests Can Be Performed In Constant Time.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	extensible data type, type extension, type test, object-oriented programming, inheritance, display, class, descriptor, membership test
34	Hani Hagras	Type-2 Fuzzy Logic Controllers: A Way Forward for Fuzzy Systems in Real World Environments.	WCCI	2008	DBLP DOI BibTeX RDF	Interval Type-2 Fuzzy Logic Controllers, Fuzzy Logic, Uncertainty Handling
34	Aaron Tomb, Cormac Flanagan	Automatic type inference via partial evaluation.	PPDP	2005	DBLP DOI BibTeX RDF	applications of declarative programming, logic programming, program analysis, type systems
34	Yalin Zheng, Changshui Zhang, Xin Yao 0003	Type-I Topological Logic C1I and Approximate Reasoning.	FSKD (1)	2005	DBLP DOI BibTeX RDF
34	Emer Bernal, Oscar Castillo 0001, José Soria, Fevrier Valdez	Parameter Adaptation in the Imperialist Competitive Algorithm Using Generalized Type-2 Fuzzy Logic.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
34	Felizardo Cuevas, Oscar Castillo 0001, Prometeo Cortés-Antonio	Omnidirectional Four Wheel Mobile Robot Control with a Type-2 Fuzzy Logic Behavior-Based Strategy.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
34	Juan Barraza, Fevrier Valdez, Patricia Melin, Claudia I. González	Fireworks Algorithm (FWA) with Adaptation of Parameters Using Interval Type-2 Fuzzy Logic System.	Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms	2020	DBLP DOI BibTeX RDF
34	Frank Chung-Hoon Rhee, Byung-In Choi	Interval Type-2 Fuzzy Membership Function Generation Methods for Representing Sample Data.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Ibrahim Özkan, I. Burhan Türksen	A Review of Cluster Validation with an Example of Type-2 Fuzzy Application in R.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Miguel Pagola, Edurne Barrenechea, Javier Fernández 0002, Aranzazu Jurio, Mikel Galar, José Antonio Sanz 0001, Daniel Paternain, Carlos Lopez-Molina, Juan Cerrón, Humberto Bustince	Construction of Interval Type-2 Fuzzy Sets From Fuzzy Sets: Methods and Applications.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Christian Wagner 0002, Hani Hagras	zSlices Based General Type-2 Fuzzy Sets and Systems.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Qun Ren, Luc Baron, Marek Balazinski, Krzysztof Jemielniak	Reliable Tool Life Estimation with Multiple Acoustic Emission Signal Feature Selection and Integration Based on Type-2 Fuzzy Logic.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Masoomeh Moharrer, Hooman Tahayori, Alireza Sadeghian	Modeling Complex Concepts with Type-2 Fuzzy Sets: The Case of User Satisfaction of Online Services.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Juan Carlos Figueroa-García	Interval Type-2 Fuzzy Markov Chains.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Jerry M. Mendel	Interval Type-2 Fuzzy Logic Systems and Perceptual Computers: Their Similarities and Differences.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	John Harding, Carol L. Walker, Elbert A. Walker	Type-2 Fuzzy Sets and Bichains.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Janet Aisbett, John T. Rickard	Type-2 Fuzzy Sets and Conceptual Spaces.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Simon Coupland, Robert I. John	Geometric Type-2 Fuzzy Sets.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Patricia Melin, Oscar Castillo 0001	Type-2 Fuzzy Logic in Image Analysis and Pattern Recognition.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Chang-Shing Lee, Mei-Hui Wang, Chin-Yuan Hsu, Zhi-Wei Chen	Type-2 Fuzzy Set and Fuzzy Ontology for Diet Application.	Advances in Type-2 Fuzzy Sets and Systems	2013	DBLP DOI BibTeX RDF
34	Nikos Mylonakis	Proof assistance for refinement in type theory.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
34	Michael Franssen	Embedding First-Order Tableaux into a Pure Type System.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
34	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
33	Yaochu Jin, Bernhard Sendhoff, Edgar Körner	Evolutionary Multi-objective Optimization for Simultaneous Generation of Signal-Type and Symbol-Type Representations.	EMO	2005	DBLP DOI BibTeX RDF
33	Ling Gu, Yan-Qing Zhang 0001	Web shopping expert using new interval type-2 fuzzy reasoning.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Type-2 fuzzy logic sets, Type reduce, Fuzzy logic, Decision support system, Least square method, System optimizations
33	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
33	Jurriaan Hage, Bastiaan Heeren	Heuristics for Type Error Discovery and Recovery.	IFL	2006	DBLP DOI BibTeX RDF	type inferencing, heuristics, constraints, error recovery, type graph, error messages
33	Wook-Shin Han, Kyu-Young Whang, Yang-Sae Moon	A Formal Framework for Prefetching Based on the Type-Level Access Pattern in Object-Relational DBMSs.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	type-level access patterns, type-level access locality, Prefetching, object-relational DBMSs
33	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPoPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
33	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ICFP	2003	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
33	Thom W. Frühwirth	Polymorphic Type Checking with Subtypes in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF	Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
32	Marion Scheepers	The length of some diagonalization games.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	$omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game
32	Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken	Flow-insensitive type qualifiers.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	const, taint, security, static analysis, constraints, types, Type qualifiers
32	Yutaka Matsuno, Atsushi Ohori	A type system equivalent to static single assignment.	PPDP	2006	DBLP DOI BibTeX RDF	type system, compiler optimization, static single assignment form
32	Max Schäfer, Oege de Moor	Type inference for datalog with complex type hierarchies.	POPL	2010	DBLP DOI BibTeX RDF	type system, datalog, type inference
32	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
32	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
32	Jacob Katzenelson, Shlomit S. Pinter, Eugen Schenfeld	Type Matching, Type-Graphs, and the Schanuel Conjecture.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	Schanuel conjecture, graph hashing, mapping graphs to numbers, type matching, compilers, types, type-graphs
32	Dominique Colnet, Luigi Liquori	Match-O, A Dialect of Eiffel with Match-Types.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
32	Mostafa I. H. Abd-El-Barr, Muhammad Nayyar Hasan	New MVL-PLA Structures Based on Current-Mode CMOS Technology.	ISMVL	1996	DBLP DOI BibTeX RDF	MVL-PLA structures, current-mode CMOS technology, PLA structures, min, tsum, constants, r-valued one-variable functions, type-C PLA, type-A PLA, type-B PLA, cyclic generator blocks, programmable logic arrays, programmable logic arrays, CMOS logic circuits, cycle, multivalued logic circuits, multivalued logic circuits, current-mode logic
32	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
32	Peter Aczel	On Relating Type Theories and Set Theories.	TYPES	1998	DBLP DOI BibTeX RDF
32	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
31	Syrine Tlili, Mourad Debbabi	Type and Effect Annotations for Safe Memory Access in C.	ARES	2008	DBLP DOI BibTeX RDF	Type and Effect Analysis, Type Annotations, Memory Safety, C Programming