SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Science of Computer Programming

Volumn 43, Issue 2-3, 2002, Pages 129-159

Polytypic values possess polykinded types

(1) Hinze, Ralf a

a UTRECHT UNIVERSITY (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SOFTWARE; ERRORS; FORMAL LOGIC; FUNCTIONS;

DATA TYPES;

COMPUTER PROGRAMMING;

EID: 0036568688 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(02)00025-4 Document Type: Conference Paper

Times cited : (48)

References (35)

1
- 0022995128
- The finitary projection model for second order lambda calculus and solutions to higher order domain equations
- Cambridge, MA, IEEE Computer Society, June
- (1986) Proceedings of the Symposium on Logic in Computer Science , pp. 122-130
- Amadio, R.¹ Bruce, K.B.² Longo, G.³

2
- 0002579534
- Generic programming - An introduction
- S.D. Swierstra, P.R. Henriques, J.N. Oliveira (Eds.), 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1608 , pp. 28-115
- Backhouse, R.¹ Jansson, P.² Jeuring, J.³ Meertens, L.⁴

3
- 0030557893
- Generic functional programming with types and relations
- (1996) J. Funct. Programming , vol.6 , Issue.1 , pp. 1-28
- Bird, R.¹ De Moor, O.² Hoogendijk, P.³

4
- 84957578237
- Nested datatypes
- J. Jeuring (Ed.), Fourth International Conference on Mathematics of Program Construction, MPC'98, Marstrand, Sweden, Springer
- (1998) Lecture Notes in Computer Science , vol.1422 , pp. 52-67
- Bird, R.¹ Meertens, L.²

5
- 0001017659
- Generalised folds for nested datatypes
- (1999) Formal Aspects of Computing , vol.11 , Issue.2 , pp. 200-222
- Bird, R.¹ Paterson, R.²

6
- 84957671818
- An extensional characterization of lambda-lifting and lambda-dropping
- A. Middeldorp, T. Sato (Eds.), Fourth Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1722 , pp. 241-250
- Danvy, O.¹

7
- 26344468031
- Technical Report Memoranda Informatica 94-28, University of Twente
- (1994) Monadic maps and folds for arbitrary datatypes
- Fokkinga, M.M.¹

8
- 0034538769
- Recursive subtyping revealed (functional pearl)
- ACM Sigplan Notices, ACM Press, New York, September
- (2000) Proceedings of the ACM Sigplan International Conference on Functional Programming (ICFP-00) , vol.35 , pp. 221-232
- Gapeyev, V.¹ Levin, M.Y.² Pierce, B.C.³

9
- 0004099873
- Ph.D. Thesis, Université Paris VII
- (1972) Interprétation fonctionelle et élimination des coupures dans l'arithmétique d'ordre supérieur
- Girard, J.-Y.¹

10
- 0027579091
- Type inference with polymorphic recursion
- (1993) ACM Transactions on Programming Languages and Systems , vol.15 , Issue.2 , pp. 253-289
- Henglein, F.¹

11
- 0008746865
- Polytypic functions over nested datatypes
- (1999) Discrete Math. Theoret. Comput. Sci. , vol.3 , Issue.4 , pp. 193-214
- Hinze, R.¹

12
- 0033722168
- A new approach to generic functional programming
- T.W. Reps (Ed.), Boston, MA, January 19-21, January
- (2000) Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL' 00) , pp. 119-132
- Hinze, R.¹

13
- 84976500945
- Polytypic values possess polykinded types
- R. Backhouse, J.N. Oliveira (Eds.), Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1837 , pp. 2-27
- Hinze, R.¹

14
- 0008746866
- Polytypic programming with ease
- (2001) J. Funct. Logic Programming , vol.2001 , Issue.3
- Hinze, R.¹

15
- 84949199241
- When do datatypes commute?
- E. Moggi, G. Rosolini (Eds.), Proceedings of the Seventh International Conference on Category Theory and Computer Science (Santa Margherita Ligure, Italy, September 4-6), Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1290 , pp. 242-260
- Hoogendijk, P.¹ Backhouse, R.²

16
- 0030651808
- PolyP - A polytypic programming language extension
- Paris, France, ACM-Press, January
- (1997) Conference Record 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'97 , pp. 470-482
- Jansson, P.¹ Jeuring, J.²

17
- 0008788668
- PolyLib - A library of polytypic functions
- R. Backhouse, T. Sheard (Eds.), Marstrand, Sweden, Department of Computing Science, Chalmers University of Technology and Göteborg University, June
- (1998) Informal Proceedings Workshop on Generic Programming, WGP'98
- Jansson, P.¹ Jeuring, J.²

18
- 0036532958
- Polytypic data conversion programs
- (2002) Sci. Comput. Programming , vol.43 , pp. 35-75
- Jansson, P.¹ Jeuring, J.²

19
- 3042994061
- Functorial ML
- (1998) J. Funct. Programming , vol.8 , Issue.6 , pp. 573-619
- Jay, C.B.¹ Bellè, G.² Moggi, E.³

20
- 0003599953
- May
- (1999) Hugs 98 User Manual
- Jones, M.P.¹ Peterson, J.C.²

21
- 0020935802
- Polymorphic type inference
- (1983) Proceedings of the 10th Symposium on Principles of Programming Languages
- Leivant, D.¹

22
- 0003860236
- Ph.D. Thesis, Syracuse University, June
- (1979) An investigation of a programming language with a polymorphic type structure
- McCracken, N.J.¹

23
- 84957703507
- Calculate polytypically!
- H. Kuchen, S.D. Swierstra (Eds.), Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics, and Programs, PLILP'96, Aachen, Germany, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1140 , pp. 1-16
- Meertens, L.¹

24
- 0029204369
- Bananas in space: Extending fold and unfold to exponential types
- La Jolla, San Diego, CA, USA, ACM-Press, June
- (1995) Conference Record 7th ACM SIGPLAN/SIGARCH and IFIP WG 2.8 International Conference on Functional Programming Languages and Computer Architecture, FPCA'95 , pp. 324-333
- Meijer, E.¹ Hutton, G.²

25
- 84955609019
- Merging monads and folds for functional programming
- J. Jeuring, E. Meijer (Eds.), First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.925 , pp. 228-266
- Meijer, E.¹ Jeuring, J.²

26
- 0018105622
- A theory of type polymorphism in programming
- (1978) J. Comput. System Sci. , vol.17 , Issue.3 , pp. 348-375
- Milner, R.¹

27
- 0003466440
- The MIT Press, Cambridge, MA
- (1996) Foundations for Programming Languages
- Mitchell, J.C.¹

28
- 84976024921
- A category-theoretic account of program modules
- (1991) Math. Struct. Comput. Sci. , vol.1 , Issue.1 , pp. 103-139
- Moggi, E.¹

29
- 85027621869
- Polymorphic type schemes and recursive definitions
- M. Paul, B. Robinet (Eds.), Proceedings of the International Symposium on Programming, 6th Colloquium, Toulouse, France
- (1984) Lecture Notes in Computer Science , vol.167 , pp. 217-228
- Mycroft, A.¹

30
- 0003991582
- Cambridge University Press, Cambridge
- (1998) Purely Functional Data Structures
- Okasaki, C.¹

31
- 0003886330
- February
- (1999) Haskell 98 - A Non-strict, Purely Functional Language
- Jones, S.P.¹ Hughes, J.²

32
- 84947942223
- Compiling Haskell by program transformation: A report from the trenches
- H.R. Nielson (Ed.), Programming Languages and Systems-ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, 22-24 April, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1058 , pp. 18-44
- Peyton Jones, S.L.¹

33
- 0008785986
- Ph.D. Thesis, University of Michigan
- (1992) Analytical and structural polymorphism expressed using patterns over types
- Ruehr, K.F.¹

34
- 0008746264
- September
- (1999) The Glasgow Haskell Compiler User's Guide, Version 4.04

35
- 84944106308
- Theorems for free!
- London, UK, Addison-Wesley Publishing Company
- (1989) The Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA'89) , pp. 347-359
- Wadler, P.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.